Sciweavers

2302 search results - page 16 / 461

» The Evolution of Concurrent Programs

90

ESOP
2007
Springer

147views Programming Languages» more ESOP 2007»

A Concurrent Calculus with Atomic Transactions

15 years 9 months ago

A Concurrent Calculus with Atomic Transactions

Download www.irit.fr

Lucia Acciai, Michele Boreale, Silvano Dal-Zilio

claim paper

Read More »

77

SIGADA
1999
Springer

89views Programming Languages» more SIGADA 1999»

Formal modeling of synchronization methods for concurrent objects in Ada 95

15 years 7 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 »

86

ESOP
2008
Springer

79views Programming Languages» more ESOP 2008»

Oracle Semantics for Concurrent Separation Logic

15 years 4 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 »

137

PPOPP
2012
ACM

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

Concurrent breakpoints

13 years 10 months ago

Concurrent breakpoints

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 »

187

TOOLS
2011
IEEE

251views Programming Languages» more TOOLS 2011»

Systems Evolution and Software Reuse in Object-Oriented Programming and Aspect-Oriented Programming

14 years 6 months ago

Systems Evolution and Software Reuse in Object-Oriented Programming and Aspect-Oriented Programming

Download przybylek.wzr.pl

Adam Przybylek

claim paper

Read More »

« Prev « First page 16 / 461 Last » Next »