1194 search results - page 77 / 239 » Programming Support for Distributed Clustercomputing |
135
click to vote
SC
2000
ACM
15 years 6 months ago
2000
ACM
Adaptive applications have computational workloads and communication patterns which change unpredictably at runtime, requiring dynamic load balancing to achieve scalable performan...
105
click to vote
SPIN
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Model checking real programs has recently become an active research area. Programs however exhibit two characteristics that make model checking di cult: the complexity of...
122
click to vote
GPCE
2008
Springer
15 years 3 months ago
2008
Springer
A functional aspect is an aspect that has the semantics of a transformation; it is a function that maps a program to an advised program. Functional aspects are composed by functio...
114
Voted
SIGSOFT
2005
ACM
16 years 3 months ago
2005
ACM
We present Arithmetic Program Paths, a novel, efficient way to compress program control-flow traces that reduces program bit traces to less than a fifth of their original size whi...
149
click to vote
AMAI
2004
Springer
15 years 2 months ago
2004
Springer
Prototyping is a valuable technique to help software engineers explore the design space while gaining insight on the dynamics of the system. In this paper, we describe a method for...