5387 search results - page 616 / 1078 » Generating generic functions |
187
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
The Boolean satisfiability problem (SAT) has various applications in electronic design automation (EDA) fields such as testing, timing analysis and logic verification. SAT has bee...
171
click to vote
VTS
2000
IEEE
15 years 11 months ago
2000
IEEE
1 This paper addresses the problem of testing path delay faults in a microprocessor using instructions. It is observed that a structurally testable path (i.e., a path testable thro...
211
click to vote
ACSAC
1999
IEEE
15 years 11 months ago
1999
IEEE
Uncorrupted log files are the critical system component for computer forensics in case of intrusion and for real time system monitoring and auditing. Protection from tampering wit...
177
click to vote
VISUALIZATION
1998
IEEE
15 years 11 months ago
1998
IEEE
We attack the problem of image-based rendering with occlusions and general camera motions by using distorted multiperspective images; such images provide multiple-viewpoint photom...
180
click to vote
SIGGRAPH
1996
ACM
15 years 11 months ago
1996
ACM
Accurate control of streamline density is key to producing several effective forms of visualization of 2-dimensional vector fields. We introduce a technique that uses an energy fu...