5855 search results - page 958 / 1171 » Test generation and minimization with |
129
click to vote
PADS
2000
ACM
15 years 6 months ago
2000
ACM
The simulation of wide area computer networks is one area where the benefits of parallel simulation have been clearly demonstrated. Here we present a description of a system that...
132
click to vote
WEBDB
1999
Springer
15 years 6 months ago
1999
Springer
ABSTRACT A WebView is a web page that is automatically created from base data, which are usually drawn from a DBMS. A WebView can be either materialized as an html page at the web...
103
click to vote
ICCAD
1996
IEEE
15 years 6 months ago
1996
IEEE
This paper introduces GRASP (Generic seaRch Algorithm for the Satisfiability Problem), an integrated algorithmic framework for SAT that unifies several previously proposed searchp...
114
click to vote
VVS
1996
IEEE
15 years 6 months ago
1996
IEEE
A method is proposed which supports the extraction of isosurfaces from irregular volume data, represented by tetrahedral decomposition, in optimal time. The method is based on a d...
109
Voted
ISLPED
1996
ACM
15 years 6 months ago
1996
ACM
This paper describes a family of high-speed Finite Impulse Response (FIR) digital filters that have been scaled across three generations of CMOS processes. The processes include c...