Graph attribution as a specification paradigm
- Bowen Alpern
- Alan Carle
- et al.
- 1988
- ACM SIGSOFT/SIGPLAN SDE 1988
Publications
Date
Featured collections
Popular topics
40 results for Barry K. Rosen
Graph Attribution as a Specification Paradigm
- Bowen Alpern
- Alan Carle
- et al.
- 1988
- ACM SIGPLAN Notices
Global value numbers and redundant computations
- Barry K. Rosen
- Mark N. Wegman
- et al.
- 1988
- POPL 1988
HSS—A High-Speed Simulator
- Zeev Barzilai
- J. Lawrence Carter
- et al.
- 1987
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
EFFICIENT FAULT SIMULATION OF CMOS CIRCUITS WITH ACCURATE MODELS.
- Z. Barzilai
- J.Lawrence Carter
- et al.
- 1985
- IEEE ITC 1985
ATPG VIA RANDOM PATTERN SIMULATION.
- J.Lawrence Carter
- S.F. Dennis
- et al.
- 1984
- ISCAS 1984
ACCURATE FAULT MODELING AND EFFICIENT SIMULATION OF DIFFERENTIAL CVS CIRCUITS.
- Z. Barzilai
- V.S. Iyengar
- et al.
- 1984
- IEEE ITC 1984
FAULT MODELLING AND SIMULATION OF SCVS CIRCUITS.
- Z. Barzilai
- V.S. Iyengar
- et al.
- 1983
- ICCD 1983
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