2356 search results - page 148 / 472 » Characterizations of postman sets |
113
click to vote
ICCAD
1997
IEEE
15 years 9 months ago
1997
IEEE
We describe a highly accurate but e cient fault simulator for interconnect opens, based on characterizing the standard cell library with SPICE; using transistor charge equations f...
119
click to vote
CHARME
1993
Springer
15 years 8 months ago
1993
Springer
To perform veri cation of digital systems with time bounded delays, it is essential to characterize the space of all possible system behaviors. In this paper, we describe our analy...
125
click to vote
FSTTCS
1993
Springer
15 years 8 months ago
1993
Springer
Abstract. We provide a complete system of transformation rules for semantic unification with respect to theories defined by convergent rewrite systems. We show that this standard u...
134
click to vote
COLT
1992
Springer
15 years 8 months ago
1992
Springer
We consider PAC-learning where the distribution is known to the student. The problem addressed here is characterizing when learnability with respect to distribution D1 implies lea...
156
click to vote
COORDINATION
2006
Springer
15 years 8 months ago
2006
Springer
Van der Aalst recently proposed a set of workflow patterns to characterize the kinds of control flow that appear frequently in workflow processes. These patterns are useful for eva...