Sciweavers

15840 search results - page 36 / 3168
» The Control of Synchronous Systems
Sort
View
CDC
2010
IEEE
105views Control Systems» more  CDC 2010»
13 years 2 months ago
Weakly pulse-coupled oscillators: Heterogeneous delays lead to homogeneous phase
This paper studies the effect of heterogenous delays in networks of weakly pulse-coupled identical oscillators. We develop a new framework to study them by constructing a non-delay...
Enrique Mallada, Ao Tang
HICSS
2000
IEEE
153views Biometrics» more  HICSS 2000»
14 years 4 days ago
On Verifying Distributed Multithreaded Java Programs
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
Jessica Chen
SNPD
2008
13 years 9 months ago
Testing Component-Based Real Time Systems
This paper focuses on studying efficient solutions for modeling and deriving compositional tests for component-based real-time systems. In this work, we propose a coherent framewo...
Rachid Bouaziz, Ismail Berrada
DAC
2000
ACM
14 years 8 months ago
Compiling Esterel into sequential code
This paper presents a novel compiler for Esterel, a concurrent synchronous imperative language. It generates fast, small object code by compiling away concurrency, producing a sin...
Stephen A. Edwards
TII
2008
77views more  TII 2008»
13 years 7 months ago
The One-Shot Task Model for Robust Real-Time Embedded Control Systems
Embedded control systems are often implemented in small microprocessors enabled with real-time technology. In this context, control laws are often designed according to discrete-ti...
Camilo Lozoya, Manel Velasco, Pau Martí