19174 search results - page 445 / 3835 » Computer Animation Techniques |
185
Voted
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...
171
click to vote
VLSID
2001
IEEE
16 years 7 months ago
2001
IEEE
This paper presents novel techniques for the cycle-accurate power macro-modeling of complex RTL components. The proposed techniques are based on the observation that RTL component...
160
click to vote
ISVLSI
2006
IEEE
16 years 26 days ago
2006
IEEE
Many network security applications require large virus signature sets to be maintained, retrieved, and compared against the network streams. Software applications frequently fail ...
154
click to vote
3DIM
2003
IEEE
16 years 5 days ago
2003
IEEE
This paper addresses a registration refinement problem and presents an accurate and fast Point-to-(Tangent) Plane technique. Point-to-Plane approach is known to be very accurate ...
168
click to vote
PG
2003
IEEE
16 years 4 days ago
2003
IEEE
Interactive data visualization is inherently an iterative trial-and-error process searching for an ideal set of parameters for classifying and rendering features of interest in th...