2407 search results - page 391 / 482 » A Tool for Abstraction in Model Checking |
161
click to vote
SAFECOMP
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
142
click to vote
NLDB
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The increasing flow of digital information requires the extraction, filtering and classification of pertinent information from large volumes of texts. An important pre...
165
click to vote
EUROPAR
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. In an interpreted execution there is an interdependence between the interpreter's execution and the interpreted application's execution; the implementation of t...
174
click to vote
CEC
2011
IEEE
14 years 6 months ago
2011
IEEE
Abstract—Memetics is a new science that has attracted increasing attentions in the recent decades. Beyond the formalism of simple hybrids, adaptive hybrids and memetic algorithms...
157
Voted
IADIS
2003
15 years 7 months ago
2003
Power transformers' failures carry great costs to electric companies since they need resources to recover from them and to perform periodical maintenance. To avoid this probl...