2272 search results - page 301 / 455 » Validity Invariants and Effects |
IROS
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— We present a novel type of inter-module connection mechanism for waterborne modular robotic systems. The proposed mechanism exploits the thermoelectric effect to cool d...
145
click to vote
IWNAS
2008
IEEE
15 years 10 months ago
2008
IEEE
We study parallel job scheduling, where each job may be scheduled on any number of available processors in a given parallel system. We propose a mathematical model to estimate a j...
172
click to vote
MEMOCODE
2008
IEEE
15 years 10 months ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
140
click to vote
PIMRC
2008
IEEE
15 years 10 months ago
2008
IEEE
—In recent years, cooperative communication has been proposed as a new communication paradigm that incorporates a relay node to assist the direct point-to-point transmission. By ...
133
click to vote
SECON
2008
IEEE
15 years 10 months ago
2008
IEEE
—Many sensor networks are deployed for the purpose of covering and monitoring a particular region, and detecting the object of interest in the region. In this paper, based on the...