Sciweavers

1499 search results - page 17 / 300

» Chopping Concurrent Programs

155

Voted

PLDI
2009
ACM

119views Programming Languages» more PLDI 2009»

Lightweight annotations for controlling sharing in concurrent data structures

16 years 2 months ago

Lightweight annotations for controlling sharing in concurrent data structures

Download www.cs.berkeley.edu

Zachary R. Anderson, David Gay, Mayur Naik

claim paper

Read More »

154

ESOP
2007
Springer

147views Programming Languages» more ESOP 2007»

A Concurrent Calculus with Atomic Transactions

16 years 1 months ago

A Concurrent Calculus with Atomic Transactions

Download www.irit.fr

Lucia Acciai, Michele Boreale, Silvano Dal-Zilio

claim paper

Read More »

148

SIGADA
1999
Springer

89views Programming Languages» more SIGADA 1999»

Formal modeling of synchronization methods for concurrent objects in Ada 95

15 years 11 months ago

Formal modeling of synchronization methods for concurrent objects in Ada 95

Download www.sigada.org

Ravi K. Gedela, Sol M. Shatz, Haiping Xu

claim paper

Read More »

148

ESOP
2008
Springer

79views Programming Languages» more ESOP 2008»

Oracle Semantics for Concurrent Separation Logic

15 years 9 months ago

Oracle Semantics for Concurrent Separation Logic

Download www.cs.princeton.edu

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

claim paper

Read More »

441

ICSE
2012
IEEE-ACM

291views Software Engineering» more ICSE 2012»

Axis: Automatically fixing atomicity violations through solving control constraints

13 years 9 months ago

Axis: Automatically fixing atomicity violations through solving control constraints

Download www.cse.ust.hk

Abstract—Atomicity, a general correctness criterion in concurrency programs, is often violated in real-world applications. The violations are difﬁcult for developers to ﬁx, m...

Peng Liu, Charles Zhang

claim paper

Read More »

« Prev « First page 17 / 300 Last » Next »