6796 search results - page 1030 / 1360 » Java for Embedded Systems |
135
click to vote
IROS
2008
IEEE
15 years 11 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...
116
click to vote
ISCAS
2008
IEEE
15 years 11 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...
131
click to vote
LICS
2008
IEEE
15 years 11 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...
168
Voted
MOBIQUITOUS
2008
IEEE
15 years 11 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...
139
click to vote
RTAS
2008
IEEE
15 years 11 months ago
2008
IEEE
Many wireless sensor nodes (motes) interface with slow peripheral devices, requiring the processor to wait. These delays waste time, energy and power, which are valuable but limit...