Sciweavers

14 search results - page 1 / 3
» IKE 2-Implementing the Stateful Distributed Object Paradigm
Sort
View
ISORC
2002
IEEE
13 years 9 months ago
IKE 2-Implementing the Stateful Distributed Object Paradigm
— This paper describes IKE 2, which is distributed object computing middleware that supports the creation of interoperable realtime distributed applications. These applications a...
J. Russell Noseworthy
JCSC
1998
159views more  JCSC 1998»
13 years 4 months ago
An Approach to Object System Modeling by State-Based Object Petri Nets
For many years, Petri nets have been used for modeling the behavior of various types of concurrent systems. While these net models are especially well suited to capture the behavi...
A. Newman, Sol M. Shatz, X. Xie
ECOOP
2008
Springer
13 years 6 months ago
Programming with Live Distributed Objects
A component revolution is underway, bringing developers improved productivity and opportunities for code reuse. However, whereas existing tools work well for builders of desktop ap...
Krzysztof Ostrowski, Ken Birman, Danny Dolev, Jong...
APPINF
2003
13 years 6 months ago
Debugging Distributed Computations by Reverse Search
We develop a memory-efficient off-line algorithm for the enumeration of global states of a distributed computation. The algorithm allows the parameterization of its memory requir...
Artur Andrzejak, Komei Fukuda
IOLTS
2000
IEEE
115views Hardware» more  IOLTS 2000»
13 years 9 months ago
Micro-Checkpointing: Checkpointing for Multithreaded Applications
In this paper, we introduce an efficient technique for checkpointing multithreaded applications. Our approach makes use of processes constructed around the ARMOR (Adaptive Reconfi...
Keith Whisnant, Zbigniew Kalbarczyk, Ravishankar K...