6199 search results - page 882 / 1240 » Monitoring the |
194
click to vote
ISSTA
2000
ACM
15 years 11 months ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
200
click to vote
SC
2000
ACM
15 years 11 months ago
2000
ACM
As evidenced by the popularity of MPI (Message Passing Interface), message passing is an effective programming technique for managing coarse-grained concurrency on distributed com...
264
click to vote
SC
2000
ACM
15 years 11 months ago
2000
ACM
We aimed to study the performance of a parallel implementation of an intraoperative nonrigid registration algorithm that accurately simulates the biomechanical properties of the b...
136
click to vote
SIGIR
2000
ACM
15 years 11 months ago
2000
ACM
This article compares search effectiveness when using query-based Internet search (via the Google search engine), directory-based search (via Yahoo) and phrasebased query reformul...
197
click to vote
DSOM
2000
Springer
15 years 11 months ago
2000
Springer
Operational Data Analysis (ODA) automatically 1) monitors the performance of a computer through time, 2) stores such information in a data repository, 3) applies data-mining techn...