Zum Inhalt springen

Bertacco, Valeria [VerfasserIn]

Scalable hardware verification with symbolic simulation

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

New York, NY: Springer, 2006
Wagner, Ilya [VerfasserIn]; Bertacco, Valeria [VerfasserIn]

Post-silicon and runtime verification for modern processors

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

New York; Dordrecht; Heidelberg [u.a.]: Springer, 2011
Chang, Kai-hui [VerfasserIn]; Markov, Igor L. [VerfasserIn]; Bertacco, Valeria [VerfasserIn]

Functional design errors in digital circuits : diagnosis, correction and repair

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

[Dordrecht [u.a.]]: Springer, 2009

Erschienen in: Lecture notes in electrical engineering ; 3200
Bertacco, Valeria [VeranstalterIn] ; ACM/EDAC/IEEE Design Automation Conference 54. 2017 Austin, Tex, Institute of Electrical and Electronics Engineers, Association for Computing Machinery, Electronic Design Automation Consortium

Proceedings of the 2017 54th ACM/EDAC/IEEE Design Automation Conference (DAC)

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via IEEE Xplore Digital Library)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Piscataway, NJ: IEEE, 2017
Bertacco, Valeria [VerfasserIn] ; Legay, Axel [HerausgeberIn]

Hardware and Software: Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cham [u.a.]: Springer, 2013

Erschienen in: Lecture notes in computer science ; 8244
Massoud, Rehab [VerfasserIn] ; Drechsler, Rolf [AkademischeR BetreuerIn]; Bertacco, Valeria [AkademischeR BetreuerIn] Universität Bremen

Evidence-oriented tracing and verification : the declaration of timeprints

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Bremen, 2021
Chang, Naehyuck [VeranstalterIn]; Bertacco, Valeria [VeranstalterIn] ; Design Automation Conference 53. 2016 Austin, Tex, Association for Computing Machinery, Electronic Design Automation Consortium, Institute of Electrical and Electronics Engineers, Institute of Electrical and Electronics Engineers

Proceedings of the 53rd ACM/EDAC/IEEE Design Automation Conference (DAC)

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via IEEE Xplore Digital Library)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Piscataway, NJ: IEEE, 2016
Becker, Bernd [VerfasserIn]; Bertacco, Valeria [VerfasserIn]; Drechsler, Rolf [VerfasserIn]; Fujita, Masahiro [VerfasserIn] ; Bernd Becker and Valeria Bertacco and Rolf Drechsler and Masahiro Fujita [MitwirkendeR]

09461 Abstracts Collection – Algorithms and Applications for Next Generation SAT Solvers

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
Bertacco, Valeria

Hardware and Software: Verification and Testing: Verification Failures: What to Do When Things Go Wrong

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2011

Erschienen in: Hardware and Software: Verification and Testing
Lee, Doowon; Bertacco, Valeria

Bypassing Multicore Memory Bugs with Coarse-Grained Reconfigurable Logic

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Institute of Electrical and Electronics Engineers (IEEE), 2021

Erschienen in: IEEE Transactions on Computers
Addisie, Abraham; Bertacco, Valeria

Collaborative Accelerators for Streamlining MapReduce on Scale-up Machines With Incremental Data Aggregation

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Institute of Electrical and Electronics Engineers (IEEE), 2020

Erschienen in: IEEE Transactions on Computers
Parikh, Ritesh; Bertacco, Valeria

Resource Conscious Diagnosis and Reconfiguration for NoC Permanent Faults

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Institute of Electrical and Electronics Engineers (IEEE), 2016

Erschienen in: IEEE Transactions on Computers
Pellegrini, Andrea; Bertacco, Valeria

Cardio: CMP Adaptation for Reliability Through Dynamic Introspective Operation

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Institute of Electrical and Electronics Engineers (IEEE), 2014

Erschienen in: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Parikh, Ritesh; Bertacco, Valeria

ForEVeR : A complementary formal and runtime verification approach to correct NoC functionality : A complementary formal and runtime verification approach to correct NoC functionality

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2014

Erschienen in: ACM Transactions on Embedded Computing Systems
Bertacco, Valeria; Olukotun, Kunle

Efficient state representation for symbolic simulation

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

ACM Press, 2002

Erschienen in: Proceedings of the 39th conference on Design automation - DAC '02
Bertacco, Valeria; Olukotun, Kunle

Efficient state representation for symbolic simulation

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

ACM Press, 2002

Erschienen in: Proceedings of the 39th conference on Design automation - DAC '02
McCrabb, Andrew; Bertacco, Valeria

Optimizing Vertex Pressure Dynamic Graph Partitioning in Many-Core Systems

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Institute of Electrical and Electronics Engineers (IEEE), 2021

Erschienen in: IEEE Transactions on Computers
Abdel-Khalek, Rawan; Bertacco, Valeria

Post-silicon platform for the functional diagnosis and debug of networks-on-chip

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2014

Erschienen in: ACM Transactions on Embedded Computing Systems
Goyal, Vidushi; Das, Reetuparna; Bertacco, Valeria

Hardware-friendly User-specific Machine Learning for Edge Devices

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2022

Erschienen in: ACM Transactions on Embedded Computing Systems
Kakoee, Mohammad Reza; Bertacco, Valeria; Benini, Luca

At-Speed Distributed Functional Testing to Detect Logic and Delay Faults in NoCs

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Institute of Electrical and Electronics Engineers (IEEE), 2014

Erschienen in: IEEE Transactions on Computers

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr