4155 search results - page 686 / 831 » External Memory Algorithms |
89
Voted
ICS
2003
Tsinghua U.
15 years 5 months ago
2003
Tsinghua U.
Cache behavior modeling is an important part of modern optimizing compilers. In this paper we present a method to estimate the number of cache misses, at compile time, using a mac...
139
click to vote
CIKM
2004
Springer
15 years 4 months ago
2004
Springer
With the growing importance of semi-structure data in information exchange, much research has been done to provide an effective mechanism to match a twig query in an XML database....
GECCO
2008
Springer
15 years 1 months ago
2008
Springer
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...
116
Voted
CORR
2010
Springer
15 years 23 days ago
2010
Springer
tigate the role of nondeterminism in Winfree's abstract Tile Assembly Model (aTAM), which was conceived to model artificial molecular self-assembling systems constructed from...
115
Voted
TSP
2008
15 years 16 days ago
2008
Graphical models provide a powerful formalism for statistical signal processing. Due to their sophisticated modeling capabilities, they have found applications in a variety of fie...