4722 search results - page 425 / 945 » Encoding Program Executions |
146
click to vote
ACSD
2005
IEEE
16 years 5 days ago
2005
IEEE
BoPi is a programming language with a runtime support that allows the distribution and the execution of programs over the network. The language is a process calculus with XML valu...
180
click to vote
IPPS
2005
IEEE
16 years 3 days ago
2005
IEEE
The paper is devoted to analysis of a strategy of computation distribution on heterogeneous parallel systems. According to this strategy processes of parallel program are distribu...
170
click to vote
PPAM
2005
Springer
16 years 15 hour ago
2005
Springer
Abstract. The paper presents an algorithm for scheduling parallel programs for execution in a parallel architecture based on dynamic SMP processor clusters with data transfers on t...
158
click to vote
AOSD
2004
ACM
15 years 12 months ago
2004
ACM
This paper describes the implementation of advice weaving in AspectJ. The AspectJ language picks out dynamic join points in a program's execution with pointcuts and uses advi...
153
click to vote
AMAST
2004
Springer
15 years 12 months ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...