5448 search results - page 201 / 1090 » Breakpoints and Time in Distributed Computations |
175
click to vote
CONCUR
2006
Springer
15 years 6 months ago
2006
Springer
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such...
161
click to vote
ISI
2008
Springer
15 years 4 months ago
2008
Springer
An Intrusion Detection Program (IDP) analyzes what happens or has happened during an execution and tries to find indications that the computer has been misused. In this talk, we p...
149
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
The integration of clusters of computers into computational grids has recently gained the attention of many computational scientists. While considerable progress has been made in ...
120
click to vote
HPCC
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents a new algorithm for computing the singular value decomposition (SVD) on multilevel memory hierarchy architectures. This algorithm is based on one-sided JRS iter...
151
click to vote
CLUSTER
2003
IEEE
15 years 9 months ago
2003
IEEE
— The efforts to construct a national scale Grid computing environment have brought unprecedented computing capacity and complicacy. Exploiting this complex infrastructure requir...