1077 search results - page 21 / 216 » Hardware code generation from dataflow programs |
ICSE
2004
IEEE-ACM
15 years 11 months ago
2004
IEEE-ACM
We have extended the software model checker BLAST to automatically generate test suites that guarantee full coverage with respect to a given predicate. More precisely, given a C p...
DATE
2005
IEEE
15 years 5 months ago
2005
IEEE
In this paper, the application of a cycle accurate binary translator for rapid prototyping of SoCs will be presented. This translator generates code to run on a rapid prototyping ...
ISHPC
2000
Springer
15 years 3 months ago
2000
Springer
The shared-memory programming model is a very effective way to achieve parallelism on shared memory parallel computers. As great progress was made in hardware and software technolo...
VLSID
2003
IEEE
16 years 2 days ago
2003
IEEE
Design of efficient System-on-Chips (SoCs) require thorough application analysis to identify various compute intensive parts. These compute intensive parts can be mapped to hardwa...
121
click to vote
PLDI
2011
ACM
14 years 2 months ago
2011
ACM
Software modifications are often systematic—they consist of similar, but not identical, program changes to multiple contexts. Existing tools for systematic program transformati...