Search Results - Bertacco, Valeria
Valeria Bertacco
Valeria Bertacco is a professor of Electrical Engineering and Computer Science as well as Vice Provost for Engaged Learning at the University of Michigan. She previously served as the Associate Dean for Academic Programs and Initiatives at the University of Michigan Rackham Graduate School.Bertacco headed the Center for Applications Driving Architectures (ADA) at the University of Michigan. Her work at the center includes leading initiatives to design processors that are especially tailored to run specific algorithms. In 2017, she was elected a fellow of the Institute of Electrical and Electronics Engineers for her contributions to Computer-aided Verification and Reliable System Design. Provided by Wikipedia
- Showing 1 - 4 results of 4
-
1
Scalable hardware verification with symbolic simulation by Bertacco, Valeria
Published: Springer, 2006Description: 1 online resource (xx, 177 pages) : illustrations.Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
eBook -
2
Post-silicon and runtime verification for modern processors by Wagner, Ilya
Published: Springer, 2011Other Authors: “…Bertacco, Valeria…”Description: 1 online resource (xvii, 224 pages) : illustrations.
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
eBook -
3
Hardware and software : verification and testing ; 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings by International Haifa Verification Conference Haifa, Israel, SpringerLink (Online service)
Published: Springer, 2013Other Authors: “…Bertacco, Valeria…”Description: 1 online resource (xix, 366 pages) : illustrations (some color).
Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook -
4
Functional design errors in digital circuits : diagnosis, correction and repair by Chang, Kai-hui
Published: Springer, 2009Other Authors:Description: 1 online resource (xxiv, 200 pages) : illustrations.Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
eBook
Search Tools:
Related Subjects
Systems engineering
Computer programs Verification
Computer systems
Computer-aided design
Digital integrated circuits Design and construction
Digital integrated circuits Testing
Engineering
Integrated circuits Fault tolerance
Integrated circuits Verification
Integrated circuits Verification Simulation methods
Microprocessors Design and construction
Software architecture
System design Simulation methods