2300 search results - page 74 / 460 » Maximally Concurrent Programs |
140
Voted
IWMM
2011
Springer
14 years 3 months ago
2011
Springer
We propose a new memory model called short-term memory for managing objects on the heap. In contrast to the traditional persistent memory model for heap management, objects in sho...
83
Voted
ICSE
2009
IEEE-ACM
15 years 7 months ago
2009
IEEE-ACM
We propose a new approach for reasoning about concurrency in object-oriented programs. Central to our approach is static ownership inference analysis — we conjecture that this a...
164
click to vote
ECOOPWEXCEPTION
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Exception handling is a well-established mechanism in sequential programming. Concurrency and asynchronous calls introduce the possibility for multiple simultaneous excep...
112
click to vote
JOT
2008
15 years 20 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 ...