Memory Renaming: Fast and Accurate Processing of Memory Communication (1999) [pdf](web.eecs.umich.edu)52 points by mfiguiere 2 years ago | 6 comments
The Power of 10: Rules for Developing Safety-Critical Code [pdf](web.eecs.umich.edu)45 points by CharlesW 3 years ago | 21 comments
Screenshot pending…Implementing remote procedure calls – Birrel and Nelson (1981) [pdf](web.eecs.umich.edu)18 points by simplotek 3 years ago | 1 comments
![Screenshot of web.eecs.umich.edu: Memory Renaming: Fast and Accurate Processing of Memory Communication (1999) [pdf]](https://hn.urlbox.com/shots/renders/2024/2/16/bc7547a7-bd3d-4e19-abe3-2616f5513fad.jpg)
![Screenshot of web.eecs.umich.edu: The Power of 10: Rules for Developing Safety-Critical Code [pdf]](https://hn.urlbox.com/shots/renders/2023/6/28/638357a4-b854-47c2-8e55-078097647596.jpg)