Sciweavers

4604 search results - page 181 / 921
» Concurrency in Synchronous Systems
Sort
View
SIGMETRICS
2008
ACM
15 years 4 months ago
Synchronized network emulation: matching prototypes with complex simulations
Network emulation, in which real systems interact with a network simulation, is a common evaluation method in computer networking research. Until now, the simulation in charge of ...
Elias Weingärtner, Florian Schmidt, Tobias He...
CASES
2008
ACM
15 years 6 months ago
Multi-granularity sampling for simulating concurrent heterogeneous applications
Detailed or cycle-accurate/bit-accurate (CABA) simulation is a critical phase in the design flow of embedded systems. However, with increasing system complexity, full detailed sim...
Melhem Tawk, Khaled Z. Ibrahim, Smaïl Niar
CASES
2005
ACM
15 years 6 months ago
An Esterel processor with full preemption support and its worst case reaction time analysis
The concurrent synchronous language Esterel allows proto treat reactive systems in an abstract, concise manner. An Esterel program is typically first translated into other, non-s...
Xin Li, Jan Lukoschus, Marian Boldt, Michael Harde...
135
Voted
CDC
2009
IEEE
129views Control Systems» more  CDC 2009»
15 years 1 months ago
Adaptive control using retrospective cost optimization with RLS-based estimation for concurrent Markov-parameter updating
We present a discrete-time adaptive control law that is effective for systems that are MIMO and either minimum phase or nonminimum phase. The adaptive control algorithm provides gu...
Mario A. Santillo, Matthew S. Holzel, Jesse B. Hoa...
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 8 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund