Sciweavers

5634 search results - page 8 / 1127
» About Abstract Classes
Sort
View
109
Voted
ECOOP
2010
Springer
15 years 6 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
ICML
1998
IEEE
16 years 2 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
71
Voted
OOPSLA
2010
Springer
15 years 7 days ago
Reasoning about multiple related abstractions with MultiStar
Stephan van Staden, Cristiano Calcagno
65
Voted
ATAL
2011
Springer
14 years 1 months ago
An abstract framework for reasoning about trust
Elisabetta Erriquez, Wiebe van der Hoek, Michael W...