Sciweavers

8 search results - page 1 / 2
» Taxonomy of Distributed Event-Based Programming Systems
Sort
View
ICDCSW
2002
IEEE
13 years 9 months ago
Taxonomy of Distributed Event-Based Programming Systems
Event-based middleware is currently being applied for application component integration in a range of application domains. As a result, a variety of event services have been propo...
René Meier, Vinny Cahill
FM
2003
Springer
96views Formal Methods» more  FM 2003»
13 years 10 months ago
Event Based Sequential Program Development: Application to Constructing a Pointer Program
In this article, I present an “event approach” used to formally develop sequential programs. It is based on the formalism of Action Systems [6] (and Guarded Commands[7]), which...
Jean-Raymond Abrial
FMOODS
2007
13 years 6 months ago
Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...
L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Ding...
PDPTA
1996
13 years 6 months ago
A Taxonomy of Distributed Debuggers Based on Execution Replay
This paper presents a taxonomy of parallel and distributed debuggers based on execution replay. Programming of distributed and parallel systems is a complex task. Amongst the many...
Carl Dionne, Marc Feeley, Jocelyn Desbien
CLUSTER
2006
IEEE
13 years 4 months ago
A taxonomy of application scheduling tools for high performance cluster computing
Application scheduling plays an important role in high-performance cluster computing. Application scheduling can be classified as job scheduling and task scheduling. This paper pre...
Jiannong Cao, Alvin T. S. Chan, Yudong Sun, Sajal ...