850 search results - page 79 / 170 » Modeling synchronous systems in BIP |
124
click to vote
EUROMICRO
1999
IEEE
15 years 5 months ago
1999
IEEE
In this paper we present an improved scheduling technique for the synthesis of time-triggered embedded systems. Our system model captures both the flow of data and that of control...
SIGADA
1998
Springer
15 years 5 months ago
1998
Springer
Our institute has been developing the only publicly available implementation of the Ada 95 Distributed Systems Annex for several years in strong collaboration with Ada Core Techno...
117
click to vote
ICRA
2006
IEEE
15 years 7 months ago
2006
IEEE
– In this paper, we present a general mathematical foundation of hormone-inspired control for the selfreconfigurable robotic system. Problem considered here is the lack of a math...
108
click to vote
IVA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Continuous and synchronized whole-body motions are essential for achieving believable autonomous virtual humans in interactive applications. We present a new motion contr...
125
click to vote
NCA
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper proposes the modeling and the performance analysis of a high-level control protocol – COCOP, which enables cooperative groups of clients to control a shared server de...