187 search results - page 10 / 38 » Limits and Possibilities of BDDs in State Space Search |
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...
ICML
1994
IEEE
15 years 29 days ago
1994
IEEE
Reinforcement learning (RL) algorithms provide a sound theoretical basis for building learning control architectures for embedded agents. Unfortunately all of the theory and much ...
MASCOTS
2008
14 years 11 months ago
2008
Manually tuning tens to hundreds of configuration parameters in a complex software system like a database or an application server is an arduous task. Recent work has looked into ...
SAS
2009
Springer
15 years 10 months ago
2009
Springer
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
GI
2009
Springer
14 years 7 months ago
2009
Springer
: In this paper we explore the possibilities to perform the search for results of non-deterministic computations in parallel. We present three different approaches to this problem:...