13489 search results - page 115 / 2698 » Self-migration of operating systems |
118
click to vote
SPIN
1999
Springer
15 years 9 months ago
1999
Springer
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...
136
click to vote
KBSE
2000
IEEE
15 years 8 months ago
2000
IEEE
Testing has a vital support role in the software engineering process, but developing tests often takes significant resources. A formal specification is a repository of knowledge a...
118
click to vote
CSREAESA
2004
15 years 6 months ago
2004
Battery lifetime extension is a primary design objective for portable systems. This paper investigates how non-ideal properties of a battery impacts its lifespan. More specificall...
131
click to vote
WSC
2001
15 years 6 months ago
2001
This paper presents a method for simulating basic manufacturing operations (unload, load, process, move, and store) in a 3D virtual environment. The virtual environment provides a...
126
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
— In this paper, we propose a new projection operator for the redundancy framework based on a task function defined as the norm of the usual error. This projection operator allo...