222 search results - page 3 / 45 » On the Refinement of Atomic Actions |
ADAEUROPE
1997
Springer
13 years 10 months ago
1997
Springer
Abstract. This paper describes the development of two kinds of atomic action schemes for Ada 95. We start by discussing the basic features required of an atomic action scheme and w...
CONCUR
2009
Springer
14 years 10 days ago
2009
Springer
Abstract. We examine the role of transactional memory from two perspectives: that of a programming language with atomic actions and that of implementations of the language. We argu...
JAIR
2008
13 years 5 months ago
2008
MFCS
1997
Springer
13 years 9 months ago
1997
Springer
Abstract. Action refinement in process algebras has been widely studied in the last few years as a means to support top-down design of systems. A specific notion of refinement aris...
ICML
2002
IEEE
14 years 6 months ago
2002
IEEE
In many reinforcement learning applications, the set of possible actions can be partitioned by the programmer into subsets of similar actions. This paper presents a technique for ...