Sciweavers

1077 search results - page 27 / 216
» Hardware code generation from dataflow programs
Sort
View
SPIN
2005
Springer
15 years 5 months ago
Execution Generated Test Cases: How to Make Systems Code Crash Itself
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...
Cristian Cadar, Dawson R. Engler
ICCAD
2006
IEEE
141views Hardware» more  ICCAD 2006»
15 years 8 months ago
A code refinement methodology for performance-improved synthesis from C
Although many recent advances have been made in hardware synthesis techniques from software programming languages such as C, the performance of synthesized hardware commonly suffe...
Greg Stitt, Frank Vahid, Walid A. Najjar
APLAS
2004
ACM
15 years 5 months ago
A MATLAB-Based Code Generator for Sparse Matrix Computations
Abstract. We present a matrix language compiler CMC which translates annotated MATLAB scripts into Fortran 90 programs. Distinguishing features of CMC include its applicability to ...
Hideyuki Kawabata, Mutsumi Suzuki, Toshiaki Kitamu...
IISWC
2008
IEEE
15 years 6 months ago
Evaluating the impact of dynamic binary translation systems on hardware cache performance
Dynamic binary translation systems enable a wide range of applications such as program instrumentation, optimization, and security. DBTs use a software code cache to store previou...
Arkaitz Ruiz-Alvarez, Kim M. Hazelwood
EUROMICRO
2000
IEEE
15 years 4 months ago
Concurrent Control Systems: From Grafcet to VHDL
The Automated Production Systems (APS) are composed of concurrent interacting entities. Then any model should exhibit parallel and sequential behaviours. The Grafcet is now well e...
Frédéric Mallet, Daniel Gaffé...