1205 search results - page 140 / 241 » On P Systems with Bounded Parallelism |
ESCIENCE
2007
IEEE
14 years 2 months ago
2007
IEEE
Grid-based computing frameworks leverage underutilized processing and storage resources. We present and evaluate a new high-performance, reliable middleware layer that can incorpo...
COORDINATION
2006
Springer
14 years 1 months ago
2006
Springer
The coordination language Paradigm allows for a flexible and orthogonal modeling of interprocess relationships at the architectural level. It is shown how dynamic system adaptation...
CVPR
2006
IEEE
15 years 3 days ago
2006
IEEE
We describe a realtime system for finding and tracking unstructured paths in off-road conditions. The system was designed as part of the recent Darpa Grand Challenge and was teste...
ICDCS
2005
IEEE
14 years 3 months ago
2005
IEEE
Communication-induced checkpointing protocols that ensure rollback-dependency trackability (RDT) guarantee important properties to the recovery system without explicit coordinatio...
REX
1991
14 years 1 months ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...