5105 search results - page 259 / 1021 » An algorithm to determine peer-reviewers |
173
click to vote
SSS
2009
Springer
15 years 11 months ago
2009
Springer
Self-stabilization is an elegant way of realizing non-masking fault-tolerant systems. Sustained research over last decades has produced multiple self-stabilizing algorithms for man...
157
click to vote
TACAS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Checking for language containment between nondeterministic ω-automata is a central task in automata-based hierarchical verification. We present a symbolic procedure for...
159
click to vote
VISUALIZATION
2000
IEEE
15 years 11 months ago
2000
IEEE
: We present an algorithm for haptic display of moderately complex polygonal models with a six degree of freedom (DOF) force feedback device. We make use of incremental algorithms ...
151
click to vote
VISUALIZATION
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper discusses the problem of subdividing unstructured mesh topologies containing hexahedra, prisms, pyramids and tetrahedra into a consistent set of only tetrahedra, while ...
155
click to vote
IPPS
1994
IEEE
15 years 10 months ago
1994
IEEE
Many algorithms to schedule DAGs on multiprocessors have been proposed, but there has been little work done to determine their effectiveness. Since multi-processor scheduling is a...