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
-
-
-
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
-
-
-
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
-