wneuper/isa: doc-isac/mlehnfeld/master/thesis/literature.bib@ab97437e021a

     1 @misc{moore1965cramming,

     2   title={Cramming more components onto integrated circuits},

     3   author={Moore, Gordon E and others},

     4   year={1965},

     5   publisher={McGraw-Hill New York, NY, USA}

6 }

     8 @article{sutter2005free,

     9   title={The free lunch is over: A fundamental turn toward concurrency in software},

    10   author={Sutter, Herb},

    11   journal={Dr. Dobb’s Journal},

    12   volume={30},

    13   number={3},

    14   pages={202--210},

    15   year={2005}

    16 }

    18 @article{sutter2005software,

    19   title={Software and the concurrency revolution},

    20   author={Sutter, Herb and Larus, James},

    21   journal={Queue},

    22   volume={3},

    23   number={7},

    24   pages={54--62},

    25   year={2005},

    26   publisher={ACM}

    27 }

    29 @inproceedings{luebke2006gpgpu,

    30   title={GPGPU: general-purpose computation on graphics hardware},

    31   author={Luebke, David and Harris, Mark and Govindaraju, Naga and Lefohn, Aaron and Houston, Mike and Owens, John and Segal, Mark and Papakipos, Matthew and Buck, Ian},

    32   booktitle={Proceedings of the 2006 ACM/IEEE conference on Supercomputing},

    33   pages={208},

    34   year={2006},

    35   organization={ACM}

    36 }

    38 @book{burge1975recursive,

    39   title={Recursive programming techniques},

    40   author={Burge, William H},

    41   year={1975},

    42   publisher={Addison-Wesley Reading}

    43 }

    45 @book{paulson1994isabelle,

    46   title={Isabelle: A generic theorem prover},

    47   author={Paulson, Lawrence C},

    48   volume={828},

    49   year={1994},

    50   publisher={Springer}

    51 }

    53 @phdthesis{neuper2001reactive,

    54   title={Reactive user-guidance by an autonomous engine doing high-school math},

    55   author={Neuper, Walther A},

    56   year={2001},

    57   school={PhD thesis, IICM-Inst. f. Softwaretechnology, Technical University, A-8010 Graz, 2001. ftp://ftp. ist. tugraz. at/pub/projects/isac/publ/wn-diss. ps. gz}

    58 }

author	Mathias Lehnfeld <s1210629013@students.fh-hagenberg.at>
	Wed, 12 Mar 2014 17:43:22 +0100
changeset 55404	ab97437e021a
child 55466	55c2d2ee3f92
permissions	-rw-r--r--