Sciweavers

11573 search results - page 1961 / 2315
» Designing Relational Databases
Sort
View
ISPASS
2006
IEEE
15 years 11 months ago
Workload sanitation for performance evaluation
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...
Dror G. Feitelson, Dan Tsafrir
SEFM
2006
IEEE
15 years 11 months ago
A Theory of Singly-Linked Lists and its Extensible Decision Procedure
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...
Silvio Ranise, Calogero G. Zarba
ACMMSP
2006
ACM
232views Hardware» more  ACMMSP 2006»
15 years 11 months ago
Implicit and explicit optimizations for stencil computations
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...
Shoaib Kamil, Kaushik Datta, Samuel Williams, Leon...
CASES
2006
ACM
15 years 11 months ago
FlashCache: a NAND flash memory file cache for low power web servers
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...
Taeho Kgil, Trevor N. Mudge
117
Voted
CSCW
2006
ACM
15 years 11 months ago
The uses of paper in commercial airline flight operations
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...
Saeko Nomura, Edwin Hutchins, Barbara E. Holder
« Prev « First page 1961 / 2315 Last » Next »