Sciweavers

2875 search results - page 60 / 575
» Distributed Reactive Machines
Sort
View
PDCAT
2004
Springer
14 years 4 months ago
A Universal Machine File Format for MPI Jobs
Abstract. Beowulf-class clusters use a diverse collection of queue management software, and interconnect technology, often causing inter-cluster operability issues. We present a Un...
Francis Tang, Ho Liang Yoong, Chua Ching Lian, Aru...
RULEML
2009
Springer
14 years 5 months ago
Correlating Business Events for Event-Triggered Rules
Abstract. Event processing rules may be prescribed in many different ways, including by finite state machines, graphical methods, ECA (event-conditionaction) rules or reactive rule...
Josef Schiefer, Hannes Obweger, Martin Suntinger
TPHOL
1998
IEEE
14 years 3 months ago
Co-inductive Axiomatization of a Synchronous Language
Abstract. Over the last decade, the increasing demand for the validation of safety critical systems lead to the development of domain-specific programming languages (e.g. synchrono...
David Nowak, Jean-René Beauvais, Jean-Pierr...
ICPP
1993
IEEE
14 years 3 months ago
Solving the Region Growing Problem on the Connection Machine
Abstract { This paper presents a parallel algorithm for solving the region growing problem based on the split and merge approach. The algorithm was implemented on the CM-2 and the ...
Nawal Copty, Sanjay Ranka, Geoffrey Fox, Ravi V. S...
EUROPAR
2008
Springer
14 years 22 days ago
Bi-objective Approximation Scheme for Makespan and Reliability Optimization on Uniform Parallel Machines
We study the problem of scheduling independent tasks on a set of related processors which have a probability of failure governed by an exponential law. We are interested in the bi-...
Emmanuel Jeannot, Erik Saule, Denis Trystram