Search Sciweavers | Sciweavers

2466 search results - page 18 / 494

» Concurrent Clustered Programming

click to vote

ESOP
2008
Springer

79views Programming Languages» more ESOP 2008»

Oracle Semantics for Concurrent Separation Logic

13 years 10 months ago

Download www.cs.princeton.edu

Aquinas Hobor, Andrew W. Appel, Francesco Zappa Na...

claim paper

Read More »

click to vote

PPOPP
2012
ACM

284views Distributed and Parallel Com...» more PPOPP 2012»

Concurrent breakpoints

12 years 4 months ago

Download www.cs.berkeley.edu

In program debugging, reproducibility of bugs is a key requirement. Unfortunately, bugs in concurrent programs are notoriously difﬁcult to reproduce because bugs due to concurre...

Chang-Seo Park, Koushik Sen

claim paper

Read More »

click to vote

CLUSTER
2008
IEEE

117views Distributed And Parallel Com...» more CLUSTER 2008»

Enabling lock-free concurrent fine-grain access to massive distributed data: Application to supernovae detection

14 years 3 months ago

Download hal.inria.fr

—We consider the problem of efﬁciently managing massive data in a large-scale distributed environment. We consider data strings of size in the order of Terabytes, shared and ac...

Bogdan Nicolae, Gabriel Antoniu, Luc Bougé

claim paper

Read More »

click to vote

ICSE
2010
IEEE-ACM

143views Software Engineering» more ICSE 2010»

STORM: static unit checking of concurrent programs

14 years 18 days ago

Download www.cs.ubc.ca

Concurrency is inherent in today’s software. Unexpected interactions between concurrently executing threads often cause subtle bugs in concurrent programs. Such bugs are hard to...

Zvonimir Rakamaric

claim paper

Read More »

click to vote

ATVA
2010
Springer

153views Hardware» more ATVA 2010»

Non-monotonic Refinement of Control Abstraction for Concurrent Programs

13 years 8 months ago