Barry K. Rosen

According to our database1, Barry K. Rosen
  • authored at least 49 papers between 1970 and 1998.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1998
Decomposition of Heterogeneous Classification Problems.
Intell. Data Anal., 1998

1997
Decomposition of Heterogeneous Classification Problems.
Proceedings of the Advances in Intelligent Data Analysis, 1997

1995
AVPGEN-A test generator for architecture verification.
IEEE Trans. VLSI Syst., 1995

1994
Architectural Verification of Processors Using Symbolic Instruction Graphs.
Proceedings of the Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1994

1992
How to Analyze Large Programs Efficiently and Informatively.
Proceedings of the ACM SIGPLAN'92 Conference on Programming Language Design and Implementation (PLDI), 1992

Delay Test: The Next Frontier for LSSD Test Systems.
Proceedings of the Proceedings IEEE International Test Conference 1992, 1992

AC Test Quality: Beyond Transition Fault Coverage.
Proceedings of the Proceedings IEEE International Test Conference 1992, 1992

1991
Efficiently Computing Static Single Assignment Form and the Control Dependence Graph.
ACM Trans. Program. Lang. Syst., 1991

1990
On computing the sizes of detected delay faults.
IEEE Trans. on CAD of Integrated Circuits and Systems, 1990

Incremental Evaluation of Computational Circuits.
Proceedings of the First Annual ACM-SIAM Symposium on Discrete Algorithms, 1990

1989
An Efficient Method of Computing Static Single Assignment Form.
Proceedings of the Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, 1989

Restricted symbolic evaluation is fast and useful.
Proceedings of the 1989 IEEE International Conference on Computer-Aided Design, 1989

1988
Graph Attribution as a Specification Paradigm.
Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1988

Global Value Numbers and Redundant Computations.
Proceedings of the Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, 1988

Delay Test Generation 2: Algebra and Algorithms.
Proceedings of the Proceedings International Test Conference 1988, 1988

Delay Test Generation 1: Concepts and Coverage Metrics.
Proceedings of the Proceedings International Test Conference 1988, 1988

1987
HSS--A High-Speed Simulator.
IEEE Trans. on CAD of Integrated Circuits and Systems, 1987

1986
Transition Fault Simulation by Parallel Pattern Single Fault Propagation.
Proceedings of the Proceedings International Test Conference 1986, 1986

Efficient Fault Simulation of CMOS Circuits with Accurate Models.
Proceedings of the Proceedings International Test Conference 1986, 1986

1985
Accurate Fault Modeling and Efficient Simulation of Differential CVS Circuits.
Proceedings of the Proceedings International Test Conference 1985, 1985

1983
Comparison of AC Self-Testing Procedures.
Proceedings of the Proceedings International Test Conference 1983, 1983

1982
A Lubricant for Data Flow Analysis.
SIAM J. Comput., 1982

Robust Linear Algorithms for Cutsets.
J. Algorithms, 1982

1981
Qualified Data Flow Problems.
IEEE Trans. Software Eng., 1981

Transformations of Structures: an Algebraic Approach.
Mathematical Systems Theory, 1981

Linear Cost is Sometimes Quadratic.
Proceedings of the Conference Record of the Eighth Annual ACM Symposium on Principles of Programming Languages, 1981

1980
Parallelism and Concurrency of Graph Manipulations.
Theor. Comput. Sci., 1980

Monoids for Rapid Data Flow Analysis.
SIAM J. Comput., 1980

The Mathematics of Record Handling.
SIAM J. Comput., 1980

Qualified Data Flow Problems.
Proceedings of the Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, 1980

1979
Data Flow Analysis for Procedural Languages.
J. ACM, 1979

1978
The Toy Language Syndrome.
IEEE Trans. Software Eng., 1978

Monoids for Rapid Data Flow Analysis.
Proceedings of the Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, 1978

Concurrency of Manipulations in Multidimensional Information Structures.
Proceedings of the Mathematical Foundations of Computer Science 1978, 1978

Deriving Structures from Structures.
Proceedings of the Mathematical Foundations of Computer Science 1978, 1978

Decomposition of Graph Grammar Productions and Derivations.
Proceedings of the Graph-Grammars and Their Application to Computer Science and Biology, International Workshop, Bad Honnef, October 30, 1978

1977
High-Level Data Flow Analysis.
Commun. ACM, 1977

Applications of High-Level Control Flow.
Proceedings of the Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, 1977

The Mathematics of Record Handling.
Proceedings of the Automata, 1977

1976
Correctness of Parallel Programs: The Church-Rosser Approach.
Theor. Comput. Sci., 1976

1975
Program Equivalence and Context-Free Grammars.
J. Comput. Syst. Sci., 1975

Bases for Chain-Complete Posets
Proceedings of the 16th Annual Symposium on Foundations of Computer Science, 1975

1974
Syntactic Complexity
Information and Control, April, 1974

Deriving Graphs from Graphs by Applying a Production.
Acta Inf., 1974

1973
Tree-Manipulating Systems and Church-Rosser Theorems.
J. ACM, 1973

Procedure Linkage Optimization.
Proceedings of the Conference Record of the ACM Symposium on Principles of Programming Languages, 1973

Recursively Defined Data Types.
Proceedings of the Conference Record of the ACM Symposium on Principles of Programming Languages, 1973

1972
Program Equivalence and Context-Free Grammars
Proceedings of the 13th Annual Symposium on Switching and Automata Theory, 1972

1970
Tree-Manipulating Systems and Church-Rosser Theorems
Proceedings of the 2nd Annual ACM Symposium on Theory of Computing, 1970


  Loading...