Sciweavers

15840 search results - page 184 / 3168
» The Control of Synchronous Systems
Sort
View
87
Voted
TECS
2008
94views more  TECS 2008»
15 years 18 days ago
Composing heterogeneous reactive systems
elationships between heterogeneous models at different levels of abstraction. In particular, they can be used to represent design transformations from tightly synchronized specific...
Albert Benveniste, Benoît Caillaud, Luca P. ...
CASES
2008
ACM
15 years 2 months ago
A light-weight cache-based fault detection and checkpointing scheme for MPSoCs enabling relaxed execution synchronization
While technology advances have made MPSoCs a standard architecture for embedded systems, their applicability is increasingly being challenged by dramatic increases in the amount o...
Chengmo Yang, Alex Orailoglu
EURODAC
1995
IEEE
173views VHDL» more  EURODAC 1995»
15 years 4 months ago
Cooperative concurrency control for design environments
In this paper, we present a new model for concurrency control that supports cooperation of design tools and designers in a design environment. We capture characteristic access and...
Ansgar Bredenfeld
112
Voted
ICMAS
1998
15 years 2 months ago
Agent-Oriented Programming of Manufacturing Control Tasks
The success of agent-oriented concepts in various application domains, in particular in manufacturing control, creates the need for an agent-oriented analysis, design, and program...
Stefan Bussmann
112
Voted
HIPEAC
2010
Springer
15 years 9 months ago
Low-Overhead, High-Speed Multi-core Barrier Synchronization
Whereas efficient barrier implementations were once a concern only in high-performance computing, recent trends in core integration make the topic relevant even for general-purpos...
John Sartori, Rakesh Kumar