|
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 } |
|
7 |
|
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 } |
|
17 |
|
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 } |
|
28 |
|
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 } |
|
37 |
|
38 @book{burge1975recursive, |
|
39 title={Recursive programming techniques}, |
|
40 author={Burge, William H}, |
|
41 year={1975}, |
|
42 publisher={Addison-Wesley Reading} |
|
43 } |
|
44 |
|
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 } |
|
52 |
|
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 } |