Sciweavers

18572 search results - page 521 / 3715
» High performance C
Sort
View
OSDI
2008
ACM
16 years 7 months ago
A Comparison of High-Level Full-System Power Models
Dynamic power management in enterprise environments requires an understanding of the relationship between resource utilization and system-level power consumption. Power models bas...
Suzanne Rivoire, Parthasarathy Ranganathan, Christ...
ICSE
2008
IEEE-ACM
16 years 7 months ago
Exploiting connector knowledge to efficiently disseminate highly voluminous data sets
Ever-growing amounts of data that must be distributed from data providers to consumers across the world necessitate a greater understanding of the software architectural implicati...
Chris Mattmann, David Woollard, Nenad Medvidovic
ICCD
2004
IEEE
137views Hardware» more  ICCD 2004»
16 years 3 months ago
Comparative Study of Strategies for Formal Verification of High-Level Processors
Compared are different methods for evaluation of formulas expressing microprocessor correctness in the logic of Equality with Uninterpreted Functions and Memories (EUFM) by transl...
Miroslav N. Velev
CVPR
2010
IEEE
16 years 3 months ago
High-Resolution Modeling of Moving and Deforming Objects Using Sparse Geometric and Dense Photometric Measurements
Modeling moving and deforming objects requires capturing as much information as possible during a very short time. When using off-the-shelf hardware, this often hinders the resolu...
Yi Xu, Daniel Aliaga
CVPR
2010
IEEE
16 years 3 months ago
A Framework for Ultra High Resolution 3D Imaging
We present an imaging framework to acquire 3D surface scans at ultra high-resolutions (exceeding 600 samples per mm2 ). Our approach couples a standard structured-light setup and ...
Zheng Lu, Yu-Wing Tai, Moshe Ben-Ezra, Michael Bro...