Sciweavers

1553 search results - page 65 / 311
» Efficient Collective Communication in Distributed Heterogene...
Sort
View
87
Voted
ICPPW
2006
IEEE
15 years 6 months ago
Model Checking Control Communication of a FACTS Device
This paper concerns the design and verification of a realtime communication protocol for sensor data collection and processing between an embedded computer and a DSP. In such sys...
David A. Cape, Bruce M. McMillin, James K. Townsen...
91
Voted
CODES
1999
IEEE
15 years 4 months ago
Scheduling with optimized communication for time-triggered embedded systems
We present an approach to process scheduling for synthesis of safety-critical distributed embedded systems. Our system model captures both the flow of data and that of control. Th...
Paul Pop, Petru Eles, Zebo Peng
MSO
2003
15 years 1 months ago
A Meta-Model based Approach for the Combination of Models in Multiple Languages
The provision of efficient methods and tool support for the development and engineering of distributed systems is a key enabling factor for the evolution of Information Technology...
Eckhardt Holz
EMSOFT
2006
Springer
15 years 4 months ago
Efficient distributed deadlock avoidance with liveness guarantees
We present a deadlock avoidance algorithm for distributed systems that guarantees liveness. Deadlock avoidance in distributed systems is a hard problem and general solutions are c...
César Sánchez, Henny B. Sipma, Zohar...
ICDCS
1998
IEEE
15 years 4 months ago
Granularity Control for Distributed Execution of Logic Programs
Distributed execution of logic programs requires a match of granularity between a program and the distributed multi-processor it runs on to exploit its potential for performance f...
George Xirogiannis