Search Sciweavers | Sciweavers

12452 search results - page 210 / 2491

» An exploration of program as language

133

click to vote

ESOP
2007
Springer

147views Programming Languages» more ESOP 2007»

A Concurrent Calculus with Atomic Transactions

16 years 24 days ago

Download www.irit.fr

Lucia Acciai, Michele Boreale, Silvano Dal-Zilio

claim paper

Read More »

155

click to vote

SIGADA
2007
Springer

137views Programming Languages» more SIGADA 2007»

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

16 years 22 days ago

Download karl.nyberg.net

In this paper we look at the opportunity provided by the

Karl A. Nyberg

claim paper

Read More »

129

click to vote

SMALLTALK
2007
Springer

127views Programming Languages» more SMALLTALK 2007»

Linguistic symbiosis between actors and threads

16 years 22 days ago

Download csl.ensm-douai.fr

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

claim paper

Read More »

120

click to vote

ASPLOS
2006
ACM

95views Programming Languages» more ASPLOS 2006»

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

16 years 18 days ago

Download www.cs.wisc.edu

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

claim paper

Read More »

143

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 18 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers