Mark S. Laventhal

According to our database, Mark S. Laventhal authored at least 3 papers between 1975 and 1991.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1991

Architecture and compiler enhancements for PA-RISC workstations.

Daryl Odnert, Robert Hansen, Manoj Dadoo, Mark S. Laventhal

Proceedings of the Compcon Spring '91, San Francisco, 1991

1979

A methodology for the development of reliable synchronization software.

Mark S. Laventhal

Proceedings of the IEEE Computer Society's Third International Computer Software and Applications Conference, 1979

1975

Verifying programs which operate on data structures.

Mark S. Laventhal

Proceedings of the International Conference on Reliable Software 1975, 1975