15840 search results - page 807 / 3168 » The Control of Synchronous Systems |
204
click to vote
SOSP
1989
ACM
15 years 8 months ago
1989
ACM
The Synthesis operating system kernel combines several techniques to provide high performa.nce, incl1iding kernel code synthesis, fine-gra.in scheduling. and optimistic sylicllrol...
221
click to vote
SEUS
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract. Code generation from models is the ultimate goal of model-based design. For real-time systems the generated code must be analyzable for the worstcase execution time (WCET...
158
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
We present Shimon, an interactive improvisational robotic marimba player, developed for research in Robotic Musicianship. The robot listens to a human musician and continuously ada...
354
click to vote
NFM
2011
15 years 2 months ago
2011
Abstract. We present a general scheme for automated instantiation-based invariant discovery. Given a transition system, the scheme produces k-inductive invariants from templates re...
224
click to vote
CONCUR
2012
Springer
13 years 10 months ago
2012
Springer
Networks of timed automata (NTA) are widely used to model distributed real-time systems. Quite often in the literature, the automata are allowed to share clocks. This is a problem ...