4164 search results - page 505 / 833 » Timing model reduction for hierarchical timing analysis |
170
click to vote
PLDI
2010
ACM
15 years 12 months ago
2010
ACM
Dynamic correctness checking tools (a.k.a. lifeguards) can detect a wide array of correctness issues, such as memory, security, and concurrency misbehavior, in unmodified executa...
211
click to vote
PRL
2010
15 years 1 months ago
2010
As an important technique for data analysis, clustering has been employed in many applications such as image segmentation, document clustering and vector quantization. Divisive cl...
185
click to vote
ICIP
2002
IEEE
2002
IEEE
Real-time reconstruction of wavelet encoded meshes for view-dependent transmission and visualization
16 years 8 months ago
Wavelet methods for geometry encoding is a recently emerged superset of multiresolution analysis which has proven to be very efficient in term of compression and adaptive transmis...
234
click to vote
PC
2006
15 years 6 months ago
2006
Cellular automata (CA) are discrete dynamic systems that have been used for modeling many physical systems. CA are often used as an alternative to model and solve large-scale syst...
201
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
Software developers spend a significant portion of their resources handling user-submitted bug reports. For software that is widely deployed, the number of bug reports typically ...