601 search results - page 39 / 121 » Simulation vs. Equivalence |
ICCAD
2006
IEEE
14 years 6 months ago
2006
IEEE
— For 65nm and below devices, even after optical proximity correction (OPC), the gate may still be non-rectangular. There are several limited works on the device and circuit char...
WSC
2008
13 years 11 months ago
2008
This paper presents a new extension of the DEVS formalism that allows multiple occurrences of a given instance of a DEVS component. This paper is a follow-up to a previous short p...
SPRINGSIM
2008
13 years 10 months ago
2008
Programmable graphics processing units (GPUs) have emerged as excellent computational platforms for certain general-purpose applications. The data parallel execution capabilities ...
PADS
2004
ACM
14 years 2 months ago
2004
ACM
We investigated the benefit of exploiting the symmetries of graphs for partitioning. We represent the model to be simulated by a weighted graph. Graph symmetries are studied in th...
CVPR
2004
IEEE
14 years 11 months ago
2004
IEEE
The problem of multibody motion segmentation is an important and challenging issue in computer vision. In this paper, a novel segmentation technique based on simulated annealing (...