6 search results - page 1 / 2 » Improving topological ATPG with symbolic techniques |
VTS
1995
IEEE
13 years 8 months ago
1995
IEEE
DATE
1998
IEEE
13 years 9 months ago
1998
IEEE
Partial Scan techniques have been widely accepted as an effective solution to improve sequential ATPG performance while keeping acceptable area and performance overheads. Several ...
GEOINFORMATICA
1998
13 years 4 months ago
1998
Due to the increasing popularity of spatial databases, researchers have focused their efforts on improving the query processing performance of the most expensive spatial database ...
CAV
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
CORR
2011
Springer
13 years 6 hour ago
2011
Springer
Cooperative communications is a class of techniques which seek to improve reliability and throughput in wireless systems by pooling the resources of distributed nodes. While coope...