19798 search results - page 372 / 3960 » Is Structural Subtyping Useful |
108
click to vote
LICS
2002
IEEE
15 years 8 months ago
2002
IEEE
In joint work with Peter O’Hearn and others, based on early ideas of Burstall, we have developed an extension of Hoare logic that permits reasoning about low-level imperative pr...
101
click to vote
PKDD
1999
Springer
15 years 7 months ago
1999
Springer
This paper addresses the problem of learning from highly structured data. Speci cally, it describes a procedure, called decomposition, that allows a learner to access automatically...
107
Voted
ICCAD
1996
IEEE
15 years 7 months ago
1996
IEEE
This paper presents a new approach for diagnosing stuck-at and short faults in interconnects whose layouts are known. This structural approach exploits dierent graph coloring and ...
135
Voted
ACSD
2001
IEEE
15 years 7 months ago
2001
IEEE
This paper presents a method for the automatic synthesis of asynchronous circuits from Petri net specifications. The method is based on a structural encoding of the system in such ...
128
click to vote
DAC
2009
ACM
15 years 6 months ago
2009
ACM
In this paper, we propose a novel simulation algorithm for large scale structured power grid networks. The new method formulates the traditional linear system as a special two-dim...