1054 search results - page 129 / 211 » Abstract Regular Model Checking |
IPPS
1999
IEEE
14 years 2 months ago
1999
IEEE
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...
TMI
2002
13 years 9 months ago
2002
Abstract-- We present a method for accurate image registration and motion compensation in multidimensional signals, such as 2D X-ray images and 3D CT/MRI volumes. The method is bas...
SSS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. “Pulse Synchronization” intends to invoke a recurring distributed event at the different nodes, of a distributed system as simultaneously as possible and with a freq...
ADAEUROPE
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...
FORTE
2007
13 years 11 months ago
2007
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...