5356 search results - page 823 / 1072 » Adventures in time and space |
170
Voted
MADNES
2005
Springer
15 years 7 months ago
2005
Springer
In wireless sensor networks, a sensor node broadcasts its data (such as routing information, beacon messages or meta-data) to all its neighbors, which is called local broadcast. A ...
117
click to vote
PATMOS
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents a modular optimization framework for custom digital circuits in the power – performance space. The method uses a static timer and a nonlinear optimizer to max...
98
Voted
SCOPES
2005
Springer
15 years 7 months ago
2005
Springer
Software used in embedded systems is subject to strict timing and space constraints. The growing software complexity creates an urgent need for fast program execution under the co...
105
Voted
SG
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In the field of the architectural heritage, the representation of artefacts, particularly for communication purposes, has benefited from the development of computer-based...
108
Voted
TACAS
2005
Springer
15 years 7 months ago
2005
Springer
We present MC2 , what we believe to be the first randomized, Monte Carlo algorithm for temporal-logic model checking, the classical problem of deciding whether or not a property s...