Caltech Computer Science Technical Reports

Year: 2003

Number of records: 10.

Monograph

Wong, Catherine G. and Martin, Alain J. and Thomas, Peter (2003) An Architecture for Asynchronous FPGAs. Technical Report. California Institute of Technology. [CaltechCSTR:2003.006]

Wong, Catherine G. and Martin, Alain J. and Thomas, Peter (2003) An Architecture for Asynchronous FPGAs. Technical Report. IEEE Computer Society Press. [CaltechCSTR:2003.006a]

Papadantonakis, Karl (2003) An Asynchronous Register Bypass Transformation. Technical Report. California Institute of Technology. [CaltechCSTR:2003.005]

Li, Ling and Abu-Mostafa, Yaser S. and Pratap, Amrit (2003) CGBoost: Conjugate Gradient in Function Space. Technical Report. California Institute of Technology. [CaltechCSTR:2003.007]

Kim, Ki Baek and Tang, Ao and Low, Steven H (2003) Design of AQM in Supporting TCP Based on the Well-Known AIMD Model. Technical Report. California Institute of Technology. [CaltechCSTR:2003.001]

Hickey, Jason and Nogin, Aleksey and Granicz, Adam and Aydemir, Brian (2003) Formal Compiler Implementation in a Logical Framework. Technical Report. California Institute of Technology. [caltechCSTR:2003.002]

Yu, Xin and Hickey, Jason (2003) Formalizing Abstract Algebra in Constructive Set Theory. Technical Report. California Institute of Technology. [caltechCSTR2003.004]

Papadantonakis, Karl (2003) Stable Production Rule Sets are Deterministic. Technical Report. California Institute of Technology. [CaltechCSTR:2003.003]

Fink, Michael and Perona, Pietro (2003) The Full Images for Natural Knowledge Caltech Office DB. Technical Report. California Institute of Technology. [CaltechCSTR:2003.008]

Fink, Michael (2003) The Full Images for Natural Knowledge Caltech Office DB. Technical Report. California Institute of Technology. [CaltechCSTR:2003.008a]

This list was generated on Thu Aug 21 00:32:11 PDT 2008.