Damir Jamsek

Publication Activity (10 Years)

Years Active: 1989-2009
Publications (10 Years): 0

Publications

Damir Jamsek, Eric Van Hensbergen
Experiences with hybrid clusters. CLUSTER (2009)
Leland Chang, Robert K. Montoye, Yutaka Nakamura, Kevin Batson, Richard J. Eickemeyer, Robert H. Dennard, Wilfried Haensch, Damir Jamsek
An 8T-SRAM for Variability Tolerance and Low-Voltage Operation in High-Performance Caches. IEEE J. Solid State Circuits 43 (4) (2008)
Wendy Belluomini, Damir Jamsek, Andrew K. Martin, Chandler McDowell, Robert K. Montoye, Hung C. Ngo, Jun Sawada
Limited switch dynamic logic circuits for high-speed low-power circuit design. IBM J. Res. Dev. 50 (2-3) (2006)
William Adams, Warren A. Hunt Jr., Damir Jamsek
Verisym: Verifying Circuits by Symbolic Simulation. Formal Methods Syst. Des. 22 (2) (2003)
Mark Bickford, Damir Jamsek
Formal Specification and Verification of VHDL. FMCAD (1996)
Joseph A. Profeta III, Nikos P. Andrianos, Bing Yu, Barry W. Johnson, Todd A. DeLong, David Guaspari, Damir Jamsek
Safety-Critical Systems Built with COTS. Computer 29 (11) (1996)
Damir Jamsek, Kevin J. Greene, Shiu-Kai Chin, Paul R. Humenn
WINTER: WAMS in Tim Expression Reduction. NACLP (1989)