Sciweavers

12084 search results - page 274 / 2417
» Effect Systems with Subtyping
Sort
View
CVPR
2012
IEEE
13 years 9 months ago
Robust plane-based structure from motion
We introduce a new approach to structure and motion recovery directly from one or more large planes in the scene. When such a plane exists, we demonstrate how to automatically det...
Zihan Zhou, Hailin Jin, Yi Ma
HPCA
2005
IEEE
16 years 7 months ago
A Performance Comparison of DRAM Memory System Optimizations for SMT Processors
Memory system optimizations have been well studied on single-threaded systems; however, the wide use of simultaneous multithreading (SMT) techniques raises questions over their ef...
Zhichun Zhu, Zhao Zhang
AMMA
2009
Springer
16 years 1 months ago
Manipulating Scrip Systems: Sybils and Collusion
Abstract. Game-theoretic analyses of distributed and peer-to-peer systems typically use the Nash equilibrium solution concept, but this explicitly excludes the possibility of strat...
Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern
SASO
2008
IEEE
16 years 1 months ago
Bioinspired Environmental Coordination in Spatial Computing Systems
—Spatial computing systems are characterized by the extended physical environment in which they exist and function. Often this environment can be manipulated in various ways by t...
Justin Werfel, Yaneer Bar-Yam, Donald E. Ingber
DSN
2007
IEEE
16 years 1 months ago
What Supercomputers Say: A Study of Five System Logs
If we hope to automatically detect and diagnose failures in large-scale computer systems, we must study real deployed systems and the data they generate. Progress has been hampere...
Adam J. Oliner, Jon Stearley