Sciweavers

1783 search results - page 303 / 357
» Provenance and Data Synchronization
Sort
View
129
Voted
DAC
1994
ACM
15 years 7 months ago
Automatic Verification of Pipelined Microprocessors
Abstract - We address the problem of automatically verifying large digital designs at the logic level, against high-level specifications. In this paper, we present a methodology wh...
Vishal Bhagwati, Srinivas Devadas
SIGMETRICS
1993
ACM
118views Hardware» more  SIGMETRICS 1993»
15 years 7 months ago
An Analytic Performance Model of Disk Arrays
As disk arrays become widely used, tools for understanding and analyzing their performance become increasingly important. In particular, performance models can be invaluable in bo...
Edward K. Lee, Randy H. Katz
201
Voted
UIST
1992
ACM
15 years 7 months ago
Tools for Building Asynchronous Servers to Support Speech and Audio Applications
Distributed clientisewer models are becoming increasingly prevalent in multimedia systems and advanced user interface design. A multimedia application, for example, may play and r...
Barry Arons
147
Voted
3DPVT
2004
IEEE
141views Visualization» more  3DPVT 2004»
15 years 7 months ago
Exploitation of 3D Images for Face Authentication Under Pose and Illumination Variations
An appearance-based face authentication system integrating 2D color or intensity images and 3D data is presented in this paper. The proposed system is based on a low-cost 3D and c...
Filareti Tsalakanidou, Sotiris Malassiotis, Michae...
123
Voted
CCGRID
2004
IEEE
15 years 7 months ago
A decentralized scheduler for distributed video streaming in a server-less video streaming system
Recently, a server-less video-on-demand architecture has been proposed to eliminate costly dedicated video servers and yet is highly scalable and reliable. However, because of the...
C. Y. Chan, Jack Y. B. Lee