387 search results - page 49 / 78 » Hyperequivalence of Logic Programs with Respect to Supported... |
182
click to vote
DAC
2006
ACM
15 years 8 months ago
2006
ACM
Software-based self-test (SBST) has recently emerged as an effective methodology for the manufacturing test of processors and other components in systems-on-chip (SoCs). By moving ...
167
click to vote
ISCA
2005
IEEE
15 years 11 months ago
2005
IEEE
Scaling feature size improves processor performance but increases each device’s susceptibility to defects (i.e., hard errors). As a result, fabrication technology must improve s...
157
click to vote
ENTCS
2008
15 years 6 months ago
2008
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...
168
click to vote
AOSE
2005
Springer
15 years 11 months ago
2005
Springer
This paper synthesizes two trends in the engineering of agent-based systems. One, modern agent-oriented methodologies deal with the key aspects of software development including re...
212
click to vote
JSC
2010
15 years 24 days ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...