3886 search results - page 540 / 778 » Implementing Fault-Tolerant Distributed Applications |
136
click to vote
EUROPAR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We describe a consistent splitting approach to the pressurestabilized Petrov-Galerkin finite element method for incompressible flow. The splitting leads to (almost) exp...
151
click to vote
MATA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Intrusion detection systems are quickly becoming a standard requirement in building a network security infrastructure. Although many established techniques and commercial...
109
click to vote
CCGRID
2003
IEEE
15 years 9 months ago
2003
IEEE
As computing systems grow in complexity, the cluster and grid communities require more sophisticated tools to diagnose, debug and analyze such systems. We have developed a toolkit...
125
Voted
EDOC
2003
IEEE
15 years 9 months ago
2003
IEEE
Model-driven architectures (MDA) separate the business or application logic from the underlying platform technology and represent this logic with precise semantic models. These mo...
110
click to vote
KBSE
2003
IEEE
15 years 9 months ago
2003
IEEE
We propose a practical parallel on-the-fly algorithm for enumerative LTL model-checking. The algorithm is designed for a cluster of workstations communicating via MPI. The detect...