On Computing the Sizes of Detected Delay Faults
- Vijay S. Iyengar
- Barry K. Rosen
- et al.
- 1990
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Publications
Date
Featured collections
Popular topics
40 results for Barry K. Rosen
HSS—A High-Speed Simulator
- Zeev Barzilai
- J. Lawrence Carter
- et al.
- 1987
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Robust linear algorithms for cutsets
- Barry K Rosen
- 1982
- Journal of Algorithms
Transformations of structures: An algebraic approach
- Hartmut Ehrig
- Hans-Jörg Kreowski
- et al.
- 1981
- Mathematical Systems Theory
Qualified Data Flow Problems
- L. Howard Holley
- Barry K. Rosen
- 1981
- IEEE Transactions on Software Engineering
Parallelism and concurrency of graph manipulations
- Hartmut Ehrig
- Barry K. Rosen
- 1980
- Theoretical Computer Science
Correctness of parallel programs: The Church-Rosser approach
- Barry K Rosen
- 1976
- Theoretical Computer Science
Deriving graphs from graphs by applying a production
- Barry K. Rosen
- 1975
- Acta Informatica
Program equivalence and context-free grammars
- Barry K. Rosen
- 1975
- Journal of Computer and System Sciences
Syntactic complexity
- Barry K. Rosen
- 1974
- Information and Control