2300 search results - page 74 / 460 » Maximally Concurrent Programs |
IWMM
2011
Springer
13 years 28 days 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...
ICSE
2009
IEEE-ACM
14 years 4 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...
ECOOPWEXCEPTION
2006
Springer
14 years 1 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...
JOT
2008
13 years 10 months 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
13 years 8 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 ...