1499 search results - page 73 / 300 » Chopping Concurrent Programs |
133
Voted
ISSTA
2006
ACM
15 years 11 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...
131
click to vote
TACAS
2010
Springer
15 years 12 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 ...
119
click to vote
FMSD
2002
15 years 4 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...
157
click to vote
WOA
2010
15 years 2 months ago
2010
Abstract--We believe that agent-oriented programming languages and multi-agent programming technologies provide an effective level of abstraction for tackling the design and progra...
130
click to vote
ACSC
2005
IEEE
15 years 10 months ago
2005
IEEE
Parallel pattern-matching (PPM) provides true commutative implementation of functions defined by cases in functional languages, because no argument is given precedence over any o...