105 search results - page 10 / 21 » Code-Assisted Synchronization for UWB-IR Systems: Algorithms... |
128
click to vote
SNPD
2008
15 years 5 months ago
2008
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...
144
click to vote
ACSD
2008
IEEE
15 years 10 months ago
2008
IEEE
Synchronous systems can immediately react to the inputs of their environment which may lead to so-called causality cycles between actions and their trigger conditions. Systems wit...
155
click to vote
MM
2004
ACM
15 years 9 months ago
2004
ACM
We present a prototype that automatically aligns acoustic musical signals with their corresponding textual lyrics, in a manner similar to manually-aligned karaoke. We tackle this ...
141
click to vote
COMCOM
1998
15 years 4 months ago
1998
In this paper, we propose a new formalism, named the Timed Communicating Finite State Machine (Timed CFSM), for specifying and verifying time-critical systems. Timed CFSM preserve...
159
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
This research concerns a noncooperative dynamic game with large number of oscillators. The states are interpreted as the phase angles for a collection of non-homogeneous oscillator...