12272 search results - page 41 / 2455 » Experimental program analysis |
ICS
1999
Tsinghua U.
14 years 3 months ago
1999
Tsinghua U.
On modern computers, the performance of programs is often limited by memory latency rather than by processor cycle time. To reduce the impact of memory latency, the restructuring ...
ATAL
2004
Springer
14 years 4 months ago
2004
Springer
We highlight the limitations of formal methods by exhibiting two results in recursive function theory: that there is no effective means of finding a program that satisfies a given...
POPL
2007
ACM
14 years 11 months ago
2007
ACM
Race detection algorithms for multi-threaded programs using the common lock-based synchronization idiom must correlate locks with the memory locations they guard. The heart of a p...
CAIP
2001
Springer
14 years 3 months ago
2001
Springer
A new autocalibration algorithm has been recently presented by Mendon¸ca and Cipolla which is both simple and nearly globally convergent. Analysis of convergence is missing in the...
GECCO
2006
Springer
14 years 2 months ago
2006
Springer
When Genetic Programming is used to evolve arithmetic functions it often operates by composing them from a fixed collection of elementary operators and applying them to parameters...