786 search results - page 79 / 158 » A static theory of promises |
EMSOFT
2009
Springer
15 years 4 months ago
2009
Springer
Stream processing is a promising paradigm for programming multi-core systems for high-performance embedded applications. We propose flexible filters as a technique that combines...
SAMOS
2009
Springer
15 years 4 months ago
2009
Springer
Current generation embedded applications demand the computation engine to offer high performance similar to custom hardware circuits while preserving the flexibility of software s...
ICRA
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract— This paper studies the sequential object recognition problem faced by a mobile robot searching for specific objects within a cluttered environment. In contrast to curr...
ICST
2008
IEEE
15 years 4 months ago
2008
IEEE
Automated static analysis is a promising technique to detect defects in software. However, although considerable effort has been spent for developing sophisticated detection possi...
INFOCOM
2008
IEEE
15 years 4 months ago
2008
IEEE
—It is well known that a packet loss in 802.11 can happen either due to collision or an insufficiently strong signal. However, discerning the exact cause of a packet loss, once ...