7597 search results - page 1161 / 1520 » On the design of metric relations |
170
click to vote
ISPASS
2006
IEEE
16 years 27 days ago
2006
IEEE
The performance of computer systems depends, among other things, on the workload. Performance evaluations are therefore often done using logs of workloads on current productions s...
178
Voted
SEFM
2006
IEEE
16 years 26 days ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
224
click to vote
ACMMSP
2006
ACM
16 years 25 days ago
2006
ACM
Stencil-based kernels constitute the core of many scientific applications on block-structured grids. Unfortunately, these codes achieve a low fraction of peak performance, due pr...
200
Voted
CASES
2006
ACM
16 years 25 days ago
2006
ACM
We propose an architecture that uses NAND flash memory to reduce main memory power in web server platforms. Our architecture uses a two level file buffer cache composed of a re...
147
Voted
CSCW
2006
ACM
16 years 25 days ago
2006
ACM
Designers of commercial aviation flight decks have recently begun to consider ways to reduce or eliminate the use of paper documents in flight operations. Using ethnographic metho...