LC control no. | n 91002767 |
---|---|
Personal name heading | Devadas, Srinivas |
Variant(s) | Devadas, Srini |
Found in | nuc91-602: Author's Techniques for optimization-based synthesis ... 1988 (hdg. on CU rept.: Devadas, Srinivas; usage: Srinivas Devadas) Ghosh, A. Sequential logic testing and verification, c1992: CIP t.p. (Srinivas Devadas) data sheet (b. 11/23/63) Programming for the puzzled, 2017: ECIP t.p. (Srini Devadas) data view (Edwin Sibley Webster Professor of Electrical Engineering and Computer Science at MIT) MIT web site, viewed March 1, 2017 (MIT since 1988, professor Srini Devadas; Srinivas Devadas; his interests span Computer-Aided Design (CAD), computer security and computer architecture; shows selected works including five articles on compiler optimization) |