IFIP
2000
Springer
13 years 8 months ago
2000
Springer
We consider two software packages that interact with each other as components: Overture and PETSc. An interface between these two packages could be of tremendous value to applicati...
IFIP
2000
Springer
13 years 8 months ago
2000
Springer
IFIP
2000
Springer
13 years 8 months ago
2000
Springer
The validation of functional and real-time requirements of control software for embedded systems is a difficult task. It usually needs the electronic control unit (ECU) and the co...
IFIP
2000
Springer
13 years 8 months ago
2000
Springer
Design of gracefully degrading systems, where functionality is gradually reduced in the face of faults, has traditionally been a very difficult and error-prone task. General appro...
IFIP
2000
Springer
13 years 8 months ago
2000
Springer
IFIP
2000
Springer
13 years 8 months ago
2000
Springer