434 search results - page 9 / 87 » From sequential programs to multi-tier applications by progr... |
107
click to vote
CAV
2009
Springer
15 years 10 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
ECMDAFA
2008
Springer
14 years 11 months ago
2008
Springer
Model transformations support a model-driven design by providing an c translation of abstract models into more concrete ones, and eventually program code. Crucial to a successful a...
PARELEC
2002
IEEE
15 years 2 months ago
2002
IEEE
Integration of P-GRADE with Condor and parallel check-pointing results in an environment under which both interactive parallel program development and batch mode execution is poss...
SNPD
2003
14 years 11 months ago
2003
This paper introduces accumulation into list homomorphisms for systematic development of both efficient and correct parallel programs. New parallelizable recursive pattern called...
ECOOP
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Programming with Java monitors is recognized to be difficult, and potentially inefficient due to many useless context switches induced by the notifyAll primitive. This pa...