3307 search results - page 88 / 662 » The meaning of concurrent programs |
ISSTA
2006
ACM
15 years 6 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...
93
Voted
TACAS
2010
Springer
15 years 7 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 ...
87
Voted
FMSD
2002
15 years 14 days 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...
119
Voted
WOA
2010
14 years 10 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...
73
Voted
OOPSLA
1992
Springer
15 years 4 months ago
1992
Springer
JAC is a Java extension for high-level concurrent programming, meant to hide the notions of threads and synchronization statements from the programmer. Putting into practice the c...