2870 search results - page 366 / 574 » Synchronization of multi-agent systems |
141
click to vote
SOSP
1989
ACM
15 years 5 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...
140
click to vote
SEUS
2010
IEEE
15 years 3 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...
108
click to vote
ICRA
2010
IEEE
15 years 2 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...
158
click to vote
ICONS
2009
IEEE
15 years 2 months ago
2009
IEEE
The aim of this paper is to address the problem of correctly dimensioning real-time embedded systems. It is well known that computers which control systems are greatly affected by...
268
click to vote
NFM
2011
14 years 11 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...