-
1
-
-
34547456023
-
-
P. Broadwell, N. Sastry, and J. Traupma. FIG: A prototype tool for online verification of recovery mechanisms. In In Workshop on Self-Healing, Adaptive and self-MANaged Systems, Jun 2002.
-
P. Broadwell, N. Sastry, and J. Traupma. FIG: A prototype tool for online verification of recovery mechanisms. In In Workshop on Self-Healing, Adaptive and self-MANaged Systems, Jun 2002.
-
-
-
-
2
-
-
34547490200
-
-
F. Cristian. Exception handling and tolerance of software faults. In M. Lyu, editor, Software Fault Tolerance, pages 81-107. Ed. Wiley, 1995.
-
F. Cristian. Exception handling and tolerance of software faults. In M. Lyu, editor, Software Fault Tolerance, pages 81-107. Ed. Wiley, 1995.
-
-
-
-
3
-
-
78650290559
-
How to write shared libraries. Technical report, Red Hat, Inc., Research Triangle Park, NC
-
Tech. Rep, Jan, available
-
U. Drepper. How to write shared libraries. Technical report, Red Hat, Inc., Research Triangle Park, NC, Tech. Rep., Jan 2005. available: http://people.redhat.com/drepper/dsohowto.pdf.
-
(2005)
-
-
Drepper, U.1
-
6
-
-
84871262255
-
-
GNU project
-
GNU project. GNU binutils. http://www.gnu.org/software/binutils/.
-
GNU binutils
-
-
-
7
-
-
0032597702
-
Comparing the robustness of posix operating systems
-
Washington, DC, USA, IEEE Computer Society
-
P. Koopman and J. DeVale. Comparing the robustness of posix operating systems. In FTCS '99: Proceedings of the Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing, page 30, Washington, DC, USA, 1999. IEEE Computer Society.
-
(1999)
FTCS '99: Proceedings of the Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing
, pp. 30
-
-
Koopman, P.1
DeVale, J.2
-
8
-
-
0034273862
-
The exception handling effectiveness of posix operating systems
-
P. Koopman and J. DeVale. The exception handling effectiveness of posix operating systems. IEEE Trans. Softw. Eng., 26(9):837-848, 2000.
-
(2000)
IEEE Trans. Softw. Eng
, vol.26
, Issue.9
, pp. 837-848
-
-
Koopman, P.1
DeVale, J.2
-
9
-
-
34547477191
-
-
Santa Cruz Operation Inc. and AT&T. System VABI, IA32 Supplement. Santa Cruz Operation Inc., AT&T, 4th edition, 1997.
-
Santa Cruz Operation Inc. and AT&T. System VABI, volume IA32 Supplement. Santa Cruz Operation Inc., AT&T, 4th edition, 1997.
-
-
-
-
10
-
-
26444511823
-
Countering network worms through automatic patch generation
-
Technical report, Columbia University Computer Science Department
-
S. Sidiroglou and A. D. Keromytis. Countering network worms through automatic patch generation. Technical report, Columbia University Computer Science Department, 2003.
-
(2003)
-
-
Sidiroglou, S.1
Keromytis, A.D.2
|