473 search results - page 17 / 95 » Model Generation for Distributed Java Programs |
EUROPAR
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Algorithmic Skeletons offer high-level abstractions for parallel programming based on recurrent parallelism patterns. Patterns can be combined and nested into more comple...
TACAS
2007
Springer
14 years 2 months ago
2007
Springer
We present JPF–SE, an extension to the Java PathFinder Model Checking framework (JPF) that enables the symbolic execution of Java programs. JPF–SE uses JPF to generate and expl...
SIGCSE
2002
ACM
13 years 7 months ago
2002
ACM
Innovative teachers are continually looking for creative ideas, both to get their ideas across and to hold the interest of their students. One of the latest trends is the use of L...
PPPJ
2006
ACM
14 years 1 months ago
2006
ACM
The development of a tool for reconstructing UML sequence diagrams from executing Java programs is a challenging task. We implemented such a tool designed to analyze any kind of J...
CL
2010
Springer
13 years 8 months ago
2010
Springer
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally...