4772 search results - page 321 / 955 » An approach to interface synthesis |
168
click to vote
EURODAC
1995
IEEE
15 years 10 months ago
1995
IEEE
Computing equivalence classes for FSMs has several applications to synthesis and veri cation problems. Symbolic traversal techniques are applicable to medium-small circuits. This ...
171
click to vote
ICCAD
1995
IEEE
15 years 10 months ago
1995
IEEE
Partitioning for the ASIC designs is examined and the interaction between high-level synthesis and partitioning is studied and incorporated in the solution. Four algorithms (calle...
184
click to vote
ESANN
2008
15 years 8 months ago
2008
Petri net faulty models are useful for reliability analysis and fault diagnosis of discrete event systems. Such models are difficult to work out as long as they must be computed ac...
130
click to vote
FLAIRS
2004
15 years 8 months ago
2004
Mixed-initiative case replay introduces an active human into the case-based planning process. The goals of this novel technique are to utilize the strengths of machine-based case ...
186
click to vote
PTS
2000
15 years 8 months ago
2000
We present a formal approach to check the correctness and to propose corrections of hand-written test suites with respect to a formal specification of the protocol implementations ...