3827 search results - page 297 / 766 » The Epsilon Generation Language |
140
click to vote
FDL
2005
IEEE
16 years 7 days ago
2005
IEEE
A concept of linearly graded statistical models for analogue performance evaluation is proposed and a suitable technique for automatic generation of analogue performance models us...
158
click to vote
ISOLA
2004
Springer
15 years 12 months ago
2004
Springer
This paper summarizes the results on the correctness of the transformations in compiler back-ends achieved in the DFG-project Verifix. Compiler back-ends transform intermediate la...
162
click to vote
SFP
2003
15 years 8 months ago
2003
Abstract Hume is a domain-specific programming language targeting resourcebounded computations. It is based on generalised concurrent bounded automata, controlled by transitions c...
191
click to vote
OOPSLA
2007
Springer
16 years 22 days ago
2007
Springer
We apply speculative multithreading to sequential Java programs in software to achieve speedup on existing multiprocessors. A common speculation library supports both Java bytecod...
179
click to vote
OOPSLA
2005
Springer
16 years 3 days ago
2005
Springer
We describe (and demonstrate) the execution model of a computing platform where computation is both incremental and data-driven. We call such an approach delta-driven. The platfor...