Sciweavers

22018 search results - page 336 / 4404
» or 2004
Sort
View
158
Voted
CAV
2004
Springer
122views Hardware» more  CAV 2004»
15 years 11 months ago
Abstraction-Based Satisfiability Solving of Presburger Arithmetic
Daniel Kroening, Joël Ouaknine, Sanjit A. Ses...
CBMS
2004
IEEE
15 years 11 months ago
RetsoftPlus: A Tool for Retinal Image Analysis
Marc Lalonde, France Laliberté, Langis Gagn...
154
Voted
CCGRID
2004
IEEE
15 years 11 months ago
Sizing the streaming media cluster solution for a given workload
Ludmila Cherkasova, Wenting Tang