2949 search results - page 273 / 590 » Transformations in Information Supply |
208
click to vote
SSS
2005
Springer
16 years 5 days ago
2005
Springer
We present simple algorithms for achieving self-stabilizing location management and routing in mobile ad-hoc networks. While mobile clients may be susceptible to corruption and sto...
188
click to vote
SIGECOM
2004
ACM
16 years 4 days ago
2004
ACM
In this paper, we combine two approaches to handling uncertainty: we use techniques for finding optimal solutions in the expected sense to solve combinatorial optimization proble...
154
click to vote
GLVLSI
2010
IEEE
15 years 11 months ago
2010
IEEE
Next generation industrial embedded platforms require the development of complex power and thermal management solutions. Indeed, an increasingly fine and intrusive thermal contro...
149
click to vote
GIL
2004
15 years 8 months ago
2004
Abstract: Interdisciplinary research projects with environmental focus need an information technology which is capable of describing the flow of minerals and other substances with ...
182
click to vote
FMCAD
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...