Search the dblp DataBase

Publications of Author

1. Mark Bickford, Damir Jamsek
   Formal Specification and Verification of VHDL. [Citation Graph (0, 0)][DBLP]
   FMCAD, 1996, pp:310-326 [Conf]
   
2. Damir Jamsek, Kevin J. Greene, Shiu-Kai Chin, Paul R. Humenn
   WINTER: WAMS in Tim Expression Reduction. [Citation Graph (0, 0)][DBLP]
   NACLP, 1989, pp:1013-1029 [Conf]
   
3. 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. [Citation Graph (0, 0)][DBLP]
   IEEE Computer, 1996, v:29, n:11, pp:54-60 [Journal]
   
4. William Adams, Warren A. Hunt Jr., Damir Jamsek
   Verisym: Verifying Circuits by Symbolic Simulation. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2003, v:22, n:2, pp:163-173 [Journal]
   
5. 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. [Citation Graph (0, 0)][DBLP]
   IBM Journal of Research and Development, 2006, v:50, n:2-3, pp:277-286 [Journal]
   
6. 
   Experiences with hybrid clusters. [Citation Graph (, )][DBLP]