2302 search results - page 84 / 461 » The Evolution of Concurrent Programs |
159
click to vote
ICSE
2009
IEEE-ACM
16 years 28 days 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...
241
click to vote
ECOOPWEXCEPTION
2006
Springer
15 years 9 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...
195
click to vote
ECOOP
2006
Springer
15 years 9 months ago
2006
Springer
This paper briefly describes the design of a dynamic adaptation management framework exploiting the concepts provided by Aspect-Oriented Software Development (AOSD) -in particular ...
131
click to vote
SIGUCCS
2003
ACM
15 years 11 months ago
2003
ACM
Each summer, Academic and Research Computing (ARC) produces a guide for Mobile Computing Program participants describing the specifics of the selected laptop computer and
174
click to vote
JOT
2008
15 years 6 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...