4536 search results - page 552 / 908 » Contention-Sensitive Data Structures and Algorithms |
180
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Many algorithms on data structures such as terms (finitely branching trees) are naturally implemented by second-order recursion: A first-order procedure f passes itself as an arg...
182
click to vote
VR
2007
IEEE
16 years 1 months ago
2007
IEEE
The simulation of fracture leads to collision-intensive situations that call for efficient collision detection algorithms and data structures. Bounding volume hierarchies (BVHs) ...
170
click to vote
SAS
2007
Springer
16 years 27 days ago
2007
Springer
Existing shape analysis algorithms infer descriptions of data structures at program points, starting from a given precondition. We describe an analysis that does not require any pr...
179
click to vote
ICCSA
2005
Springer
16 years 9 days ago
2005
Springer
Symmetries are not only fascinating, but they can also be exploited when designing numerical algorithms and data structures for scientific engineering problems in symmetrical doma...
184
click to vote
APN
2004
Springer
16 years 5 days ago
2004
Springer
Generating the reachability set is one of the most commonly required step when analyzing the logical or stochastic behavior of a system modeled with Petri nets. Traditional “expl...