929 search results - page 37 / 186 » Execution architectures for program algebra |
100
click to vote
ECOOP
1998
Springer
15 years 4 months ago
1998
Springer
In this paper, we propose architectural support for object manipulation, stack processing and method invocation to enhance the execution speed of Java bytecodes. First, a virtual a...
128
click to vote
ADAEUROPE
2010
Springer
15 years 4 months ago
2010
Springer
Because multicore CPUs have become the standard with all major hardware manufacturers, it becomes increasingly important for ing languages to provide programming abstractions that ...
134
click to vote
WAC
2004
Springer
15 years 5 months ago
2004
Springer
We describe the motivation and design of a novel embedded systems architecture for large networks of small devices, tha canonical example being wireless sensor networks. The archit...
136
click to vote
ESOP
1992
Springer
15 years 3 months ago
1992
Springer
We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated comp...
113
click to vote
DATE
2005
IEEE
15 years 5 months ago
2005
IEEE
— Security is emerging as an important concern in embedded system design. The security of embedded systems is often compromised due to vulnerabilities in “trusted” software t...