2466 search results - page 79 / 494 » Concurrent Clustered Programming |
ICALP
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...
IPPS
1998
IEEE
14 years 1 months ago
1998
IEEE
We have developed a programming model that integrates concurrency with object-based programming. The model includes features for object definition and instantiation, and it support...
ISSTA
2006
ACM
14 years 2 months ago
2006
ACM
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when some thread...
TACAS
2010
Springer
14 years 3 months ago
2010
Springer
Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent ...
FMSD
2002
13 years 8 months ago
2002
Object-based sequential programming has had a major impact on software engineering. However, object-based concurrent programming remains elusive as an effective programming tool. T...