1116 search results - page 37 / 224 » Applying Predicate Abstraction to Abstract State Machines |
113
click to vote
ECML
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We present a new reinforcement learning approach for deterministic continuous control problems in environments with unknown, arbitrary reward functions. The difficulty of...
111
Voted
VLDB
1987
ACM
15 years 2 months ago
1987
ACM
FAD is a powerful and simple language designed for a highly parallel database machine. The basic concepts of the language are its data structures (which we call objects) and its p...
DAC
1997
ACM
15 years 3 months ago
1997
ACM
This paper presents a novel approach for automatic test pattern generation of asynchronous circuits. The techniques used for this purpose assume that the circuit can only be exerc...
PTS
1993
15 years 13 days ago
1993
The signal SAVE construct is one of the features distinguishing SDL from convent specification and programming languages. On the other hand, this feature increase testing SDL-spec...
59
Voted
CORR
2007
Springer
14 years 11 months ago
2007
Springer
Abstract. In earlier work, the Abstract State Machine Thesis — that arbitrary algore behaviorally equivalent to abstract state machines — was established for several classes of...