Sciweavers

1247 search results - page 207 / 250
» A Multi-User Virtual Machine
Sort
View
JAVA
2001
Springer
14 years 1 months ago
Object-based collective communication in Java
CCJ is a communication library that adds MPI-like collective operations to Java. Rather than trying to adhere to the precise MPI syntax, CCJ aims at a clean integration of collect...
Arnold Nelisse, Thilo Kielmann, Henri E. Bal, Jaso...
ICMCS
2000
IEEE
95views Multimedia» more  ICMCS 2000»
14 years 1 months ago
An Extensible Set-Top-Box Architecture for Interactive and Broadcast Services Offering Sophisticated User Guidance
Currently available Set-Top-Boxes (STBs) are mainly used for digital TV reception. The User Interface (UI) and the UI dialog of such a device usually focus on its technological as...
Frank Lonczewski, Rudolf Jaeger
IPPS
2000
IEEE
14 years 1 months ago
Parallel Computation for Chromosome Reconstruction on a Cluster of Workstations
Reconstructing a physical map of a chromosome from a genomic library presents a central computational problem in genetics. Physical map reconstruction in the presence of errors is...
Suchendra M. Bhandarkar, Salem Machaka, Sanjay She...
IPPS
2000
IEEE
14 years 1 months ago
Deterministic Replay of Distributed Java Applications
Execution behavior of a Java application can be nondeterministic due to concurrent threads of execution, thread scheduling, and variable network delays. This nondeterminism in Jav...
Ravi B. Konuru, Harini Srinivasan, Jong-Deok Choi
KBSE
2000
IEEE
14 years 1 months ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...