Sciweavers

4752 search results - page 332 / 951
» From computation models to models of provenance: the RWS app...
Sort
View
EMSOFT
2009
Springer
16 years 1 months ago
Probabilistic modeling of data cache behavior
In this paper, we propose a formal analysis approach to estimate the expected (average) data cache access time of an application across all possible program inputs. Towards this g...
Vinayak Puranik, Tulika Mitra, Y. N. Srikant
CGI
2009
IEEE
15 years 10 months ago
Automatic registration of color images to 3D geometry
We present an approach to automatically register a large set of color images to a 3D geometric model. The problem arises from the modeling of real-world environments, where surfac...
Yunzhen Li, Kok-Lim Low
NSDI
2007
15 years 9 months ago
The Flexlab Approach to Realistic Evaluation of Networked Systems
Networked systems are often evaluated on overlay testbeds such as PlanetLab and emulation testbeds such as Emulab. Emulation testbeds give users great control over the host and ne...
Robert Ricci, Jonathon Duerig, Pramod Sanaga, Dani...
DSN
2004
IEEE
15 years 10 months ago
Fault Tolerance Tradeoffs in Moving from Decentralized to Centralized Embedded Systems
Some safety-critical distributed embedded systems may need to use centralized components to achieve certain dependability properties. The difficulty in combining centralized and d...
Jennifer Morris, Daniel Kroening, Philip Koopman
VMV
2003
182views Visualization» more  VMV 2003»
15 years 8 months ago
From Images to Video: View Morphing of Three Images
This paper presents a novel image-based approach to generate a video of a scene based on only three wide-baseline uncalibrated images without the use of a 3D model. After automati...
Jiangjian Xiao, Mubarak Shah