Sciweavers

3223 search results - page 364 / 645
» The Scaling of Search Cost
Sort
View
FMCO
2005
Springer
143views Formal Methods» more  FMCO 2005»
16 years 7 days ago
Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs
Abstract. We describe the algorithmic and implementation ideas behind a tool, Orion, for finding common programming errors in C and C++ programs using static code analysis. We aim...
Dennis Dams, Kedar S. Namjoshi
189
Voted
GECCO
2004
Springer
122views Optimization» more  GECCO 2004»
16 years 2 days ago
An Improved Diversity Mechanism for Solving Constrained Optimization Problems Using a Multimembered Evolution Strategy
This paper presents an improved version of a simple evolution strategy (SES) to solve global nonlinear optimization problems. As its previous version, the approach does not require...
Efrén Mezura-Montes, Carlos A. Coello Coell...
FTDCS
2003
IEEE
16 years 14 min ago
On-Demand Media Streaming Over the Internet
We propose a new model for on-demand media streaming centered around the peer-to-peer (P2P) paradigm. The proposed P2P model can support a large number of clients with a low overa...
Mohamed Hefeeda, Bharat K. Bhargava
ICRA
2003
IEEE
125views Robotics» more  ICRA 2003»
15 years 12 months ago
Online footstep planning for humanoid robots
We present an online algorithm for planning sequences of footstep locations that encode goal-directed navigation strategies for humanoid robots. Planning footsteps is more general...
James J. Kuffner Jr., Satoshi Kagami, Koichi Nishi...
SPAA
2003
ACM
15 years 12 months ago
Asynchronous parallel disk sorting
We develop an algorithm for parallel disk sorting, whose I/O cost approaches the lower bound and that guarantees almost perfect overlap between I/O and computation. Previous algor...
Roman Dementiev, Peter Sanders