1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/doc-isac/mlehnfeld/master/thesis/literature.bib	Wed Mar 12 17:43:22 2014 +0100
     1.3 @@ -0,0 +1,58 @@
     1.4 +@misc{moore1965cramming,
     1.5 +  title={Cramming more components onto integrated circuits},
     1.6 +  author={Moore, Gordon E and others},
     1.7 +  year={1965},
     1.8 +  publisher={McGraw-Hill New York, NY, USA}
     1.9 +}
    1.10 +
    1.11 +@article{sutter2005free,
    1.12 +  title={The free lunch is over: A fundamental turn toward concurrency in software},
    1.13 +  author={Sutter, Herb},
    1.14 +  journal={Dr. Dobb’s Journal},
    1.15 +  volume={30},
    1.16 +  number={3},
    1.17 +  pages={202--210},
    1.18 +  year={2005}
    1.19 +}
    1.20 +
    1.21 +@article{sutter2005software,
    1.22 +  title={Software and the concurrency revolution},
    1.23 +  author={Sutter, Herb and Larus, James},
    1.24 +  journal={Queue},
    1.25 +  volume={3},
    1.26 +  number={7},
    1.27 +  pages={54--62},
    1.28 +  year={2005},
    1.29 +  publisher={ACM}
    1.30 +}
    1.31 +
    1.32 +@inproceedings{luebke2006gpgpu,
    1.33 +  title={GPGPU: general-purpose computation on graphics hardware},
    1.34 +  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},
    1.35 +  booktitle={Proceedings of the 2006 ACM/IEEE conference on Supercomputing},
    1.36 +  pages={208},
    1.37 +  year={2006},
    1.38 +  organization={ACM}
    1.39 +}
    1.40 +
    1.41 +@book{burge1975recursive,
    1.42 +  title={Recursive programming techniques},
    1.43 +  author={Burge, William H},
    1.44 +  year={1975},
    1.45 +  publisher={Addison-Wesley Reading}
    1.46 +}
    1.47 +
    1.48 +@book{paulson1994isabelle,
    1.49 +  title={Isabelle: A generic theorem prover},
    1.50 +  author={Paulson, Lawrence C},
    1.51 +  volume={828},
    1.52 +  year={1994},
    1.53 +  publisher={Springer}
    1.54 +}
    1.55 +
    1.56 +@phdthesis{neuper2001reactive,
    1.57 +  title={Reactive user-guidance by an autonomous engine doing high-school math},
    1.58 +  author={Neuper, Walther A},
    1.59 +  year={2001},
    1.60 +  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}
    1.61 +}