1452 search results - page 11 / 291 » Algorithmic Analysis of Array-Accessing Programs |
LCTRTS
2007
Springer
14 years 1 months ago
2007
Springer
Set-associative caches are traditionally managed using hardwarebased lookup and replacement schemes that have high energy overheads. Ideally, the caching strategy should be tailor...
ARTS
1999
Springer
13 years 11 months ago
1999
Springer
In this paper we show how quantitative program logic [14] provides a formal framework in which to promote standard techniques of program analysis to a context where probability and...
Book
"This book is about data structures and algorithms, intermediate programming in Python, complexity science and the philosophy of science"
LCPC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. A fundamental problem in the analysis of parallel programs is to determine when two statements in a program may run concurrently. This analysis is the parallel analog to ...
AOR
2010
13 years 4 months ago
2010
We show how a technique from signal processing known as zero-delay convolution can be used to develop more efficient dynamic programming algorithms for a broad class of stochastic...