Uniform memory hierarchies
- Bowen Alpern
- Larry Carter
- et al.
- 1990
- FOCS 1990
Publications
27 results for Bowen Alpern
Incremental evaluation of computational circuits
- Bowen Alpern
- Roger Hoover
- et al.
- 1990
- SODA 1990
Graph attribution as a specification paradigm
- Bowen Alpern
- Alan Carle
- et al.
- 1988
- ACM SIGSOFT/SIGPLAN SDE 1988
Verifying temporal properties without temporal logic
- Bowen Alpern
- Fred B. Schneider
- 1989
- ACM Transactions on Programming Languages and Systems (TOPLAS)
Graph Attribution as a Specification Paradigm
- Bowen Alpern
- Alan Carle
- et al.
- 1988
- ACM SIGPLAN Notices
Detecting equality of variables in programs
- Bowen Alpern
- Mark N. Wegman
- et al.
- 1988
- POPL 1988
Recognizing safety and liveness
- Bowen Alpern
- Fred B. Schneider
- 1987
- Distributed Computing