Sciweavers

4022 search results - page 329 / 805
» Adaptive Sweeping Techniques
Sort
View
SIGCOMM
1999
ACM
15 years 11 months ago
Using Pathchar to Estimate Internet Link Characteristics
We evaluate pathchar, a tool that infers the characteristics of links along an Internet path latency, bandwidth, queue delays. Looking at two example paths, we identify circumst...
Allen B. Downey
CSCW
1996
ACM
15 years 11 months ago
Consistency Guarantees: Exploiting Application Semantics for Consistency Management in a Collaboration Toolkit
CSCW toolkits are designed to ease development of CSCW applications. They provide common, reusable components for cooperative system design, allowing application programmers to co...
Paul Dourish
GECCO
2006
Springer
184views Optimization» more  GECCO 2006»
15 years 11 months ago
Genetic algorithms and mixed integer linear programs for optimal strategies in a student's "sports" activity
This paper uses an entertaining student "sports" game to illustrate that GAs can be adapted to problems with uncertain properties and complexity. These problems can be s...
Thomas Butter, Franz Rothlauf, Jörn Grahl, To...
IRREGULAR
1995
Springer
15 years 11 months ago
Parallel Search for Combinatorial Optimization: Genetic Algorithms, Simulated Annealing, Tabu Search and GRASP
In this paper, we review parallel search techniques for approximating the global optimal solution of combinatorial optimization problems. Recent developments on parallel implementa...
Panos M. Pardalos, Leonidas S. Pitsoulis, Thelma D...
215
Voted
CAV
2008
Springer
115views Hardware» more  CAV 2008»
15 years 9 months ago
An Algebraic Approach for Proving Data Correctness in Arithmetic Data Paths
This paper proposes a new approach for proving arithmetic correctness of data paths in System-on-Chip modules. It complements existing techniques which are, for reasons of complexi...
Oliver Wienand, Markus Wedler, Dominik Stoffel, Wo...