1690 search results - page 101 / 338 » Algorithmic Properties of Millstream Systems |
137
click to vote
PAM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Internet coordinate systems appear promising as a method for estimating network distance without direct measurement, allowing scalable configuration of emerging applicat...
117
click to vote
DAC
2007
ACM
16 years 5 months ago
2007
ACM
DPM (Dynamic Power Management) is an effective technique for reducing the energy consumption of embedded systems that is based on migrating to a low power state when possible. Whi...
103
click to vote
DEBS
2007
ACM
15 years 8 months ago
2007
ACM
We present a prefix forwarding algorithm for content-based publish/subscribe systems. Our algorithm performs only one content-based match per message regardless of the number of r...
117
click to vote
AMC
2007
15 years 4 months ago
2007
In this paper, two anticontrol algorithms for synthesis of discrete chaos are introduced. In these algorithms, the control parameter of a discrete dynamical system is switched, ei...
180
click to vote
POPL
2011
ACM
14 years 7 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...