Gerald M. Masson

J. Mach. Learn. Res., 2006

Using visual motifs to classify encrypted traffic.

[BibT_eX]

[DOI]

Charles V. Wright

Fabian Monrose

Proceedings of the 3rd International Workshop on Visualization for Computer Security, 2006

2004

HMM profiles for network traffic classification.

[BibT_eX]

[DOI]

Charles V. Wright

Fabian Monrose

Proceedings of the 1st ACM Workshop on Visualization and Data Mining for Computer Security, 2004

2003

Software Tamper Resistance Using Program Certificates.

[BibT_eX]

[DOI]

Hongxia Jin

Proceedings of the Computer Safety, 2003

2002

Continuous Process Improvement and the Risk to Information Assurance.

[BibT_eX]

[DOI]

George E. Kalb

IEEE Softw., 2002

1999

The Necessary Conditions for Clos-Type Nonblocking Multicast Networks.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1999

Strictly nonblocking conference networks using high-dimensional meshes.

[BibT_eX]

[DOI]

Yi Du

Networks, 1999

Run-time Result Certification for Distributed Computations.

[BibT_eX]

Hongxia Jin

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

1998

Enhancing Accuracy of Probe Packet-based Congestion Detection in High Speed Networks.

[BibT_eX]

[DOI]

Yi Du

Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1998), 1998

1997

A Formally Verified Sorting Certifier.

[BibT_eX]

[DOI]

Jonathan D. Bright

IEEE Trans. Computers, 1997

Strictly nonblocking conferencing meshes.

[BibT_eX]

[DOI]

Yi Du

Proceedings of the Advances in Switching Networks, 1997

1996

Hypercube sandwich approach to conferencing.

[BibT_eX]

[DOI]

Joanne F. Houlahan

Lenore J. Cowen

J. Supercomput., 1996

The Necessary Conditions for Clos-Type Nonblocking Multicast Networks.

[BibT_eX]

[DOI]

Proceedings of IPPS '96, 1996

1995

Broadcast Ring Sandwich Networks.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1995

Certification of Computational Results.

[BibT_eX]

[DOI]

Dwight S. Wilson

IEEE Trans. Computers, 1995

Large Response to "Comments on 'An O(n^2.5) Fault Identification Algorithm for Diagnosable Systems"'.

[BibT_eX]

IEEE Trans. Computers, 1995

Checking the Integrity of Trees.

[BibT_eX]

[DOI]

Jonathan D. Bright

Proceedings of the Digest of Papers: FTCS-25, 1995

1993

Certification Trails and Software Design for Testability.

[BibT_eX]

[DOI]

Dwight S. Wilson

Proceedings of the Proceedings IEEE International Test Conference 1993, Designing, Testing, and Diagnostics, 1993

1992

Intermittent Fault Diagnosis in Multiprocessor Systems.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1992

Efficient Diagnosis of Multiprocessor Systems under Probabilistic Models.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1992

Experimental evaluation of certification trails using abstract data type validation.

[BibT_eX]

[DOI]

Dwight S. Wilson

Proceedings of the Sixteenth Annual International Computer Software and Applications Conference, 1992

1991

Nonblocking Broadcast Switching Networks.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1991

Certitication Trails for Data Structures.

[BibT_eX]

[DOI]

Proceedings of the 1991 International Symposium on Fault-Tolerant Computing, 1991

1990

Performance Analysis of a Generalized Concurrent Error Detection Procedure.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1990

Using certification trails to achieve software fault tolerance.

[BibT_eX]

[DOI]

Proceedings of the 20th International Symposium on Fault-Tolerant Computing, 1990

1989

Fault diagnosis for sparsely interconnected multiprocessor systems.

[BibT_eX]

[DOI]

Proceedings of the Nineteenth International Symposium on Fault-Tolerant Computing, 1989

1988

Hybrid Fault Diagnosability with Unreliable Communcation Links.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1988

A Distributed Algorithm for Fault Diagnosis in Systems with Soft Failures.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1988

Almost certain diagnosis for intermittently faulty systems.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth International Symposium on Fault-Tolerant Computing, 1988

1987

An Efficient Algorithm for Multiprocessor Fault Diagnosis Using the Comparison Approach

[BibT_eX]

[DOI]

Inf. Comput., July, 1987

A New Measure for Hybrid Fault Diagnosability.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1987

A Generalization of Hybrid Fault Diagnosability.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1987

1986

On Fault Isolation and Identification in t1/t1-Diagnosable Systems.

[BibT_eX]

[DOI]

Richard A. Leonetti

IEEE Trans. Computers, 1986

A Fault Identification Algorithm for ti-Diagnosable Systems.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1986

1985

Self-Implicating Structures for Diagnosable Systems.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1985

1984

An O(n2.5) Fault Identification Algorithm for Diagnosable Systems.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1984

1983

Expected Capacity of (m over 2)-Networks.

[BibT_eX]

[DOI]

S. Brent Morris

IEEE Trans. Computers, 1983

Greedy Diagnosis as the Basis of an Intermittent-Fault/Transient-Upset Tolerant System Design.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1983

Greedy Diagnosis of Hybrid Fault Situations.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1983

1982

Lower Bounds on Crosspoints in Concentrators.

[BibT_eX]

[DOI]

Shinji Nakamura

IEEE Trans. Computers, 1982

The Containment Set Approach to Upsets in Digital Systems.

[BibT_eX]

[DOI]

Robert E. Glaser

IEEE Trans. Computers, 1982

1980

Diagnosis Without Repair for Hybrid Fault Situations.

[BibT_eX]

[DOI]

Sivanarayana Mallela

IEEE Trans. Computers, 1980

Generic Fault Characterizations for Table Look-Up Coverage Bounding.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1980

1979

A Functional Form Approach to Test Set Coverage in Tree Networks.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1979

Recursive Coverage Projection of Test Sets.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1979

A Sampler of Circuit Switching Networks.

[BibT_eX]

[DOI]

George C. Gingher

Shinji Nakamura

Computer, 1979

1978

An Efficient Fault Diagnosis Algorithm for Symmetric Multiple Processor Architectures.

[BibT_eX]

[DOI]

Gerard G. L. Meyer

IEEE Trans. Computers, 1978

Diagnosable Systems for Intermittent Faults.

[BibT_eX]

[DOI]

Sivanarayana Mallela

IEEE Trans. Computers, 1978

1977

Binomial Switching Networks for Concentration and Distribution.

[BibT_eX]

[DOI]

IEEE Trans. Commun., 1977

Resolution-Oriented Fault Interrelationships in Combinational Logic Networks.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1977

1975

The Boolean Difference and Multiple Fault Analysis.

[BibT_eX]

[DOI]

Chia-Tai Ku

IEEE Trans. Computers, 1975

1974

Multi-connection networks.

[BibT_eX]

[DOI]

Proceedings of the American Federation of Information Processing Societies: 1974 National Computer Conference, 1974

1972

Generalized multi-stage connection networks.

[BibT_eX]

[DOI]