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
-
1
-
2
Scalable hardware verification with symbolic simulation /
Published 2006Full Text (via Springer)
eBook
-
3
Post-silicon and runtime verification for modern processors
Published 2011Other Authors: “…Bertacco, Valeria…”
Full Text (via Springer)
Electronic eBook -
4
Hardware and software : verification and testing ; 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /
Published 2013Other Authors: “…Bertacco, Valeria…”
Full Text (via Springer)
Conference Proceeding eBook -
5
Functional design errors in digital circuits diagnosis, correction and repair /
Published 2009Other Authors: “…Bertacco, Valeria…”
Full Text (via Springer)
Electronic eBook