1075 search results - page 162 / 215 » An Object-Oriented Realtime Framework for Distributed Contro... |
IPPS
2006
IEEE
15 years 4 months ago
2006
IEEE
In this paper, we present a robot middleware technology named Robot Software Communications Architecture (RSCA) for its use in networked home service robots. The RSCA provides a s...
VEE
2010
ACM
15 years 5 months ago
2010
ACM
Not all operating systems are created equal. Contrasting traditional monolithic kernels, there is a class of systems called microkernels more prevalent in embedded systems like ce...
SSS
2009
Springer
15 years 2 months ago
2009
Springer
Self-stabilization is an elegant way of realizing non-masking fault-tolerant systems. Sustained research over last decades has produced multiple self-stabilizing algorithms for man...
VALUETOOLS
2006
ACM
15 years 4 months ago
2006
ACM
In the context of communication networks, the framework of stochastic event graphs allows a modeling of control mechanisms induced by the communication protocol and an analysis of ...
102
click to vote
FORTE
1997
14 years 11 months ago
1997
This paper presents a testing theory that is parameterised with assumptions about the way implementations communicate with their environment. In this way some existing testing the...