2786 search results - page 24 / 558 » A Practical Technique for Process Abstraction |
117
click to vote
APIN
1999
15 years 1 months ago
1999
Real-world electrical engineering problems can take advantage of the last Data Analysis methodologies. In this paper we will show that Genetic Fuzzy Rule-Based Systems and Genetic ...
IFM
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. This paper introduces the ISpec approach to interface specification. ISpec supports the development of interface specifications at various levels of formality and detail ...
111
click to vote
CAV
2008
Springer
15 years 3 months ago
2008
Springer
In this paper we present a word-level model checking method that attempts to speed up safety property checking of industrial netlists. Our aim is to construct an algorithm that all...
107
click to vote
STTT
2008
15 years 1 months ago
2008
Abstract. Fast is a tool for the analysis of systems manipulating unbounded integer variables. We check safety properties by computing the reachability set of the system under stud...
107
click to vote
SAS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. While the tightest proven worst-case complexity for Andersen's points-to analysis is nearly cubic, the analysis seems to scale better on real-world codes. We examine...