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
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
Linear cost is sometimes quadratic
- Barry K. Rosen
- 1981
- POPL 1981
Monoids for rapid data flow analysis
- Barry K. Rosen
- 1978
- POPL 1978
Applications of high level control flow
- Barry K. Rosen
- 1977
- POPL 1977
Bases for chain-complete posets
- George Markowsky
- Barry K. Rosen
- 1975
- FOCS 1975
Program equivalence and context-free grammars
- Barry K. Rosen
- 1972
- SWAT 1972