3955 search results - page 415 / 791 » Comparing the Power of Robots |
146
click to vote
RTAS
2005
IEEE
15 years 10 months ago
2005
IEEE
We present an on-line Dynamic Voltage Scaling (DVS) algorithm for preemptive fixed-priority real-time systems called low power Limited Demand Analysis with Transition overhead (l...
118
click to vote
ASPDAC
2005
ACM
15 years 10 months ago
2005
ACM
- This paper extends the depth first search (DFS) used in the previously proposed witness string method for generating efficient test vectors. A state pruning method is added that ...
133
click to vote
MFCS
2005
Springer
15 years 10 months ago
2005
Springer
We compare the expressive power of two automata-based finite-state models of concurrency. We show that Droste’s and Kuske’s coherent stably concurrent automata and Bednarczyk...
130
Voted
EVOW
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we combine a powerful representation for graph colouring problems with different heuristic strategies for colour assignment. Our novel strategies employ heuristics ...
131
click to vote
ANTS
2004
Springer
15 years 10 months ago
2004
Springer
Using powerful tools on genus 2 curves like the Kummer variety, we generalize the Montgomery method for scalar multiplication to the jacobian of these curves. Previously this metho...