16190 search results - page 166 / 3238 » Applicative programming with effects |
101
click to vote
GG
2008
Springer
15 years 3 months ago
2008
Springer
High-level conditions are well-suited for expressing structural properties. They can describe the precondition and the postcondition for a high-level program, but they cannot descr...
145
Voted
ASPLOS
2004
ACM
15 years 8 months ago
2004
ACM
This paper introduces a compiler-orchestrated prefetching system as a unified framework geared toward ameliorating the gap between processing speeds and memory access latencies. ...
102
Voted
AADEBUG
1993
Springer
15 years 6 months ago
1993
Springer
Program slicing is a program transformation that is useful in program debugging, program maintenance, and other applications that involve understanding program behavior. Given a p...
119
click to vote
ESTIMEDIA
2004
Springer
15 years 8 months ago
2004
Springer
Abstract—Few analytical performance models that relate performance figure of merit to architectural design decisions are reported in recent studies of network-on-chip, which pre...
114
Voted
CONCURRENCY
2002
15 years 2 months ago
2002
Abstract. We introduce a new technique for automated performance diagnosis, using the program's callgraph. We discuss our implementation of this diagnosis technique in the Par...