Sciweavers

8928 search results - page 1462 / 1786
» Modeling Current Events
Sort
View
ICCAD
2002
IEEE
157views Hardware» more  ICCAD 2002»
16 years 1 months ago
Combined dynamic voltage scaling and adaptive body biasing for lower power microprocessors under dynamic workloads
Dynamic voltage scaling (DVS) reduces the power consumption of processors when peak performance is unnecessary. However, the achievable power savings by DVS alone is becoming limi...
Steven M. Martin, Krisztián Flautner, Trevo...
ICCAD
2001
IEEE
107views Hardware» more  ICCAD 2001»
16 years 1 months ago
Fast 3-D Inductance Extraction in Lossy Multi-Layer Substrate
A mixed potential integral equation (MPIE) technique combined with fast multi-layer Green’s functions and Gaussian Jacobi high order techniques is used to compute the 3-D freque...
Minqing Liu, Tiejun Yu, Wayne Wei-Ming Dai
SOSP
2009
ACM
16 years 1 months ago
Distributed aggregation for data-parallel computing: interfaces and implementations
Data-intensive applications are increasingly designed to execute on large computing clusters. Grouped aggregation is a core primitive of many distributed programming models, and i...
Yuan Yu, Pradeep Kumar Gunda, Michael Isard
122
Voted
SOFSEM
2010
Springer
16 years 1 months ago
Practically Applicable Formal Methods
Abstract. Formal methods are considered to be highly expensive. Therefore, they are currently applied almost only in high risk software development. In this paper, we show that for...
Jedrzej Fulara, Krzysztof Jakubczyk
CVPR
2010
IEEE
16 years 1 months ago
Direct Image Alignment of Projector-Camera Systems with Planar Surfaces
Projector-camera systems use computer vision to analyze their surroundings and display feedback directly onto real world objects, as embodied by spatial augmented reality. To be e...
Samuel Audet, Masatoshi Okutomi, Masayuki Tanaka
« Prev « First page 1462 / 1786 Last » Next »