Sciweavers

23 search results - page 1 / 5

» ecoop 2010

61

ECOOP
2010
Springer

148views Programming Languages» more ECOOP 2010»

15 years 4 months ago

Download www.freeclimb.co.nz

Erik Ernst

claim paper

Read More »

65

ECOOP
2010
Springer

116views Programming Languages» more ECOOP 2010»

15 years 4 months ago

Download www.mydatanest.com

Doug Lea

claim paper

Read More »

61

ECOOP
2010
Springer

156views Programming Languages» more ECOOP 2010»

Falling Back on Executable Specifications

15 years 4 months ago

Falling Back on Executable Specifications

Download www.cs.ucla.edu

Hesam Samimi, Ei Darli Aung, Todd D. Millstein

claim paper

Read More »

61

ECOOP
2010
Springer

150views Programming Languages» more ECOOP 2010»

Concurrent Abstract Predicates

15 years 4 months ago

Concurrent Abstract Predicates

Download www.cl.cam.ac.uk

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

claim paper

Read More »

87

ECOOP
2010
Springer

186views Programming Languages» more ECOOP 2010»

Reasoning about the Implementation of Concurrency Abstractions on x86-TSO

15 years 4 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 »