1452 search results - page 100 / 291 » Algorithmic Analysis of Array-Accessing Programs |
100
click to vote
GECCO
2005
Springer
15 years 5 months ago
2005
Springer
An experimental form of Modulation (Reinterpretation) of the Search Space is presented. This modulation is developed as a mathematical method that can be implemented directly into...
120
click to vote
ICSE
2007
IEEE-ACM
16 years 15 days ago
2007
IEEE-ACM
The study of methodologies and techniques to produce correct software has been active for four decades. During this period, researchers have developed and investigated a wide vari...
211
Voted
POPL
2004
ACM
16 years 22 days ago
2004
ACM
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...
SODA
2010
ACM
15 years 9 months ago
2010
ACM
We design and analyze an on-line reordering buffer management algorithm with improved O log k log log k competitive ratio for non-uniform costs, where k is the buffer size. This i...
104
Voted
ICPPW
2002
IEEE
15 years 5 months ago
2002
IEEE
The effectiveness of the memory hierarchy is critical for the performance of current processors. The performance of the memory hierarchy can be improved by means of program transf...