Search Sciweavers | Sciweavers

4426 search results - page 66 / 886

» Concurrent Constraint Programming

130

click to vote

PPOPP
2006
ACM

114views Distributed And Parallel Com...» more PPOPP 2006»

Accurate and efficient runtime detection of atomicity errors in concurrent programs

16 years 2 days ago

Download cobweb.ecn.purdue.edu

Liqiang Wang, Scott D. Stoller

claim paper

Read More »

113

click to vote

SENSYS
2006
ACM

104views Sensor Networks» more SENSYS 2006»

Abstractions for safe concurrent programming in networked embedded systems

16 years 2 days ago

Download selab.csuohio.edu

William P. McCartney, Nigamanth Sridhar

claim paper

Read More »

138

click to vote

CAV
2005
Springer

114views Hardware» more CAV 2005»

Bounded Model Checking of Concurrent Programs

15 years 11 months ago

Download www.inf.ethz.ch

Ishai Rabinovitz, Orna Grumberg

claim paper

Read More »

140

click to vote

APN
2001
Springer

95views Artificial Intelligence» more APN 2001»

A Concurrent Semantics of Static Exceptions in a Parallel Programming Language

15 years 10 months ago

Download hal.archives-ouvertes.fr

Hanna Klaudel, Franck Pommereau

claim paper

Read More »

135

click to vote

TACS
2001
Springer

93views Software Engineering» more TACS 2001»

Resource-Passing Concurrent Programming

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers