CONCUR
2006
Springer
14 years 3 months ago
2006
Springer
CONCUR
2006
Springer
14 years 3 months ago
2006
Springer
Abstract. We consider the control problem for timed automata against specifications given as MTL formulas. The logic MTL is a linear-time timed temporal logic which extends LTL wit...
FIDJI
2004
Springer
14 years 3 months ago
2004
Springer
Our paper aims at proposing a framework that allows programmers to exploit the benefits of exception handling throughout the entire development Java programs by modeling exception ...
CLUSTER
2006
IEEE
14 years 3 months ago
2006
IEEE
Effective overlap of computation and communication is a well understood technique for latency hiding and can yield significant performance gains for applications on high-end compu...
CLUSTER
2006
IEEE
14 years 3 months ago
2006
IEEE
Despite using high-speed network interconnection systems like InfiniBand, the communication overhead for parallel applications is still high. In this paper we show, how such costs...
CLUSTER
2006
IEEE
14 years 3 months ago
2006
IEEE
Today's high-end massively parallel processing (MPP) machines have thousands to tens of thousands of processors, with next-generation systems planned to have in excess of one...
CLUSTER
2006
IEEE
14 years 3 months ago
2006
IEEE
Efficient data movement is an important part of any highperformance I/O system, but it is especially critical for the current and next-generation of massively parallel processing ...
CLUSTER
2006
IEEE
14 years 3 months ago
2006
IEEE
The complexity of the cluster-based web service challenges the traditional approaches, which fail to guarantee the reliability and real-time performance required. In this paper, w...
CLUSTER
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper examines the suitability of different virtualization techniques in a high performance cluster environment. A survey of virtualization techniques is presented. Two repre...
CLUSTER
2006
IEEE
14 years 3 months ago
2006
IEEE
Scalability is a crucial factor in performance evaluation and analysis of parallel and distributed systems. Much effort has been devoted to scalability research and several metric...