785 search results - page 130 / 157 » First-class Synchronous Operations |
AR
2010
14 years 10 months ago
2010
Physical support of lower limbs during sit-to-stand and stand-to-sit transfers is important for an independent life of paraplegic patients. The purpose of this study is, therefore...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
c Modular Abstractions for Template Numerical Constraints David Monniaux May 26, 2010 We propose a method for automatically generating abstract transformstatic analysis by abstrac...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
EAAI
2008
14 years 10 months ago
2008
Fault tolerant measurements are an essential requirement for system identification, control and protection. Measurements can be corrupted or interrupted due to sensor failure, bro...
JPDC
2006
14 years 9 months ago
2006
The vulnerability of computer nodes due to component failures is a critical issue for cluster-based file systems. This paper studies the development and deployment of mirroring in...