3307 search results - page 84 / 662 » The meaning of concurrent programs |
112
click to vote
JOT
2008
15 years 19 days ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
OOPSLA
2010
Springer
14 years 11 months ago
2010
Springer
General purpose object-oriented programs typically aren’t embarrassingly parallel. For these applications, finding enough concurrency remains a challenge in program design. To ...
199
Voted
ICFP
2009
ACM
16 years 1 months ago
2009
ACM
Concurrent ML (CML) is a high-level message-passing language that supports the construction of first-class synchronous abstractions called events. This mechanism has proven quite ...
112
click to vote
ASPLOS
2012
ACM
13 years 8 months ago
2012
ACM
Multithreaded programs often suffer from synchronization bugs such as atomicity violations and deadlocks. These bugs arise from complicated locking strategies and ad hoc synchroni...
118
click to vote
VMCAI
2009
Springer
15 years 7 months ago
2009
Springer
There has been a lot of recent research on transaction-based concurrent programming, aimed at offering an easier concurrent programming paradigm that enables programmers to better...