2302 search results - page 75 / 461 » The Evolution of Concurrent Programs |
144
click to vote
GECCO
1999
Springer
15 years 10 months ago
1999
Springer
This paper demonstrates the ability of genetic programming to evolve analog circuits that perform digital functions and mixed analog-digital circuits. The evolved circuits include...
173
click to vote
ESOP
2007
Springer
16 years 5 days ago
2007
Springer
We study the relationship between Concurrent Separation Logic (CSL) and the assume-guarantee (A-G) method (a.k.a. rely-guarantee method). We show in three steps that CSL can be tre...
141
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
For problems where the evaluation of an individual is the dominant factor in the total computation time of the evolutionary process, minimizing the number of evaluations becomes cr...
171
click to vote
SAS
2007
Springer
16 years 3 days ago
2007
Springer
Abstract. Silicon chip design has passed a threshold whereby exponentially increasing transistor density (Moore’s Law) no longer translates into increased processing power for si...
201
click to vote
SOFTVIS
2010
ACM
15 years 6 months ago
2010
ACM
Multi-core processors have become increasingly prevalent, driving a software shift toward concurrent programs which best utilize these processors. Testing and debugging concurrent...