5707 search results - page 383 / 1142 » Symbolic Simulation - Techniques and Applications |
180
click to vote
GLVLSI
2003
IEEE
16 years 27 days ago
2003
IEEE
The MINCE heuristic for variable-ordering [1] successfully reduces the size of BDDs and can accelerate SAT-solving. Applications to reachability analysis have also been successful...
209
click to vote
3DPVT
2002
IEEE
16 years 17 days ago
2002
IEEE
In many applications surfaces with a large number of primitives occur. Geometry compression reduces storage space and transmission time for such models. A special case is given by...
229
click to vote
WISE
2002
Springer
16 years 15 days ago
2002
Springer
There is an increasing need for various web-service, e-commerce and e-business sites to provide personalized recommendations to on-line customers. This paper proposes a new type o...
203
click to vote
CIKM
2009
Springer
16 years 7 days ago
2009
Springer
During the last few years, GPUs have evolved from simple devices for the display signal preparation into powerful coprocessors that do not only support typical computer graphics t...
205
click to vote
ICSM
2000
IEEE
16 years 31 min ago
2000
IEEE
Conditioned slicing is a powerful generalisation of static and dynamic slicing which has applications to many problems in software maintenance and evolution, including re-use, ree...