427 search results - page 20 / 86 » On the Power of Labels in Transition Systems |
CADE
2007
Springer
16 years 1 days ago
2007
Springer
This paper combines predictive labeling with dependency pairs and reports on its implementation. Our starting point is the method of proving termination of rewrite systems using se...
FOCS
2004
IEEE
15 years 3 months ago
2004
IEEE
We consider the problem of selecting threshold times to transition a device to low-power sleep states during an idle period. The two-state case in which there is a single active a...
ICRA
2009
IEEE
15 years 6 months ago
2009
IEEE
— Unlike statically stable wheeled mobile robots, dynamically stable mobile robots can have higher centers of gravity, smaller bases of support and can be tall and thin resemblin...
USENIX
2008
15 years 2 months ago
2008
Aggressive energy conserving mechanisms can maximize energy efficiency, but often have the negative tradeoff of simultaneously reducing system responsiveness due to the switching ...
FSEN
2009
Springer
15 years 6 months ago
2009
Springer
We propose a timed process calculus for wireless systems exposed to communication collisions. The operational semantics of our calculus is given in terms of a labelled transition ...