871 search results - page 73 / 175 » Modular Design of Reactive Systems |
EDO
2006
Springer
13 years 11 months ago
2006
Springer
We present a new publish-subscribe middleware called REDS (REconfigurable Dispatching System) designed to tolerate dynamic reconfigurations of the dispatching infrastructure, like...
AROBOTS
2000
13 years 7 months ago
2000
We wish for robots to manipulate objects and move flexibly in three-dimensional spaces. We describe a robot that can move on a web of surfaces oriented around arbitrary directions ...
ESOP
2005
Springer
14 years 1 months ago
2005
Springer
The notion of control dependence underlies many program analysis and transformation techniques used in numerous applications. Despite wide application, existing definitions and ap...
HPCA
2011
IEEE
12 years 11 months ago
2011
IEEE
Contention management is an important design component to a transactional memory system. Without effective contention management to ensure forward progress, a transactional memory...
FASE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...