Sciweavers

352 search results - page 48 / 71
» Fail-Awareness in Timed Asynchronous Systems
Sort
View
PC
2008
119views Management» more  PC 2008»
15 years 3 months ago
GREMLINS: a large sparse linear solver for grid environment
Traditional large sparse linear solvers are not suited in a grid computing environment as they require a large amount of synchronization and communication penalizing the performan...
Raphaël Couturier, Christophe Denis, Fabienne...
IPPS
2007
IEEE
15 years 10 months ago
The Design and Implementation of Real-time Event-based Applications with RTSJ
This paper presents a framework to design real-time event-based applications using Java. The Real-Time Specification for Java (RTSJ) is well designed for hard periodic real-time ...
Damien Masson, Serge Midonnet
APN
2004
Springer
15 years 9 months ago
Reachability Set Generation for Petri Nets: Can Brute Force Be Smart?
Generating the reachability set is one of the most commonly required step when analyzing the logical or stochastic behavior of a system modeled with Petri nets. Traditional “expl...
Gianfranco Ciardo
SRDS
1997
IEEE
15 years 8 months ago
Software Approach to Hazard Detection Using On-line Analysis of Safety Constraints
Hazard situations in safety-critical systems are typically complex, so there is a need for means to detect complex hazards and react in a timely and meaningful way. This paper add...
Beth A. Schroeder, Karsten Schwan, Sudhir Aggarwal
ISM
2008
IEEE
163views Multimedia» more  ISM 2008»
15 years 10 months ago
Cocktail Party on the Mobile
We present the architecture, user interface and prototype implementation of Fluid Voice, a proximity based mobile group communication system for opportunistic social exchanges. It...
Kwan Hong Lee, Andrew Lippman, Thiago Santos