1938 search results - page 167 / 388 » Dependable Software |
DSN
2002
IEEE
15 years 7 months ago
2002
IEEE
The NASA Remote Exploration and Experimentation (REE) Project, managed by the Jet Propulsion Laboratory, has the vision of bringing commercial supercomputing technology into space...
106
click to vote
APSEC
1998
IEEE
15 years 6 months ago
1998
IEEE
In this paper we demonstrate how light weight tools can be used to increase the level of confidence in Z specifications. In particular we outline the Pipedream approach to explori...
121
click to vote
TC
2010
14 years 9 months ago
2010
A systematic approach to the comparison of the graphics processor (GPU) and reconfigurable logic is defined in terms of three throughput drivers. The approach is applied to five ca...
124
click to vote
SIGSOFT
2009
ACM
16 years 3 months ago
2009
ACM
Parallel changes are becoming increasingly prevalent in the development of large scale software system. To further study the relationship between parallel changes and faults, we h...
111
click to vote
DSN
2005
IEEE
15 years 8 months ago
2005
IEEE
Hardware dependability improvements have led to a situation in which it is sometimes unnecessary to employ extensive hardware replication to mask hardware faults. Expanding upon o...