601 search results - page 15 / 121 » Simulation vs. Equivalence |
ICALP
1999
Springer
14 years 1 months ago
1999
Springer
We consider the problem of simulation preorder/equivalence between infinite-state processes and finite-state ones. We prove that simulation preorder (in both directions) and simu...
ASPDAC
2006
ACM
2006
ACM
Equivalent circuit modeling of guard ring structures for evaluation of substrate crosstalk isolation
14 years 3 months ago
— A substrate-coupling equivalent circuit can be derived for an arbitrary guard ring test structure by way of F-matrix computation. The derived netlist represents a unified impe...
CONCUR
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In this paper, we provide a transformation from the branching bisimulation problem for infinite, concurrent, data-intensive systems in linear process format, into solving...
DATE
2004
IEEE
14 years 1 months ago
2004
IEEE
Designing custom-extensible instructions for Extensible Processors1 is a computationally complex task because of the large design space. The task of automatically matching candida...
ASPLOS
2012
ACM
12 years 5 months ago
2012
ACM
Future microprocessors need low-cost solutions for reliable operation in the presence of failure-prone devices. A promising approach is to detect hardware faults by deploying low-...