4609 search results - page 760 / 922 » Automatic Generation of Sigma-Protocols |
142
click to vote
ISSRE
2003
IEEE
15 years 11 months ago
2003
IEEE
Symmetries often appear as properties of many artifical settings. In Program Testing, they can be viewed as properties of programs and can be given by the tester to check the cor...
151
click to vote
ISSRE
2003
IEEE
15 years 11 months ago
2003
IEEE
Partition testing is a well-known software testing technique. This paper shows that partition testing strategies are relatively ineffective in detecting faults related to small sh...
142
click to vote
ITC
2003
IEEE
15 years 11 months ago
2003
IEEE
Failure analysis (FA) and diagnosis of memory cores plays a key role in system-on-chip (SOC) product development and yield ramp-up. Conventional FA based on bitmaps and the experi...
150
click to vote
MSE
2003
IEEE
15 years 11 months ago
2003
IEEE
A tool has been created for use in a design course to automate integration of new components into a SystemOn-Chip (SoC). Students used this tool to implement a complete SoC Intern...
139
click to vote
PG
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we present a method to relight human faces in real time, using consumer-grade graphics cards even with limited 3D capabilities. We show how to render faces using a c...