Graph attribution as a specification paradigm
- Bowen Alpern
- Alan Carle
- et al.
- 1988
- ACM SIGSOFT/SIGPLAN SDE 1988
Conference paper
Publications
40 results for Barry K. Rosen
Graph Attribution as a Specification Paradigm
- Bowen Alpern
- Alan Carle
- et al.
- 1988
- ACM SIGPLAN Notices
PaperGlobal value numbers and redundant computations
- Barry K. Rosen
- Mark N. Wegman
- et al.
- 1988
- POPL 1988
Conference paperHSS—A High-Speed Simulator
- Zeev Barzilai
- J. Lawrence Carter
- et al.
- 1987
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
PaperEFFICIENT FAULT SIMULATION OF CMOS CIRCUITS WITH ACCURATE MODELS.
- Z. Barzilai
- J.Lawrence Carter
- et al.
- 1985
- IEEE ITC 1985
Conference paperACCURATE FAULT MODELING AND EFFICIENT SIMULATION OF DIFFERENTIAL CVS CIRCUITS.
- Z. Barzilai
- V.S. Iyengar
- et al.
- 1984
- IEEE ITC 1984
Conference paperATPG VIA RANDOM PATTERN SIMULATION.
- J.Lawrence Carter
- S.F. Dennis
- et al.
- 1984
- ISCAS 1984
Conference paperFAULT MODELLING AND SIMULATION OF SCVS CIRCUITS.
- Z. Barzilai
- V.S. Iyengar
- et al.
- 1983
- ICCD 1983
Conference paperRobust linear algorithms for cutsets
- Barry K Rosen
- 1982
- Journal of Algorithms
PaperTransformations of structures: An algebraic approach
- Hartmut Ehrig
- Hans-Jörg Kreowski
- et al.
- 1981
- Mathematical Systems Theory
Paper