998 search results - page 104 / 200 » Self-Aware Distributed Embedded Systems |
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
ISORC
2002
IEEE
14 years 2 months ago
2002
IEEE
The Real-Time CORBA and minimumCORBA specifications are important steps towards defining standard-based middleware which can satisfy real-time requirements in an embedded system...
IJCNN
2007
IEEE
14 years 4 months ago
2007
IEEE
— Recent brain imaging studies on primates revealed that a network of brain areas is activated both during observation and during execution of movements. The present work aims at...
SENSYS
2003
ACM
14 years 2 months ago
2003
ACM
Simple in-network data aggregation (or fusion) techniques for sensor networks have been the focus of several recent research efforts, but they are insufficient to support advance...
IPSN
2010
Springer
14 years 4 months ago
2010
Springer
Motion capture using wireless inertial measurement units (IMUs) has many advantages over other techniques. Achieving accurate tracking with IMUs presents a processing challenge, e...