@Book{product_design_and_development95,
  author =	 {Karl T. Ulrich and Steven D. Eppinger},
  title = 	 {Produce Design and Development},
  publisher = 	 {McGraw-Hill, Inc.},
  year = 	 1995,
  note = {Day 4: Chapter 5 required},
}


@Article{data_parallel_cacm86,
  author = 	 {W. Daniel Hillis and Guy L. Steele},
  title = 	 {Data Parallel Algorithms},
  journal = 	 {Communications of the ACM},
  year = 	 1986,
  volume =	 29,
  number =	 12,
  pages =	 {1170--1183},
  month =	 {December},
  note = {Day 6 required}
}
[ACM Digital Library Page] 

@InProceedings{systolic_combinatorial_algorithms,
  author = 	 {L. J. Guibas and H. T. Kung and C. D Thompson},
  title = 	 {Direct VLSI Implemenation of Combinatorial Algorithms},
  booktitle = 	 {Caltech Conference on VLSI},
  year =	 1979,
  month =	 {January},
  pages =	 {509--525},
  note = {Day 10}
}

@Book{splash2_book,
  author = 	 {Duncan Buell and Jeffrey Arnold and Walter Kleinfelder},
  title = 	 {Splash 2:  FPGAs in a Custom Computing Machine},
  publisher = 	 {IEEE Computer Society Press},
  year = 	 1996,
  address =	 {10662 Los Vasqueros Circle, PO Box 3014, Los
                  Alamitos, CA 90720-1264},
  NOTE = {chapter 8 for Day 10}
}

@Book{leighton_parallel_alg_and_arch,
  author = 	 {F. Thomson Leighton},
  title = 	 {Introduction to Parallel Algorithms and Architectures:  Arrays, Trees, Hypercubes},
  publisher = 	 {Morgan Kaufmann Publishers, Inc.},
  year = 	 1992,
  NOTE = {Day 12 supplemental}
}

@TECHREPORT{leiserson_systolic_priority_queue,
	AUTHOR = {Charles Leiserson},
	TITLE = {Systolic Priority Queues},
	INSTITUTION = {Carnegie-Mellon University},
	YEAR = {1979},
	TYPE = {CMU-CS-TR},
	NUMBER = {115},
	ADDRESS = {Pittsbugh, Pennsylvania 15213},
	MONTH = {April},
        NOTE = {Day 12 supplemental}
}

@Book{pcomplete_oxford1995,
  editor =	 {Raymond Greenlaw and H. James Hoover and Walter L. Ruzzo},
  title = 	 {Limits to Parallel Computation: P-Completeness Theory},
  publisher = 	 {Oxford University Press},
  year = 	 1995,
  NOTE = {Day 13, 14 reading -- chapter 1 and 5}
}

@Article{space_depth_siamjcomp1977,
  author = 	 {Allan Borodin},
  title = 	 {On Relating Time and Space to Size and Depth},
  journal = 	 {SIAM Journal of Computing},
  year = 	 1977,
  volume =	 6,
  number =	 4,
  pages =	 {733--744},
  month =	 {December}
  NOTE = {Source of tranistive closure argument that NL in NC;
          and recursive evaluation argument that NC in NL...
          but doesn't use either of these terms; 
          see pcomplete_oxford1995 for the terminology connection.}
}

@Article{seq_verify_trcad88,
  author = 	 {Srinivas Devadas and Hi-Keung Tony Ma and Richard Newton},
  title = 	 {On the Verification of Sequential Machines at Differing
  Levels of Abstraction},
  journal = 	 {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
  year = 	 1988,
  volume =	 7,
  number =	 6,
  pages =	 {713--722},
  month =	 {June},
  note = {Day 9 required}
}

[IEEE Xplore Link]


@inproceedings{dill_processor_verify_cav94,
    author="Jerry R. Burch and David L. Dill",
    title="Automatic Verification of Pipelined Microprocessor Control",
    booktitle="Conference on Computer-Aided Verification",
    editor="David L. Dill",
    Series="Lecture Notes in Computer Science",
    Volume="818",
    Publisher="Springer-Verlag",
    Year="1994",
    Pages="68--80",
    note={Day 10 required}
}
[PS from Stanford]