3500 search results - page 93 / 700 » Implementing Java on Clusters |
ANSS
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper introduces TUTW – Temporal Uncertainty Time Warp – a control engine designed for an exploitation of temporal uncertainty (TU) in general optimistic simulations, and...
ECRTS
2003
IEEE
14 years 2 months ago
2003
IEEE
The memory model used in the Real-Time Specification for Java (RTSJ) imposes strict assignment rules to or from memory areas preventing the creation of dangling pointers, and thus...
ICSE
2009
IEEE-ACM
14 years 10 months ago
2009
IEEE-ACM
ng Implementations from Abstraction Functions Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic and Daniel Jackson Computer Science and Artificial In...
ACSAC
2001
IEEE
14 years 25 days ago
2001
IEEE
The Java Cryptography Architecture, JCA in short, was created to allow JCA-compliant cryptography providers to be plugged into a JCA-aware application at run time. This configurab...
AMAST
2008
Springer
13 years 11 months ago
2008
Springer
Term Rewriting Systems (TRSs) are now commonly used as a modeling language for applications. In those rewriting based models, reachability analysis, i.e. proving or disproving that...