1539 search results - page 120 / 308 » Is it time for real-time functional programming |
126
Voted
PEPM
1993
ACM
15 years 7 months ago
1993
ACM
Binding-time analysis is a crucial component of an ofine partial evaluator. The accuracy of the binding-time information that it produces determines the degree of specialization o...
143
Voted
RTAS
2008
IEEE
15 years 10 months ago
2008
IEEE
A fundamental asset of a model-based development process is the capability of providing an automatic implementation of the model that preserves its semantics and, at the same time...
153
Voted
WSCG
2003
15 years 5 months ago
2003
We present a refinement and a coarsening (also simplification or decimation) algorithm for the adaptive representation of bivariate functions. The algorithms have proved to be eff...
87
Voted
IFIP
1993
Springer
15 years 7 months ago
1993
Springer
An advanced Self-Timed Reduced Instruction Set Computer (ST-RISC) architecture is described. It is designed hierarchically, and is formally specified functionally at the various ...
124
Voted
EMSOFT
2007
Springer
15 years 9 months ago
2007
Springer
This paper describes techniques to estimate the worst case execution time of executable code on architectures with data caches. The underlying mechanism is Abstract Interpretation...