7429 search results - page 1061 / 1486 » Embedded System Update |
159
Voted
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— We describe self-assembling robot arm systems composed of active modular robots and passive bars. We present a case study where the robotic module is the Shady3D robot and the ...
167
Voted
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— Human control of high degree-of-freedom robotic systems, e.g. anthropomorphic robot hands, is often difficult due to the overwhelming number of variables that need to be speci...
156
Voted
ISCAS
2008
IEEE
16 years 1 months ago
2008
IEEE
—Software-based self-test (SBST) is a promising new technology for at-speed testing of embedded processors in SoC systems. This paper introduces an effective and efficient new ho...
172
Voted
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
LF is a dependent type theory in which many other formal systems can be conveniently embedded. However, correct use of LF relies on nontrivial metatheoretic developments such as p...
220
Voted
MOBIQUITOUS
2008
IEEE
16 years 1 months ago
2008
IEEE
SMEPP Light is a middleware for Wireless Sensor Networks (WSNs) based on mote-class sensors. It is derived from the specification developed under the framework of the SMEPP proje...