Home Advanced Search

Advanced Search - Page 1

Scalable Hardware Verification with Symbolic Simulation
  • PDF
  • English
  • Year: 2006
  • Author: Valeria Bertacco (auth.)
Scalable Hardware Verification with Symbolic Simulation
  • PDF
  • English
  • Year: 2005
  • Author: Valeria Bertacco
Post-Silicon and Runtime Verification for Modern Processors
  • PDF
  • English
  • Year: 2011
  • Author: Ilya Wagner, Valeria Bertacco (auth.)
Post-Silicon and Runtime Verification for Modern Processors
  • PDF
  • English
  • Year: 2011
  • Author: Ilya Wagner, Valeria Bertacco (auth.)
Functional Design Errors in Digital Circuits: Diagnosis, Correction and Repair
  • PDF
  • English
  • Year: 2009
  • Author: Kai-hui Chang, Igor L. Markov, Valeria Bertacco (auth.)
Functional Design Errors in Digital Circuits: Diagnosis, Correction and Repair
  • PDF
  • English
  • Year: 2009
  • Author: Kai-hui Chang, Igor L. Markov, Valeria Bertacco (auth.)
Post-Silicon and Runtime Verification for Modern Processors
  • PDF
  • English
  • Year: 2010;2011
  • Author: Wagner, Ilya;Bertacco, Valeria
Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Michael Codish, Yoav Fekete, Amit Metodi (auth.), Valeria Bertacco, Axel Legay (eds.)
Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Michael Codish, Yoav Fekete, Amit Metodi (auth.), Valeria Bertacco, Axel Legay (eds.)
Language and Translation in Postcolonial Literatures
  • EPUB
  • English
  • Year: 2013
  • Author: Bertacco, Simona;
search