2899 search results - page 16 / 580 » Dynamic Trees in Practice |
FM
2009
Springer
14 years 3 months ago
2009
Springer
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
DAC
2004
ACM
14 years 9 months ago
2004
ACM
DATESO
2009
13 years 6 months ago
2009
Top trees are a dynamic self-adjusting data structure that can be used by any tree algorithm. Actually, an arbitrary number of different tree algorithms can use a single structure....
PODS
2002
ACM
14 years 8 months ago
2002
ACM
CONSTRAINTS
2008
13 years 8 months ago
2008
The tree constraint partitions a directed graph into node-disjoint trees. In many practical applications that involve such a partition, there exist side constraints specifying requ...