Sciweavers

12257 search results - page 104 / 2452

» Analysis of Algorithms

22

TACAS
2004
Springer

114views Algorithms» more TACAS 2004»

Symbolically Computing Most-Precise Abstract Operations for Shape Analysis

14 years 2 months ago

Symbolically Computing Most-Precise Abstract Operations for Shape Analysis

Download www.cs.wisc.edu

Greta Yorsh, Thomas W. Reps, Shmuel Sagiv

claim paper

Read More »

23

WADS
2001
Springer

97views Algorithms» more WADS 2001»

The Analysis of a Probabilistic Approach to Nearest Neighbor Searching

14 years 1 months ago

The Analysis of a Probabilistic Approach to Nearest Neighbor Searching

Download www.cs.umd.edu

Songrit Maneewongvatana, David M. Mount

claim paper

Read More »

28

ANTS
1998
Springer

82views Algorithms» more ANTS 1998»

Timing Analysis of Targeted Hunter Searches

14 years 1 months ago

Timing Analysis of Targeted Hunter Searches

Download hobbes.la.asu.edu

John W. Jones, David P. Roberts

claim paper

Read More »

20

ISAAC
2000
Springer

113views Algorithms» more ISAAC 2000»

A New Competitive Analysis of Randomized Caching

14 years 27 days ago

A New Competitive Analysis of Randomized Caching

Download www.cs.cmu.edu

Ching Law, Charles E. Leiserson

claim paper

Read More »

25

TACAS
2000
Springer

87views Algorithms» more TACAS 2000»

Symbolic Reachability Analysis Based on SAT-Solvers

14 years 27 days ago

Symbolic Reachability Analysis Based on SAT-Solvers

Download www.een.se

Parosh Aziz Abdulla, Per Bjesse, Niklas Eén

claim paper

Read More »

« Prev « First page 104 / 2452 Last » Next »