Damir Jamsek

According to our database, Damir Jamsek authored at least 7 papers between 1989 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Experiences with hybrid clusters.

Damir Jamsek, Eric Van Hensbergen

Proceedings of the 2009 IEEE International Conference on Cluster Computing, August 31, 2009

2008

An 8T-SRAM for Variability Tolerance and Low-Voltage Operation in High-Performance Caches.

Leland Chang, Robert K. Montoye, Yutaka Nakamura, Kevin Batson, Richard J. Eickemeyer, Robert H. Dennard, Wilfried Haensch, Damir Jamsek

IEEE J. Solid State Circuits, 2008

2006

Limited switch dynamic logic circuits for high-speed low-power circuit design.

Wendy Belluomini, Damir Jamsek, Andrew K. Martin, Chandler McDowell, Robert K. Montoye, Hung C. Ngo, Jun Sawada

IBM J. Res. Dev., 2006

2003

Verisym: Verifying Circuits by Symbolic Simulation.

William Adams, Warren A. Hunt Jr., Damir Jamsek

Formal Methods Syst. Des., 2003

1996

Safety-Critical Systems Built with COTS.

Joseph A. Profeta III, Nikos P. Andrianos, Bing Yu, Barry W. Johnson, Todd A. DeLong, David Guaspari, Damir Jamsek

Computer, 1996

Formal Specification and Verification of VHDL.

Mark Bickford, Damir Jamsek

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

1989

WINTER: WAMS in Tim Expression Reduction.

Damir Jamsek, Kevin J. Greene, Shiu-Kai Chin, Paul R. Humenn

Proceedings of the Logic Programming, 1989