2 search results - page 1 / 1 » Partitions versus sets: A case of duality |
EJC
2010
13 years 4 months ago
2010
In a recent paper, Amini et al. introduced a general framework to prove duality theorems between tree decompositions and their dual combinatorial object. They unify all known ad-h...
TVLSI
2002
13 years 4 months ago
2002
Although simulation remains an important part of application-specific integrated circuit (ASIC) validation, hardware-assisted parallel verification is becoming a larger part of the...