1404 search results - page 58 / 281 » A C to Hardware Software Compiler |
135
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
UPC is an explicit parallel extension of ANSI C, which has been gaining rising attention from vendors and users. In this work, we consider the low-level monitoring and experimenta...
102
Voted
SIGADA
1999
Springer
15 years 8 months ago
1999
Springer
The personal computer hardware marketplace has grown rapidly in recent years. Many software projects, as a cost-cutting measure, are buying “off-the-self” items to meet their ...
136
Voted
TCAD
2008
15 years 3 months ago
2008
This paper describes an integer-linear-programming (ILP)-based system called Custom Hardware Instruction Processor Synthesis (CHIPS) that identifies custom instructions for critica...
221
Voted
CC
2009
Springer
16 years 4 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...
139
Voted
ANCS
2007
ACM
15 years 7 months ago
2007
ACM
Deep Payload Inspection systems like SNORT and BRO utilize regular expression for their rules due to their high expressibility and compactness. The SNORT IDS system uses the PCRE ...