43 search results - page 1 / 9 » Compiling Process Algebraic Descriptions into Reconfigurable... |
IPPS
2000
IEEE
13 years 9 months ago
2000
IEEE
IPPS
2007
IEEE
13 years 11 months 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 5 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 6 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 9 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...