Sciweavers

3134 search results - page 200 / 627
» Embedded System Design for Network Time Synchronization
Sort
View
HYBRID
1994
Springer
15 years 8 months ago
Symbolic Controller Synthesis for Discrete and Timed Systems
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
Eugene Asarin, Oded Maler, Amir Pnueli
ECRTS
2005
IEEE
15 years 9 months ago
Fast Component Interaction for Real-Time Systems
Open real-time systems provide for co-hosting hard-, soft- and non-real-time applications. Microkernel-based designs in addition allow for these applications to be mutually protec...
Udo Steinberg, Jean Wolter, Hermann Härtig
CAV
2009
Springer
156views Hardware» more  CAV 2009»
15 years 11 months ago
Towards Performance Prediction of Compositional Models in Industrial GALS Designs
Systems and Networks on Chips (NoCs) are a prime design focus of many hardware manufacturers. In addition to functional verification, which is a difficult necessity, the chip desi...
Nicolas Coste, Holger Hermanns, Etienne Lantreibec...
156
Voted
IEAAIE
1994
Springer
15 years 8 months ago
Applying Blackboard Techniques to Real-Time Signal Processing and Multimedia Network Management
Two recent projects at ORA have used a blackboard framework during system design.1 DANA is a multimedia network monitoring system, while MARRS is a real-time passive radar system....
Randall J. Calistri-Yeh
ICCAD
2008
IEEE
122views Hardware» more  ICCAD 2008»
16 years 1 months ago
Network flow-based power optimization under timing constraints in MSV-driven floorplanning
Abstract— Power consumption has become a crucial problem in modern circuit design. Multiple Supply Voltage (MSV) design is introduced to provide higher flexibility in controllin...
Qiang Ma, Evangeline F. Y. Young