882 search results - page 85 / 177 » On self-embeddings of computable linear orderings |
113
Voted
SIGGRAPH
2000
ACM
15 years 4 months ago
2000
ACM
We present an algorithm for out-of-core simplification of large polygonal datasets that are too complex to fit in main memory. The algorithm extends the vertex clustering scheme o...
97
Voted
SC
1995
ACM
15 years 4 months ago
1995
ACM
: Data distribution is one of the key aspects that a parallelizing compiler for a distributed memory architecture should consider, in order to get efficiency from the system. The ...
87
Voted
CONCUR
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. This paper presents SOAR: the first oblivious atomicity assertion with polynomial complexity. SOAR enables to check atomicity of a single-writer multi-reader register imp...
94
Voted
CORR
2010
Springer
15 years 22 days ago
2010
Springer
This paper presents three feedback controllers that achieve an asymptotically stable, periodic, and fast walking gait for a 3D bipedal robot consisting of a torso, revolute knees, ...
104
Voted
TOG
2002
15 years 8 days ago
2002
Finite element solvers are a basic component of simulation applications; they are common in computer graphics, engineering, and medical simulations. Although adaptive solvers can ...