12774 search results - page 2386 / 2555 » A Framework for Proof Systems |
175
click to vote
ICSEA
2007
IEEE
16 years 26 days ago
2007
IEEE
Automatic test data generation helps testers to validate software against user requirements more easily. Test data can be generated from many sources; for example, experience of t...
182
click to vote
ISCA
2007
IEEE
16 years 26 days ago
2007
IEEE
Virtual Private Machines (VPM) provide a framework for Quality of Service (QoS) in CMP-based computer systems. VPMs incorporate microarchitecture mechanisms that allow shares of h...
162
click to vote
MICRO
2007
IEEE
16 years 26 days ago
2007
IEEE
As silicon process technology scales deeper into the nanometer regime, hardware defects are becoming more common. Such defects are bound to hinder the correct operation of future ...
184
click to vote
SMC
2007
IEEE
16 years 25 days ago
2007
IEEE
—This paper considers the problem of temporally fusing classifier outputs to improve the overall diagnostic classification accuracy in safety-critical systems. Here, we discuss d...
186
click to vote
ACIVS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. In this project we present a framework for a multi-touch surface using multiple cameras. With an overhead camera and side-mounted camera we determine the three dimensiona...