Search Sciweavers | Sciweavers

12452 search results - page 210 / 2491

» An exploration of program as language

147

click to vote

ESOP
2007
Springer

147views Programming Languages» more ESOP 2007»

A Concurrent Calculus with Atomic Transactions

16 years 1 months ago

Download www.irit.fr

Lucia Acciai, Michele Boreale, Silvano Dal-Zilio

claim paper

Read More »

167

click to vote

SIGADA
2007
Springer

137views Programming Languages» more SIGADA 2007»

Multi-core + multi-tasking = multi-opportunity?

16 years 1 months ago

Download karl.nyberg.net

In this paper we look at the opportunity provided by the

Karl A. Nyberg

claim paper

Read More »

145

click to vote

SMALLTALK
2007
Springer

127views Programming Languages» more SMALLTALK 2007»

Linguistic symbiosis between actors and threads

16 years 1 months ago

Download csl.ensm-douai.fr

Tom Van Cutsem, Stijn Mostinckx, Wolfgang De Meute...

claim paper

Read More »

131

click to vote

ASPLOS
2006
ACM

95views Programming Languages» more ASPLOS 2006»

A regulated transitive reduction (RTR) for longer memory race recording

16 years 1 months ago

Download www.cs.wisc.edu

Min Xu, Mark D. Hill, Rastislav Bodík

claim paper

Read More »

159

click to vote

ASPLOS
2006
ACM

94views Programming Languages» more ASPLOS 2006»

Semantic patches for documenting and automating collateral evolutions in Linux device drivers

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers