Sciweavers

2062 search results - page 182 / 413
» Hardware Objects for Java
Sort
View
ATVA
2004
Springer
135views Hardware» more  ATVA 2004»
14 years 2 months ago
Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors
Data races do not cover all kinds of concurrency errors. This paper presents a data-ow-based technique to nd stale-value errors, which are not found by low-level and high-level d...
Cyrille Artho, Klaus Havelund, Armin Biere
DSRT
2002
IEEE
14 years 2 months ago
Nautilus - The Environment for Training and Testing
The paper describes an experimental web-based environment for teaching and testing. The application named Nautilus has been developed using Virtual Reality Modeling Language (VRML...
Jiri Chludil, Jiri Zara
ICWN
2004
13 years 10 months ago
An Embedded Healthcare System for Blood Glucose Monitoring in a Body Area Network
This paper presents a Java service platform and hardware design for a handheld healthcare system that enables remote health monitoring using CDMA public wireless networks. Special...
Kil-Ho Ahn, Jae-Wan Park, Dong Ryeol Shin, Ji-Tae ...
CLUSTER
2003
IEEE
14 years 2 months ago
Compiler Optimized Remote Method Invocation
We further increase the efficiency of Java RMI programs. Where other optimizing re-implementations of RMI use pre-processors to create stubs and skeletons and to create class spe...
Ronald Veldema, Michael Philippsen
ETS
2006
IEEE
119views Hardware» more  ETS 2006»
13 years 9 months ago
An Ontology-Based Framework for Bridging Learning Design and Learning Content
The paper describes an ontology-based framework for bridging learning design and learning object content. In present solutions, researchers have proposed conceptual models and dev...
Colin Knight, Dragan Gasevic, Griff Richards