332 search results - page 27 / 67 » Invasive Patterns for Distributed Programs |
235
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
129
click to vote
ICFP
2003
ACM
16 years 1 months ago
2003
ACM
FreshML extends ML with elegant and practical constructs for declaring and manipulating syntactical data involving statically scoped binding operations. User-declared FreshML data...
130
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...
111
click to vote
HPCA
2004
IEEE
16 years 2 months ago
2004
IEEE
Reducing energy consumption has become one of the major challenges in designing future computing systems. This paper proposes a novel idea of using program counters to predict I/O...
119
click to vote
CLUSTER
2007
IEEE
15 years 8 months ago
2007
IEEE
— Improving the performance of TCP communication is the key to the successful deployment of MPI programs in a Grid environment in which multiple clusters are connected through hi...