3500 search results - page 299 / 700 » Implementing Java on Clusters |
101
click to vote
SIGPLAN
2008
15 years 18 days ago
2008
As memory transactions have been proposed as a language-level replacement for locks, there is growing need for well-defined semantics. In contrast to database transactions, transa...
110
click to vote
SENSYS
2009
ACM
15 years 7 months ago
2009
ACM
The programming and retasking of sensor nodes could benefit greatly from the use of a virtual machine (VM) since byte code is compact, can be loaded on demand, and interpreted on...
100
click to vote
OOPSLA
2004
Springer
15 years 6 months ago
2004
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The specific constraint exis that the abstract state of the object to whi...
142
Voted
CADE
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
126
click to vote
GLVLSI
2009
IEEE
15 years 4 months ago
2009
IEEE
Modern embedded devices (e.g., PDAs, mobile phones) are now incorporating Java as a very popular implementation language in their designs. These new embedded systems include multi...