4218 search results - page 304 / 844 » Complete sets of cooperations |
114
click to vote
ICCAD
1997
IEEE
15 years 10 months ago
1997
IEEE
We introduce a novel cut-based debugging paradigm. It coordinates design emulation and simulation and enables fast transition from one to another. Emulation or functional implemen...
129
click to vote
ITC
1989
IEEE
15 years 10 months ago
1989
IEEE
: The concept of a pseudo-exhaustive test for sequential circuits is introduced in a similar way as it is used for combinational networks. Instead of test sets one has to apply pse...
164
Voted
ITP
2010
15 years 10 months ago
2010
Abstract. We present a compiler for definitions made by pattern matching on inductive families in the Coq system. It allows to write structured, recursive dependently-typed functi...
132
click to vote
RTA
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We extend first-order order-sorted unification by permitting regular expression sorts for variables and in the domains of function symbols. The set of basic sorts is ...
147
click to vote
FOSSACS
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we present a theorem for defining fixed-points in categories of sheaves. This result gives a unifying and general account of most techniques used in computer science ...