243 search results - page 26 / 49 » Hardware Software Co-Design of a Java Virtual Machine |
112
click to vote
LISA
2003
15 years 3 months ago
2003
This paper attempts to address the complexity of system administration by making the labor of applying software updates independent of the number of computers on which the softwar...
110
click to vote
ECBS
2003
IEEE
15 years 7 months ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
117
click to vote
EMSOFT
2004
Springer
15 years 7 months ago
2004
Springer
Security concerns on embedded devices like cellular phones make Java an extremely attractive technology for providing third-party and user-downloadable functionality. However, gar...
131
Voted
DAIS
2010
15 years 3 months ago
2010
The growing needs in computational power to answer to the increasing number of on-line services and the complexity of applications makes it mandatory to build corresponding hardwar...
126
Voted
ECOOP
2000
Springer
15 years 6 months ago
2000
Springer
Modern software must evolve in response to changing conditions. In the most widely used programming environments, code is static and cannot change at runtime. This poses problems ...