43 search results - page 1 / 9 » Compiling Process Algebraic Descriptions into Reconfigurable... |
IPPS
2000
IEEE
13 years 10 months ago
2000
IEEE
IPPS
2007
IEEE
14 years 2 days ago
2007
IEEE
This paper presents a new and retargetable method to identify patterns of instructions with direct support in coarsegrained processing elements (PEs). The method uses a three-addr...
CADE
2008
Springer
14 years 6 months ago
2008
Springer
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...
EACL
2003
ACL Anthology
13 years 7 months ago
2003
ACL Anthology
This paper provides a method for generating compact and efficient code to implement the enforcement of a description in typed feature logic. It does so by viewing information abo...
FCCM
2002
IEEE
13 years 10 months ago
2002
IEEE
Several projects have developed compiler tools that translate high-level languages down to hardware description languages for mapping onto FPGAbased reconfigurable computers. Thes...