Sciweavers

211 search results - page 24 / 43
» Tracing an Optical Buffer's Performance: An Effective Approa...
Sort
View
CVPR
2010
IEEE
1814views Computer Vision» more  CVPR 2010»
15 years 9 months ago
Depth from Diffusion
An optical diffuser is an element that scatters light and is commonly used to soften or shape illumination. In this paper, we propose a novel depth estimation method that places a ...
Changyin Zhou, Oliver Cossairt, Shree Nayar
COMCOM
2002
124views more  COMCOM 2002»
14 years 11 months ago
Thin-client Web access patterns: Measurements from a cache-busting proxy
This paper describes a new technique for measuring Web client request patterns and analyzes a large client trace collected using the new method. In this approach a modified proxy ...
Terence Kelly
ASPLOS
2010
ACM
15 years 6 months ago
CoreDet: a compiler and runtime system for deterministic multithreaded execution
The behavior of a multithreaded program does not depend only on its inputs. Scheduling, memory reordering, timing, and low-level hardware effects all introduce nondeterminism in t...
Tom Bergan, Owen Anderson, Joseph Devietti, Luis C...
SIGSOFT
2007
ACM
16 years 14 days ago
State space exploration using feedback constraint generation and Monte-Carlo sampling
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
Sriram Sankaranarayanan, Richard M. Chang, Guofei ...
117
Voted
DAC
2005
ACM
16 years 21 days ago
StressTest: an automatic approach to test generation via activity monitors
The challenge of verifying a modern microprocessor design is an overwhelming one: Increasingly complex micro-architectures combined with heavy time-to-market pressure have forced ...
Ilya Wagner, Valeria Bertacco, Todd M. Austin