1205 search results - page 140 / 241 » On P Systems with Bounded Parallelism |
119
Voted
ESCIENCE
2007
IEEE
15 years 7 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...
138
Voted
COORDINATION
2006
Springer
15 years 7 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...
112
Voted
CVPR
2006
IEEE
16 years 5 months 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...
152
click to vote
ICDCS
2005
IEEE
15 years 9 months ago
2005
IEEE
Communication-induced checkpointing protocols that ensure rollback-dependency trackability (RDT) guarantee important properties to the recovery system without explicit coordinatio...
144
Voted
REX
1991
15 years 7 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...