BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × USA
Collaborated with:
D.L.Dill L.Yang D.Gao J.Mostoufi R.Joshi
Talks about:
multiprocessor (1) methodolog (1) protocol (1) system (1) higher (1) design (1) verif (1) ultra (1) sparc (1) simul (1)

Person: Paul Loewenstein

DBLP DBLP: Loewenstein:Paul

Contributed to:

DAC 19951995
CAV 19901990

Wrote 2 papers:

DAC-1995-YangGMJL #design
System Design Methodology of UltraSPARC-I (LY, DG, JM, RJ, PL), pp. 7–12.
CAV-1990-LoewensteinD #higher-order #logic #multi #protocol #simulation #using #verification
Verification of a Multiprocessor Cache Protocol Using Simulation Relations and Higher-Order Logic (PL, DLD), pp. 302–311.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.