1263 search results - page 153 / 253 » An Object-Passing Model for Parallel Programming |
125
click to vote
ICALP
2000
Springer
15 years 7 months ago
2000
Springer
We show the decidability of model checking PA-processes against several first-order logics based upon the reachability predicate. The main tool for this result is the recognizabil...
134
Voted
IPCCC
2007
IEEE
15 years 9 months ago
2007
IEEE
Tuning the performance of applications requires understanding the interactions between code and target architecture. This paper describes a performance modeling approach that not ...
112
Voted
SEKE
2005
Springer
15 years 9 months ago
2005
Springer
Current aspect-oriented programming (AOP) enhances maintainability and comprehensibility by modularizing concerns crosscutting multiple components but lacks the support for the hie...
130
Voted
CONCUR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
125
click to vote
JCST
2008
15 years 3 months ago
2008
Transformational approaches to generating design and implementation models from requirements can bring effectiveness and quality to software development. In this paper we present a...