Sciweavers

5005 search results - page 126 / 1001
» The Design and Analysis of Parallel Algorithms
Sort
View
101
Voted
PERCOM
2009
ACM
15 years 10 months ago
Using Situation Lattices in Sensor Analysis
Highly sensorised systems present two parallel challenges: how to design a sensor suite that can efficiently and cost-effectively support the needs of given services; and to extr...
Juan Ye, Lorcan Coyle, Simon Dobson, Paddy Nixon
GI
2001
Springer
15 years 8 months ago
Formal Analysis of a Self-Stabilizing Algorithm Using Predicate Diagrams
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
Dominique Cansell, Dominique Méry, Stephan ...
130
Voted
DAC
2010
ACM
15 years 7 months ago
A parallel integer programming approach to global routing
We propose a parallel global routing algorithm that concurrently processes routing subproblems corresponding to rectangular subregions covering the chip area. The algorithm uses a...
Tai-Hsuan Wu, Azadeh Davoodi, Jeffrey T. Linderoth
GECCO
2010
Springer
140views Optimization» more  GECCO 2010»
15 years 3 months ago
Shared memory genetic algorithms in a multi-agent context
In this paper we present a concurrent implementation of genetic algorithms designed for shared memory architectures intended to take advantage of multi-core processor platforms. O...
Dana Vrajitoru
101
Voted
IPPS
2007
IEEE
15 years 9 months ago
STAMP: A Universal Algorithmic Model for Next-Generation Multithreaded Machines and Systems
We propose a generic algorithmic model called STAMP (Synchronous, Transactional, and Asynchronous MultiProcessing) as a universal performance and power complexity model for multit...
Michel Dubois, Hyunyoung Lee, Lan Lin