575 search results - page 80 / 115 » Techniques for Efficient Processing in Runahead Execution En... |
111
click to vote
CODES
1999
IEEE
15 years 5 months ago
1999
IEEE
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...
123
click to vote
SAC
2006
ACM
15 years 7 months ago
2006
ACM
Dynamic languages typically allow programs to be written y high level of abstraction. But their dynamic nature makes it very hard to compile such languages, meaning that a price h...
120
click to vote
GLVLSI
2002
IEEE
15 years 6 months ago
2002
IEEE
Many computation-intensive or recursive applications commonly found in digital signal processing and image processing applications can be represented by data-flow graphs (DFGs). ...
GPCE
2007
Springer
15 years 7 months ago
2007
Springer
Modular Monadic Semantics (MMS) is a well-known mechanism for structuring modular denotational semantic definitions for programming languages. The principal attraction of MMS is ...
ICFEM
2004
Springer
15 years 6 months ago
2004
Springer
Reachability testing is a technique for testing concurrent programs. Reachability testing derives test sequences on-the-fly as the testing process progresses, and can be used to sy...