Kiwi

Established: November 13, 2008

Publications

View by:

- Designing Application Specific Circuits with Concurrent C# Programs
  
  David Greaves, Satnam Singh
  
  Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign | July 2010
  
  Publication
- Exploiting System-Level Concurrency Abstractions for Hardware Descriptions
  
  David J. Greaves, Satnam Singh
  
  MSR-TR-2009-48 | April 2009
  
  Publication
- Kiwi: Synthesis of FPGA Circuits from Parallel Programs
  
  David Greaves, Satnam Singh
  
  IEEE Symposium on FPGAs for Custom Computing Machines (FCCM) | April 2008
  
  Publication

- Designing Application Specific Circuits with Concurrent C# Programs
  
  David Greaves, Satnam Singh
  
  Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign | July 2010
  
  Publication
- Exploiting System-Level Concurrency Abstractions for Hardware Descriptions
  
  David J. Greaves, Satnam Singh
  
  MSR-TR-2009-48 | April 2009
  
  Publication
- Kiwi: Synthesis of FPGA Circuits from Parallel Programs
  
  David Greaves, Satnam Singh
  
  IEEE Symposium on FPGAs for Custom Computing Machines (FCCM) | April 2008
  
  Publication

- Designing Application Specific Circuits with Concurrent C# Programs
  
  David Greaves, Satnam Singh
  
  Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign | July 2010
  
  Publication
- Kiwi: Synthesis of FPGA Circuits from Parallel Programs
  
  David Greaves, Satnam Singh
  
  IEEE Symposium on FPGAs for Custom Computing Machines (FCCM) | April 2008
  
  Publication
- Exploiting System-Level Concurrency Abstractions for Hardware Descriptions
  
  David J. Greaves, Satnam Singh
  
  MSR-TR-2009-48 | April 2009
  
  Publication