Skip to contents Pellegrini, Andrea; Greathouse, Joseph L.; Bertacco, Valeria Viper : virtual pipelines for enhanced reliability : virtual pipelines for enhanced reliability Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2012 Published in: ACM SIGARCH Computer Architecture News, 40 (2012) 3, Seite 344-355 Chatterjee, Debapriya; Deorio, Andrew; Bertacco, Valeria Gate-Level Simulation with GPU Computing Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2011 Published in: ACM Transactions on Design Automation of Electronic Systems, 16 (2011) 3, Seite 1-26 Wagner, Ilya; Bertacco, Valeria; Austin, Todd Microprocessor Verification via Feedback-Adjusted Markov Models Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2007 Published in: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 26 (2007) 6, Seite 1126-1138 O’Connor, Ian; Wille, Robert; Pimentel, Andy D.; Bertacco, Valeria Postpandemic Conferences: The DATE 2023 Experience Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2023 Published in: IEEE Design & Test, 40 (2023) 5, Seite 104-112 Mammo, Biruk W.; Bertacco, Valeria; DeOrio, Andrew; Wagner, Ilya Post-Silicon Validation of Multiprocessor Memory Consistency Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2015 Published in: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 34 (2015) 6, Seite 1027-1037 Chang, Kai-Hui; Bertacco, Valeria; Markov, Igor L.; Mishchenko, Alan Logic synthesis and circuit customization using extensive external don't-cares Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2010 Published in: ACM Transactions on Design Automation of Electronic Systems, 15 (2010) 3, Seite 1-24 Constantinides, Kypros; Mutlu, Onur; Austin, Todd; Bertacco, Valeria A Flexible Software-Based Framework for Online Detection of Hardware Defects Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2009 Published in: IEEE Transactions on Computers, 58 (2009) 8, Seite 1063-1079 Chang, Kai-Hui; Markov, Igor L.; Bertacco, Valeria Automating Postsilicon Debugging and Repair Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2008 Published in: Computer, 41 (2008) 7, Seite 47-54 Plaza, Stephen M.; Markov, Igor L.; Bertacco, Valeria M. Optimizing Nonmonotonic Interconnect Using Functional Simulation and Logic Restructuring Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2008 Published in: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 27 (2008) 12, Seite 2107-2119 Austin, Todd; Bertacco, Valeria; Mahlke, Scott; Cao, Yu Reliable Systems on Unreliable Fabrics Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2008 Published in: IEEE Design & Test of Computers, 25 (2008) 4, Seite 322-332 Chang, Kai-hui; Markov, Igor L.; Bertacco, Valeria SafeResynth: A new technique for physical synthesis Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2008 Published in: Integration, 41 (2008) 4, Seite 544-556 Chang, Kai-Hui; Markov, Igor L.; Bertacco, Valeria Postplacement rewiring by exhaustive search for functional symmetries Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2007 Published in: ACM Transactions on Design Automation of Electronic Systems, 12 (2007) 3, Seite 1-21 Chang, Kai-Hui; Bertacco, Valeria; Markov, Igor L. Simulation-Based Bug Trace Minimization With BMC-Based Refinement Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2007 Published in: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 26 (2007) 1, Seite 152-165 Shyam, Smitha; Constantinides, Kypros; Phadke, Sujay; Bertacco, Valeria; Austin, Todd Ultra low-cost defect protection for microprocessor pipelines Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2006 Published in: ACM SIGOPS Operating Systems Review, 40 (2006) 5, Seite 73-82 Shyam, Smitha; Constantinides, Kypros; Phadke, Sujay; Bertacco, Valeria; Austin, Todd Ultra low-cost defect protection for microprocessor pipelines Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2006 Published in: ACM SIGPLAN Notices, 41 (2006) 11, Seite 73-82 Shyam, Smitha; Constantinides, Kypros; Phadke, Sujay; Bertacco, Valeria; Austin, Todd Ultra low-cost defect protection for microprocessor pipelines Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2006 Published in: ACM SIGARCH Computer Architecture News, 34 (2006) 5, Seite 73-82 DeOrio, Andrew; Fick, David; Bertacco, Valeria; Sylvester, Dennis; Blaauw, David; Hu, Jin; Chen, Gregory A Reliable Routing Architecture and Algorithm for NoCs Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2012 Published in: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 31 (2012) 5, Seite 726-739 Chang, Kai-hui; Papa, David A.; Markov, Igor L.; Bertacco, Valeria Incremental Verification with Error Detection, Diagnosis, and Visualization Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2009 Published in: IEEE Design & Test of Computers, 26 (2009) 2, Seite 34-43 Constantinides, Kypros; Plaza, Stephen; Blome, Jason; Bertacco, Valeria; Mahlke, Scott; Austin, Todd; Zhang, Bin; Orshansky, Michael Architecting a reliable CMP switch architecture Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2007 Published in: ACM Transactions on Architecture and Code Optimization, 4 (2007) 1, Seite 2
Pellegrini, Andrea; Greathouse, Joseph L.; Bertacco, Valeria Viper : virtual pipelines for enhanced reliability : virtual pipelines for enhanced reliability Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2012 Published in: ACM SIGARCH Computer Architecture News, 40 (2012) 3, Seite 344-355
Chatterjee, Debapriya; Deorio, Andrew; Bertacco, Valeria Gate-Level Simulation with GPU Computing Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2011 Published in: ACM Transactions on Design Automation of Electronic Systems, 16 (2011) 3, Seite 1-26
Wagner, Ilya; Bertacco, Valeria; Austin, Todd Microprocessor Verification via Feedback-Adjusted Markov Models Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2007 Published in: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 26 (2007) 6, Seite 1126-1138
O’Connor, Ian; Wille, Robert; Pimentel, Andy D.; Bertacco, Valeria Postpandemic Conferences: The DATE 2023 Experience Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2023 Published in: IEEE Design & Test, 40 (2023) 5, Seite 104-112
Mammo, Biruk W.; Bertacco, Valeria; DeOrio, Andrew; Wagner, Ilya Post-Silicon Validation of Multiprocessor Memory Consistency Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2015 Published in: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 34 (2015) 6, Seite 1027-1037
Chang, Kai-Hui; Bertacco, Valeria; Markov, Igor L.; Mishchenko, Alan Logic synthesis and circuit customization using extensive external don't-cares Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2010 Published in: ACM Transactions on Design Automation of Electronic Systems, 15 (2010) 3, Seite 1-24
Constantinides, Kypros; Mutlu, Onur; Austin, Todd; Bertacco, Valeria A Flexible Software-Based Framework for Online Detection of Hardware Defects Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2009 Published in: IEEE Transactions on Computers, 58 (2009) 8, Seite 1063-1079
Chang, Kai-Hui; Markov, Igor L.; Bertacco, Valeria Automating Postsilicon Debugging and Repair Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2008 Published in: Computer, 41 (2008) 7, Seite 47-54
Plaza, Stephen M.; Markov, Igor L.; Bertacco, Valeria M. Optimizing Nonmonotonic Interconnect Using Functional Simulation and Logic Restructuring Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2008 Published in: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 27 (2008) 12, Seite 2107-2119
Austin, Todd; Bertacco, Valeria; Mahlke, Scott; Cao, Yu Reliable Systems on Unreliable Fabrics Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2008 Published in: IEEE Design & Test of Computers, 25 (2008) 4, Seite 322-332
Chang, Kai-hui; Markov, Igor L.; Bertacco, Valeria SafeResynth: A new technique for physical synthesis Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2008 Published in: Integration, 41 (2008) 4, Seite 544-556
Chang, Kai-Hui; Markov, Igor L.; Bertacco, Valeria Postplacement rewiring by exhaustive search for functional symmetries Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2007 Published in: ACM Transactions on Design Automation of Electronic Systems, 12 (2007) 3, Seite 1-21
Chang, Kai-Hui; Bertacco, Valeria; Markov, Igor L. Simulation-Based Bug Trace Minimization With BMC-Based Refinement Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2007 Published in: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 26 (2007) 1, Seite 152-165
Shyam, Smitha; Constantinides, Kypros; Phadke, Sujay; Bertacco, Valeria; Austin, Todd Ultra low-cost defect protection for microprocessor pipelines Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2006 Published in: ACM SIGOPS Operating Systems Review, 40 (2006) 5, Seite 73-82
Shyam, Smitha; Constantinides, Kypros; Phadke, Sujay; Bertacco, Valeria; Austin, Todd Ultra low-cost defect protection for microprocessor pipelines Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2006 Published in: ACM SIGPLAN Notices, 41 (2006) 11, Seite 73-82
Shyam, Smitha; Constantinides, Kypros; Phadke, Sujay; Bertacco, Valeria; Austin, Todd Ultra low-cost defect protection for microprocessor pipelines Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2006 Published in: ACM SIGARCH Computer Architecture News, 34 (2006) 5, Seite 73-82
DeOrio, Andrew; Fick, David; Bertacco, Valeria; Sylvester, Dennis; Blaauw, David; Hu, Jin; Chen, Gregory A Reliable Routing Architecture and Algorithm for NoCs Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2012 Published in: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 31 (2012) 5, Seite 726-739
Chang, Kai-hui; Papa, David A.; Markov, Igor L.; Bertacco, Valeria Incremental Verification with Error Detection, Diagnosis, and Visualization Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Institute of Electrical and Electronics Engineers (IEEE), 2009 Published in: IEEE Design & Test of Computers, 26 (2009) 2, Seite 34-43
Constantinides, Kypros; Plaza, Stephen; Blome, Jason; Bertacco, Valeria; Mahlke, Scott; Austin, Todd; Zhang, Bin; Orshansky, Michael Architecting a reliable CMP switch architecture Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2007 Published in: ACM Transactions on Architecture and Code Optimization, 4 (2007) 1, Seite 2
> Media type Skip to next facet Articles (30) Wert ausschließen Books (7) Wert ausschließen Conference Proceedings (2) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (3) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (3) Wert ausschließen Without Specification (33) Wert ausschließen Show more show less
> Language Skip to next facet English (20) Wert ausschließen Not determined (19) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (19) Wert ausschließen Technology (19) Wert ausschließen Mathmatics (13) Wert ausschließen Physics (9) Wert ausschließen Economics (1) Wert ausschließen Show more show less
> Creator Skip to next facet Bertacco, Valeria (38) Wert ausschließen Markov, Igor L. (8) Wert ausschließen Austin, Todd (7) Wert ausschließen Constantinides, Kypros (5) Wert ausschließen Chang, Kai-Hui (4) Wert ausschließen Chang, Kai-hui (3) Wert ausschließen Phadke, Sujay (3) Wert ausschließen Shyam, Smitha (3) Wert ausschließen Wagner, Ilya (3) Wert ausschließen Association for Computing Machinery (2) Wert ausschließen DeOrio, Andrew (2) Wert ausschließen Drechsler, Rolf (2) Wert ausschließen Electronic Design Automation Consortium (2) Wert ausschließen Institute of Electrical and Electronics Engineers (2) Wert ausschließen Mahlke, Scott (2) Wert ausschließen Olukotun, Kunle (2) Wert ausschließen Parikh, Ritesh (2) Wert ausschließen Pellegrini, Andrea (2) Wert ausschließen ACM/EDAC/IEEE Design Automation Conference 54. 2017 Austin, Tex (1) Wert ausschließen Abdel-Khalek, Rawan (1) Wert ausschließen Addisie, Abraham (1) Wert ausschließen Becker, Bernd (1) Wert ausschließen Benini, Luca (1) Wert ausschließen Bernd Becker and Valeria Bertacco and Rolf Drechsler and Masahiro Fujita (1) Wert ausschließen Bertacco, Valeria M. (1) Wert ausschließen Blaauw, David (1) Wert ausschließen Blome, Jason (1) Wert ausschließen Cao, Yu (1) Wert ausschließen Chang, Naehyuck (1) Wert ausschließen Chatterjee, Debapriya (1) Wert ausschließen Chen, Gregory (1) Wert ausschließen Das, Reetuparna (1) Wert ausschließen Deorio, Andrew (1) Wert ausschließen Design Automation Conference 53. 2016 Austin, Tex (1) Wert ausschließen Fick, David (1) Wert ausschließen Fujita, Masahiro (1) Wert ausschließen Goyal, Vidushi (1) Wert ausschließen Greathouse, Joseph L. (1) Wert ausschließen Hu, Jin (1) Wert ausschließen Kakoee, Mohammad Reza (1) Wert ausschließen Lee, Doowon (1) Wert ausschließen Legay, Axel (1) Wert ausschließen Mammo, Biruk W. (1) Wert ausschließen Massoud, Rehab (1) Wert ausschließen McCrabb, Andrew (1) Wert ausschließen Mishchenko, Alan (1) Wert ausschließen Mutlu, Onur (1) Wert ausschließen Orshansky, Michael (1) Wert ausschließen O’Connor, Ian (1) Wert ausschließen Papa, David A. (1) Wert ausschließen Pimentel, Andy D. (1) Wert ausschließen Plaza, Stephen (1) Wert ausschließen Plaza, Stephen M. (1) Wert ausschließen Sylvester, Dennis (1) Wert ausschließen Universität Bremen (1) Wert ausschließen Wille, Robert (1) Wert ausschließen Zhang, Bin (1) Wert ausschließen Show more show less
> Collection Skip to next facet Institute of Electrical and Electronics Engineers (IEEE) (CrossRef) (16) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (11) Wert ausschließen Verbunddaten SWB (7) Wert ausschließen ACM Press (CrossRef) (2) Wert ausschließen BASE - Bielefeld Academic Search Engine (1) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (1) Wert ausschließen Elsevier BV (CrossRef) (1) Wert ausschließen Lizenzfreie Online-Ressourcen (1) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (1) Wert ausschließen Show more show less