Arithmetic Optimization Techniques for Hardware and Software Design

Publicat 2010

A Compositional Approach to Performance Modelling

per Hillston, J. (Jane), 1963-
Publicat 1996

Computer aided verification 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, proceedings /

Publicat 2008

Computer performance evaluation and benchmarking SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009 : proceedings /

Publicat 2009

Computer safety, reliability, and security 25th international conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006 : proceedings /

Publicat 2006

Computer safety, reliability, and security 26th international conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007 : proceedings /

Publicat 2007

Dependable computing EDCC 2005 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005 : proceedings /

Publicat 2005

Dependable computing second Latin-American symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005 : proceedings /

Publicat 2005

Dependable computing third Latin-American symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007 : proceedings /

Publicat 2007

Power-aware computer systems 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004 : revised selected papers /

Publicat 2005

The student's guide to VHDL

per Ashenden, Peter J.
Publicat 2008