3575 search results - page 268 / 715 » Modeling Concurrency with Geometry |
217
click to vote
SIBGRAPI
2003
IEEE
15 years 11 months ago
2003
IEEE
Creating models of real scenes is a complex task for which the use of traditional modelling techniques is inappropriate. For this task, laser rangefinders are frequently used to s...
169
click to vote
SIGGRAPH
2010
ACM
15 years 11 months ago
2010
ACM
We show how to greatly accelerate self-collision detection (SCD) for reduced deformable models. Given a triangle mesh and a set of deformation modes, our method precomputes Subspa...
212
click to vote
DAGSTUHL
2010
15 years 8 months ago
2010
We apply Knoll et al.'s algorithm [9] to interactively ray-cast constructive solid geometry (CSG) objects of arbitrary primitives represented as implicit functions. Whereas m...
183
click to vote
OSDI
2002
ACM
16 years 6 months ago
2002
ACM
Device firmware is a piece of concurrent software that achieves high performance at the cost of software complexity. They contain subtle race conditions that make them difficult t...
183
click to vote
SOFSEM
2007
Springer
16 years 19 days ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...