Masaki, 'Deep-Submicron CMOS Warms Up to High-Speed Logic' ... Proceedings of the Custom Integrated Circuits Conference, San Diego, California, May 1-4, 1994. ...
A Parameterized Type System for Race-Free Java Programs. Chandrasekhar Boyapati Martin Rinard ... Statically verifiable race-free program. a1 is locked before ...