Search Sciweavers | Sciweavers

5634 search results - page 8 / 1127

» About Abstract Classes

click to vote

ECOOP
2010
Springer

186views Programming Languages» more ECOOP 2010»

Reasoning about the Implementation of Concurrency Abstractions on x86-TSO

15 years 3 months ago

Download www.cl.cam.ac.uk

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

claim paper

Read More »

click to vote

ICML
1998
IEEE

165views Machine Learning» more ICML 1998»

Intra-Option Learning about Temporally Abstract Actions

15 years 11 months ago

Download www.cs.ualberta.ca

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

claim paper

Read More »

click to vote

CBSE
2006
Springer

154views Software Engineering» more CBSE 2006»

GLoo: A Framework for Modeling and Reasoning About Component-Oriented Language Abstractions

15 years 2 months ago