3954 search results - page 610 / 791 » Image-based Model Completion |
152
click to vote
ISCC
2007
IEEE
15 years 9 months ago
2007
IEEE
: This paper presents the Distributed Transport for Sensor Networks (DTSN), a novel reliable transport protocol for convergecast and unicast communications in Wireless Sensor Netwo...
153
click to vote
LICS
2007
IEEE
15 years 9 months ago
2007
IEEE
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
112
click to vote
MEMOCODE
2007
IEEE
15 years 9 months ago
2007
IEEE
—With the arrival of nanometer technologies wire delays are no longer negligible with respect to gate delays, and timing-closure becomes a major challenge to System-on-Chip desig...
115
click to vote
ROMAN
2007
IEEE
15 years 9 months ago
2007
IEEE
— For controlling robots in an urban search and rescue (USAR) application, we present a wearable joystick with improved sensing capability as well as Giant MagnetoResistance(GMR)...
121
click to vote
SIES
2007
IEEE
15 years 9 months ago
2007
IEEE
— The paper presents a software architecture for Distributed Timed Multitasking - a new model of computation that can be used to engineer open, and the same time, predictable emb...