5005 search results - page 377 / 1001 » The Design and Analysis of Parallel Algorithms |
142
click to vote
PPSN
2000
Springer
15 years 9 months ago
2000
Springer
A family of recombination operators is studied in this work. These operators are based on keeping and using certain information about the past evolution of the algorithm to guide t...
190
click to vote
FMCO
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
140
click to vote
EGH
2009
Springer
15 years 4 months ago
2009
Springer
Current GPUs rasterize micropolygons (polygons approximately one pixel in size) inefficiently. We design and analyze the costs of three alternative data-parallel algorithms for ra...
145
click to vote
ICCAD
2008
IEEE
16 years 3 months ago
2008
IEEE
Proteins crystallization is a commonly used technique for protein analysis and subsequent drug design. It predicts the three-dimensional arrangement of the constituent amino acids...
150
click to vote
ISQED
2009
IEEE
16 years 1 months ago
2009
IEEE
Modern CMOS manufacturing processes have significant variability, which necessitates guard banding to achieve reasonable yield. It is our thesis that variability should be addres...