Sciweavers

23 search results - page 1 / 5

» ecoop 2010

8

ECOOP
2010
Springer

148views Programming Languages» more ECOOP 2010»

13 years 9 months ago

Download www.freeclimb.co.nz

Erik Ernst

claim paper

Read More »

10

ECOOP
2010
Springer

116views Programming Languages» more ECOOP 2010»

13 years 9 months ago

Download www.mydatanest.com

Doug Lea

claim paper

Read More »

13

ECOOP
2010
Springer

156views Programming Languages» more ECOOP 2010»

Falling Back on Executable Specifications

13 years 9 months ago

Falling Back on Executable Specifications

Download www.cs.ucla.edu

Hesam Samimi, Ei Darli Aung, Todd D. Millstein

claim paper

Read More »

9

ECOOP
2010
Springer

150views Programming Languages» more ECOOP 2010»

Concurrent Abstract Predicates

13 years 9 months ago

Concurrent Abstract Predicates

Download www.cl.cam.ac.uk

Thomas Dinsdale-Young, Mike Dodds, Philippa Gardne...

claim paper

Read More »

13

ECOOP
2010
Springer

186views Programming Languages» more ECOOP 2010»

Reasoning about the Implementation of Concurrency Abstractions on x86-TSO

13 years 9 months ago

Reasoning about the Implementation of Concurrency Abstractions on x86-TSO

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 »

« Prev « First page 1 / 5 Last » Next »