1404 search results - page 43 / 281 » A C to Hardware Software Compiler |
DAC
1998
ACM
14 years 11 months ago
1998
ACM
We present a Petri net theoretic approach to the software synthesis problem that can synthesize ordinary C programs from processbased concurrent specifications without the need for...
CC
2002
Springer
13 years 9 months ago
2002
Springer
Abstract. This paper describes the C Intermediate Language: a highlevel representation along with a set of tools that permit easy analysis and source-to-source transformation of C ...
FPL
2009
Springer
14 years 2 months ago
2009
Springer
Commercial soft processors are unable to effectively exploit the data parallelism present in many embedded systems workloads, requiring FPGA designers to exploit it (laboriously) ...
OOPSLA
2007
Springer
14 years 4 months ago
2007
Springer
Java bug finders perform static analysis to find implementation mistakes that can lead to exploits and failures; Java compilers perform static analysis for optimization. If Java...
CASES
2005
ACM
13 years 12 months ago
2005
ACM
The concurrent synchronous language Esterel allows proto treat reactive systems in an abstract, concise manner. An Esterel program is typically first translated into other, non-s...