5159 search results - page 442 / 1032 » Structural Testing of Executables |
198
click to vote
DATE
2000
IEEE
16 years 13 hour ago
2000
IEEE
This paper presents a method for redundancy identification (RID) using multi-node logic implications. The algorithm discovers a large number of direct and indirect implications b...
194
click to vote
CAV
2000
Springer
15 years 12 months ago
2000
Springer
Abstract. Bounded Model Checking based on SAT methods has recently been introduced as a complementary technique to BDD-based Symbolic Model Checking. The basic idea is to search fo...
177
click to vote
DAWAK
2000
Springer
15 years 12 months ago
2000
Springer
In data mining, searching for frequent patterns is a common basic operation. It forms the basis of many interesting decision support processes. In this paper we present a new type ...
227
click to vote
RTCSA
1999
IEEE
15 years 12 months ago
1999
IEEE
A non-blocking protocol that allows real-time tasks to share data in a multiprocessor system is presented in this paper. The protocol gives the means to concurrent real-time tasks...
201
click to vote
VL
1999
IEEE
15 years 12 months ago
1999
IEEE
We present new pragmatic constructs for easing programming in visual graph rewriting programming languages. The first is a modification to the rewriting process for nodes the host...