Sciweavers

3607 search results - page 374 / 722
» Distributed Parallel Computing Using Windows Desktop Systems
Sort
View
ISORC
2000
IEEE
15 years 7 months ago
Verification of UML-Based Real-Time System Designs by Means of cTLA
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
Günter Graw, Peter Herrmann, Heiko Krumm
CONCUR
2008
Springer
15 years 6 months ago
Unfolding-Based Diagnosis of Systems with an Evolving Topology
Abstract. We propose a framework for model-based diagnosis of systems with mobility and variable topologies, modelled as graph transformation systems. Generally speaking, model-bas...
Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara...
ICDCS
2007
IEEE
15 years 10 months ago
Fault Tolerance in Multiprocessor Systems Via Application Cloning
Record and Replay (RR) is a software based state replication solution designed to support recording and subsequent replay of the execution of unmodified applications running on mu...
Philippe Bergheaud, Dinesh Subhraveti, Marc Vertes
PPSN
1998
Springer
15 years 8 months ago
On Genetic Algorithms and Lindenmayer Systems
This paper describes a system for simulating the evolution of artificial 2D plant morphologies. Virtual plant genotypes are inspired by the mathematical formalism known as Lindenma...
Gabriela Ochoa
DCOSS
2009
Springer
15 years 8 months ago
A Sensor Network System for Measuring Traffic in Short-Term Construction Work Zones
In this paper, we present the design and implementation of a sensor network system for monitoring the flow of traffic through temporary construction work zones. As opposed to long-...
Manohar Bathula, Mehrdad Ramezanali, Ishu Pradhan,...