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
Publications
Publications
Publications by Year
-
-
Exploiting System-Level Concurrency Abstractions for Hardware Descriptions
David J. Greaves, Satnam Singh
MSR-TR-2009-48 | April 2009
-
Kiwi: Synthesis of FPGA Circuits from Parallel Programs
David Greaves, Satnam Singh
IEEE Symposium on FPGAs for Custom Computing Machines (FCCM) | April 2008
Publications by Research Area
-
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
Exploiting System-Level Concurrency Abstractions for Hardware Descriptions
David J. Greaves, Satnam Singh
MSR-TR-2009-48 | April 2009
Kiwi: Synthesis of FPGA Circuits from Parallel Programs
David Greaves, Satnam Singh
IEEE Symposium on FPGAs for Custom Computing Machines (FCCM) | April 2008
Publications by Type
-
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
Kiwi: Synthesis of FPGA Circuits from Parallel Programs
David Greaves, Satnam Singh
IEEE Symposium on FPGAs for Custom Computing Machines (FCCM) | April 2008
-
Exploiting System-Level Concurrency Abstractions for Hardware Descriptions
David J. Greaves, Satnam Singh
MSR-TR-2009-48 | April 2009