Sciweavers

441 search results - page 16 / 89
» Reliable Distributed Programming in C : The Arjuna Approach
Sort
View
EMSOFT
2006
Springer
15 years 1 months ago
Implementing fault-tolerance in real-time systems by automatic program transformations
We present a formal approach to implement and certify fault-tolerance in real-time embedded systems. The faultintolerant initial system consists of a set of independent periodic t...
Tolga Ayav, Pascal Fradet, Alain Girault
ICPPW
2005
IEEE
15 years 3 months ago
Performance Prophet: A Performance Modeling and Prediction Tool for Parallel and Distributed Programs
High-performance computing is essential for solving large problems and for reducing the time to solution for a single problem. Current top high-performance computing systems conta...
Sabri Pllana, Thomas Fahringer
WOSP
2004
ACM
15 years 3 months ago
Computing the performability of layered distributed systems with a management architecture
This paper analyzes the performability of client-server applications that use a separate fault management architecture for monitoring and controlling of the status of the applicat...
Olivia Das, C. Murray Woodside
DALT
2004
Springer
15 years 1 months ago
Modeling and Verification of Distributed Autonomous Agents Using Logic Programming
Systems of autonomous agents providing automated services over the Web are fast becoming a reality. Often these agent systems are constructed using procedural architectures that pr...
L. Robert Pokorny, C. R. Ramakrishnan
90
Voted
WORDS
2002
IEEE
15 years 3 months ago
On Aspect-Orientation in Distributed Real-time Dependable Systems
The design and implementation of distributed real-time dependable systems is often dominated by non-functional considerations like timeliness, object placement and fault tolerance...
Andreas Gal, Olaf Spinczyk, Wolfgang Schröder...