1491 search results - page 202 / 299 » Resource-Passing Concurrent Programming |
OOPSLA
2009
Springer
15 years 4 months ago
2009
Springer
Today’s shared-memory parallel programming models are complex and error-prone. While many parallel programs are intended to be deterministic, unanticipated thread interleavings ...
ECLIPSE
2006
ACM
15 years 3 months ago
2006
ACM
This paper describes a state-of-the-art environment for distributed Extreme Programming that results from combining the Sangam editor, developed at NCSU and the Facetop user inter...
ECOOP
2010
Springer
15 years 2 months ago
2010
Springer
Event-driven programming is a major paradigm in concurrent and communication-based programming, and a widely adopted approach to building scalable high-concurrency servers. However...
CAV
2009
Springer
15 years 10 months ago
2009
Springer
Transactional memory (TM) is a promising paradigm for concurrent programming. This paper is an overview of our recent theoretical work on defining a theory of TM. We first recall s...
CADE
2008
Springer
15 years 10 months ago
2008
Springer
Rely-guarantee (RG) reasoning is useful for modular Hoare-style proofs of concurrent programs. However, RG requires that assertions be proved stable under the actions of the enviro...