-
1
-
-
0024011135
-
A Relational Approach to Monitoring Complex Systems
-
May
-
R. Snodgrass, “A Relational Approach to Monitoring Complex Systems,” ACM Trans. Computer Systems, Vol. 6, No. 2, May 1988, pp. 156-196.
-
(1988)
ACM Trans. Computer Systems
, vol.6
, Issue.2
, pp. 156-196
-
-
Snodgrass, R.1
-
2
-
-
84976764337
-
An Annotated Bibliography of Interactive Program Steering
-
Sept.
-
W. Gu, J. Vetter, and K. Schwan, “An Annotated Bibliography of Interactive Program Steering,” SIGPlan Notices, Vol. 29, No. 9, Sept. 1994, pp. 140-148.
-
(1994)
SIGPlan Notices
, vol.29
, Issue.9
, pp. 140-148
-
-
Gu, W.1
Vetter, J.2
Schwan, K.3
-
3
-
-
0004231770
-
-
2nd ed., ACM Press, New York
-
S. Mullender, ed., Distributed Systems, 2nd ed., ACM Press, New York, 1993, pp. 283-312.
-
(1993)
Distributed Systems
, pp. 283-312
-
-
Mullender, S.1
-
4
-
-
0025210165
-
Minimizing Monitoring Costs: Choosing Between Tracing and Sampling
-
IEEE CS Press, Los Alamitos, Calif. Jan.
-
M. Kaelbling and D. Ogle, “Minimizing Monitoring Costs: Choosing Between Tracing and Sampling,” Proc. 23rd Int'l Conf. System Sciences, IEEE CS Press, Los Alamitos, Calif. Jan. 1990, pp. 314-320.
-
(1990)
Proc. 23rd Int'l Conf. System Sciences
, pp. 314-320
-
-
Kaelbling, M.1
Ogle, D.2
-
5
-
-
0025468358
-
A Noninterference Monitoring and Replay Mechanism for Real-Time Software Testing and Debugging
-
Aug.
-
J. J.P. Tsai et al., “A Noninterference Monitoring and Replay Mechanism for Real-Time Software Testing and Debugging,” IEEE Trans. Software Eng., Vol. 16, No. 8, Aug. 1990, pp. 897-916.
-
(1990)
IEEE Trans. Software Eng.
, vol.16
, Issue.8
, pp. 897-916
-
-
Tsai, J.J.P.1
-
6
-
-
0020594651
-
Safety Assertions for Process-Control Systems
-
IEEE CS Press, Los Alamitos, Calif., Order No. 477 (microfiche only)
-
N. Leveson and T. Shimeall, “Safety Assertions for Process-Control Systems,” Proc. 13th Int'l Symp. Fault-Tolerant Computing, IEEE CS Press, Los Alamitos, Calif., Order No. 477 (microfiche only), 1983, pp. 236-240.
-
(1983)
Proc. 13th Int'l Symp. Fault-Tolerant Computing
, pp. 236-240
-
-
Leveson, N.1
Shimeall, T.2
-
7
-
-
0027635522
-
Application Dependent Dynamic Monitoring of Distributed and Parallel Systems
-
July
-
D.M. Ogle, K. Schwan, and R. Snodgrass, “Application Dependent Dynamic Monitoring of Distributed and Parallel Systems,” IEEE Trans. Parallel and Distributed Systems, Vol. 4, No. 7, July 1993, pp. 762-778.
-
(1993)
IEEE Trans. Parallel and Distributed Systems
, vol.4
, Issue.7
, pp. 762-778
-
-
Ogle, D.M.1
Schwan, K.2
Snodgrass, R.3
-
8
-
-
0023294428
-
An Intrusion-Detection Model
-
Feb.
-
D.E. Denning, “An Intrusion-Detection Model,” IEEE Trans. Software Eng., Vol. 13, No. 2, Feb. 1987, pp. 222-232.
-
(1987)
IEEE Trans. Software Eng.
, vol.13
, Issue.2
, pp. 222-232
-
-
Denning, D.E.1
-
9
-
-
0027560850
-
Concurrent Runtime Monitoring of Formally Specified Programs
-
Mar.
-
S. Sankar and M. Mandal, “Concurrent Runtime Monitoring of Formally Specified Programs,” Computer, Vol. 26, No. 3, Mar. 1993, pp. 32-41.
-
(1993)
Computer
, vol.26
, Issue.3
, pp. 32-41
-
-
Sankar, S.1
Mandal, M.2
-
10
-
-
0026207086
-
Tools for Distributed Application Management
-
Aug.
-
K. Marzullo et al., “Tools for Distributed Application Management,” Computer, Vol. 24, No. 8, Aug. 1991, pp. 42-51.
-
(1991)
Computer
, vol.24
, Issue.8
, pp. 42-51
-
-
Marzullo, K.1
-
11
-
-
0027796299
-
Software-Implemented Fault Tolerance: Technologies and Experience
-
IEEE CS Press, Los Alamitos, Calif., Order No. 3680-02T
-
Y. Huang and C. Kintala, “Software-Implemented Fault Tolerance: Technologies and Experience,” Proc. 23rd Int'l Symp. on Fault-Tolerant Computing, IEEE CS Press, Los Alamitos, Calif., Order No. 3680-02T, 1993, pp. 2-9.
-
(1993)
Proc. 23rd Int'l Symp. on Fault-Tolerant Computing
, pp. 2-9
-
-
Huang, Y.1
Kintala, C.2
-
12
-
-
0041037572
-
Falcon: online Monitoring and Steering of Large-Scale Parallel Programs
-
College of Computing, Georgia Institute of Technology, Atlanta, Ga.
-
W. Gu et al., “Falcon: online Monitoring and Steering of Large-Scale Parallel Programs,” Tech. Report GIT-CC-94-21, College of Computing, Georgia Institute of Technology, Atlanta, Ga., 1994.
-
(1994)
Tech. Report GIT-CC-94-21
-
-
Gu, W.1
|