1682 search results - page 75 / 337 » Techniques for Automating Distributed Real-Time Applications... |
175
click to vote
ACPC
1999
Springer
15 years 4 months ago
1999
Springer
In this paper we present the design, implementation and evaluation of a runtime system based on collective I/O techniques for irregular applications. Its main goal is to provide pa...
123
click to vote
ISSTA
2006
ACM
15 years 5 months ago
2006
ACM
We present initial work on perturbation techniques that cause the manifestation of timing-related bugs in distributed memory Message Passing Interface (MPI)-based applications. Th...
109
click to vote
ISICT
2003
15 years 1 months ago
2003
: Formal verification provides a rigid and thorough means of evaluating the correctness of cryptographic protocols so that even subtle defects can be identified. As the application...
IPPS
2009
IEEE
15 years 6 months ago
2009
IEEE
As modern supercomputing systems reach the peta-flop performance range, they grow in both size and complexity. This makes them increasingly vulnerable to failures from a variety ...
EDOC
2002
IEEE
15 years 4 months ago
2002
IEEE
For the majority of front-end e-business systems, the assumption of a coherent and homogeneous set of interfaces is highly unrealistic. Problems start in the back-end, with system...