Sciweavers

2062 search results - page 52 / 413
» Hardware Objects for Java
Sort
View
JAVA
2001
Springer
14 years 6 days ago
Implementation of a portable software DSM in Java
Rapid commoditization of advanced hardware and progress of networking technology is now making wide area high-performance computing a.k.a. the ‘Grid’ Computing a reality. Sinc...
Yukihiko Sohda, Hidemoto Nakada, Satoshi Matsuoka
GPCE
2009
Springer
14 years 12 days ago
Classifying Java class transformations for pervasive virtualized access
The indirection of object accesses is a common theme for target domains as diverse as transparent distribution, persistence, and program instrumentation. Virtualizing accesses to ...
Phil McGachey, Antony L. Hosking, J. Eliot B. Moss
FTDCS
1999
IEEE
14 years 2 days ago
Ephemeral Java Source Code
In an object oriented, distributed environment, program maintenance, which has never been the most predictable task, becomes even more uncertain. Java's dynamic loading mecha...
Susan Eisenbach, Chris Sadler
CARDIS
2000
Springer
129views Hardware» more  CARDIS 2000»
13 years 11 months ago
Specification of the JavaCard API in JML
This paper reports on an effort to increase the reliability of JavaCard-based smart cards by means of formal specification and verification of JavaCard source code. As a first ste...
Erik Poll, Joachim van den Berg, Bart Jacobs
ICMCS
2000
IEEE
99views Multimedia» more  ICMCS 2000»
14 years 5 days ago
Hardware/Software Co-design for Real-Time Physical Modeling
Physical modeling of a mass-spring system allows for realistic object motion and deformation in a virtual environment. Previous work in this type of physical modeling relies on ge...
Benjamin Bishop, Thomas P. Kelliher, Mary Jane Irw...