512 search results - page 69 / 103 » Distributed synthesis of real-time computer systems |
ISER
2004
Springer
14 years 2 months ago
2004
Springer
In this paper we present a macroscopic model for the analysis of homogeneous task-directed multi-robot systems (MRS). The model is used to compute the probability that a given MRS ...
VRST
2006
ACM
14 years 2 months ago
2006
ACM
As the interest of the public for new forms of media grows, museums and theme parks select real time Virtual Reality productions as their presentation medium. Based on threedimens...
ICDCSW
2008
IEEE
14 years 3 months ago
2008
IEEE
We present an early vision of a cyber-physical environment in which computer controlled rendering of physical surfaces, terrains, and environments is achieved by manipulating grid...
EDCC
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The A3M project aimed to define basic building blocks of a middleware meeting both dependability and real-time requirements for a wide range of space systems and applicat...
IPPS
1997
IEEE
14 years 29 days ago
1997
IEEE
Algebraic factorization is an extremely important part of any logic synthesis system but is computationally expensive. Hence it is important to look at parallel processing to spee...