Sciweavers

5634 search results - page 8 / 1127
» About Abstract Classes
Sort
View
ECOOP
2010
Springer
15 years 8 months ago
Reasoning about the Implementation of Concurrency Abstractions on x86-TSO
ncy Abstractions on x86-TSO Scott Owens University of Cambridge Abstract. With the rise of multi-core processors, shared-memory concurrency has become a widespread feature of compu...
Scott Owens
124
Voted
ICML
1998
IEEE
16 years 4 months ago
Intra-Option Learning about Temporally Abstract Actions
tion Learning about Temporally Abstract Actions Richard S. Sutton Department of Computer Science University of Massachusetts Amherst, MA 01003-4610 rich@cs.umass.edu Doina Precup D...
Richard S. Sutton, Doina Precup, Satinder P. Singh
86
Voted
OOPSLA
2010
Springer
15 years 1 months ago
Reasoning about multiple related abstractions with MultiStar
Stephan van Staden, Cristiano Calcagno
ATAL
2011
Springer
14 years 3 months ago
An abstract framework for reasoning about trust
Elisabetta Erriquez, Wiebe van der Hoek, Michael W...