Sciweavers

6329 search results - page 956 / 1266
» Detection of Stochastic Processes
Sort
View
SPIN
1999
Springer
15 years 11 months ago
Model Checking Operator Procedures
Operator procedures are documents telling operators what to do in various situations. They are widely used in process industries including the nuclear power industry. The correctne...
Wenhui Zhang
CAPTECH
1998
Springer
15 years 11 months ago
3D Part Recognition Method for Human Motion Analysis
A method for matching sequences from two perspective views of a moving person silhouette is presented. Regular (approximate uniform thickness) parts are detected on an image and a ...
Carlos Yániz, Jairo Rocha, Francisco J. Per...
PADS
1997
ACM
15 years 11 months ago
Distributed Simulation of Spatially Explicit Ecological Models
Large-scale ecological simulations are natural candidates for distributed discrete event simulation. In optimistic simulation of spatially explicit models, a difficult problem ar...
Kevin Glass, Marilynn Livingston, John S. Conery
ICDCS
1996
IEEE
15 years 11 months ago
How to Recover Efficiently and Asynchronously when Optimism Fails
We propose a new algorithm for recovering asynchronously from failures in a distributed computation. Our algorithm is based on two novel concepts - a fault-tolerant vector clock t...
Om P. Damani, Vijay K. Garg
HICSS
1994
IEEE
139views Biometrics» more  HICSS 1994»
15 years 11 months ago
Operating System Support for Shared Memory Clusters
This paper addresses a purely software-based solution to the multiprocessor cache coherence problem by structuring an operating system to provide for the coherence of its own data...
Ronald L. Rockhold, James L. Peterson