Ramesh V. Peri

Publication Activity (10 Years)

Years Active: 1994-2005
Publications (10 Years): 0

Publications

Youfeng Wu, Maurício Breternitz Jr., Herbert H. J. Hum, Ramesh V. Peri, Jay Pickett
Enhanced code density of embedded CISC processors with echo technology. CODES+ISSS (2005)
Ramesh V. Peri, John Fernando, Ravi K. Kolagotla
Addressing mode driven low power data caches for embedded processors. WMPI (2004)
Ramesh V. Peri, Srinivas Doddapaneni
Compilers and Tools for Embedded Systems - Introduction. HICSS (2000)
Ramesh V. Peri, William A. Wulf, Darrell M. Kienzle
A Logic of Composition for Information Flow Predicates. CSFW (1996)
Ramesh V. Peri, William A. Wulf
Formal Specification of Information Flow Security Policies and Their Enforcement in Security Critical Systems. CSFW (1994)