797 search results - page 90 / 160 » MODULA-2 and Its Compilation |
128
click to vote
ECRTS
2000
IEEE
15 years 9 months ago
2000
IEEE
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
115
click to vote
IEEEPACT
2000
IEEE
15 years 9 months ago
2000
IEEE
The performance potential of a value reuse mechanism depends on its reuse detection time, the number of reuse opportunities, and the amount of work saved by skipping each reuse un...
144
click to vote
POPL
2000
ACM
15 years 8 months ago
2000
ACM
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...
134
click to vote
JIT
1999
Springer
15 years 8 months ago
1999
Springer
The term “Java” is used to denote two different concepts: the language itself and the related execution environment, the Java Virtual Machine (JVM), which executes byte code in...
100
click to vote
ECOOP
1998
Springer
15 years 8 months ago
1998
Springer
Binary component adaptation (BCA) allows components to be adapted and evolved in binary form and on-the-fly (during program loading). BCA rewrites component binaries before (or whi...