3147 search results - page 469 / 630 » Open-Source Model Checking |
142
click to vote
CIMCA
2006
IEEE
15 years 11 months ago
2006
IEEE
: In the adaptive fuzzy control field for affine nonlinear systems, there are two basic configurations: direct and indirect. It is well known that the direct configuration needs mo...
133
click to vote
ISPDC
2006
IEEE
15 years 11 months ago
2006
IEEE
We present an incipient implementation of a programming language that allows programming of realtime applications distributed over a network. We have several goals in mind: First,...
161
click to vote
LICS
2006
IEEE
15 years 11 months ago
2006
IEEE
Treewidth measures the ”tree-likeness” of structures. Many NP-complete problems, e.g., propositional satisfiability, are tractable on bounded-treewidth structures. In this wo...
154
Voted
SEW
2006
IEEE
15 years 11 months ago
2006
IEEE
Pseudo-exhaustive testing uses the empirical observation that, for broad classes of software, a fault is likely triggered by only a few variables interacting. The method takes adv...
154
Voted
ASPDAC
2006
ACM
15 years 11 months ago
2006
ACM
– We propose an interconnect diagnosis scheme based on Oscillation Ring test methodology for SOC design with heterogeneous cores. The target fault models are delay faults and cro...