Search Sciweavers | Sciweavers

1550 search results - page 60 / 310

» Erlang for Concurrent Programming

101

click to vote

ACSD
2009
IEEE

149views Hardware» more ACSD 2009»

From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations

15 years 6 months ago

Download www-rocq.inria.fr

We propose a general method to characterize and synthesize correctness-preserving, asynchronous wrappers for synchronous processes on a globally asynchronous locally synchronous (...

Dumitru Potop-Butucaru, Robert de Simone, Yves Sor...

claim paper

Read More »

click to vote

SCAM
2009
IEEE

212views Software Engineering» more SCAM 2009»

Chopping Concurrent Programs

15 years 6 months ago

Download www.dcs.kcl.ac.uk

Dennis Giffhorn

claim paper

Read More »

click to vote

OOPSLA
2009
Springer

156views Security Privacy» more OOPSLA 2009»

Concurrency by default: using permissions to express dataflow in stateful programs

15 years 6 months ago

Download www.cs.cmu.edu

Sven Stork, Paulo Marques, Jonathan Aldrich

claim paper

Read More »

click to vote

ISSTA
2009
ACM

119views Software Engineering» more ISSTA 2009»

Clash of the Titans: tools and techniques for hunting bugs in concurrent programs

15 years 6 months ago

Download vv.cs.byu.edu

Neha Rungta, Eric G. Mercer

claim paper

Read More »

click to vote

DATE
2008
IEEE

86views Hardware» more DATE 2008»

Programming Shared Memory Multiprocessors with Deterministic Message-Passing Concurrency: Compiling SHIM to Pthreads

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers