1453 search results - page 38 / 291 » State and history in operating systems |
103
click to vote
CAV
2007
Springer
15 years 4 months ago
2007
Springer
We present a simple and effective approximated backward reachability algorithm for parameterized systems with existentially and universally quantified global conditions. The indivi...
ECAL
2005
Springer
15 years 6 months ago
2005
Springer
This paper explores the performance of a simple model agent using a reactive controller in situations where, from an external perspective, a solution that relies on internal states...
121
Voted
LOGCOM
1998
15 years 2 days ago
1998
Sound and complete modal propositional logic C is presented, in which 2P has the interpretation “ P is true in all states”. The interpretation is already known as the Carnapia...
88
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
We present an application of a multi-agent cooperative search approach to the problem of optimizing gas pipeline operations, i.e. finding control parameters for a gas transmission...
DASFAA
2010
IEEE
15 years 5 months ago
2010
IEEE
This demonstration presents a recently proposed join algorithm called DigestJoin. Optimized for solid-state drives (SSDs), DigestJoin aims at reducing intermediate join results and...