Bertacco, Valeria: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

101

[ACM Press the 2008 international symposium - Portland, Oregon, USA (2008.04.13-2008.04.16)] Proceedings of the 2008 international symposium on Physical design - ISPD '08 - Optimizing non-monotonic interconnect using functional simulation and logic restructuring

Plaza, Stephen M., Markov, Igor L., Bertacco, Valeria

Year:

2008

Language:

english

File:

PDF, 910 KB

english, 2008

102

[ACM Press the 47th Design Automation Conference - Anaheim, California (2010.06.13-2010.06.18)] Proceedings of the 47th Design Automation Conference on - DAC '10 - Bridging pre-silicon verification and post-silicon validation

Nahir, Amir, Kapoor, Shakti, Ziv, Avi, Galivanche, Rajesh, Hu, Alan, Abramovici, Miron, Camilleri, Albert, Bentley, Bob, Foster, Harry, Bertacco, Valeria

Year:

2010

File:

PDF, 166 KB

2010

103

[ACM Press the 35th International Conference - Austin, Texas (2016.11.07-2016.11.10)] Proceedings of the 35th International Conference on Computer-Aided Design - ICCAD '16 - BugMD

Mammo, Biruk, Furia, Milind, Bertacco, Valeria, Mahlke, Scott, Khudia, Daya S

Year:

2016

Language:

english

File:

PDF, 319 KB

english, 2016

104

[IEEE 2018 IEEE 36th International Conference on Computer Design (ICCD) - Orlando, FL, USA (2018.10.7-2018.10.10)] 2018 IEEE 36th International Conference on Computer Design (ICCD) - Low-Overhead Microarchitectural Patching for Multicore Memory Subsystems

Lee, Doowon, Matthews, Opeoluwa, Bertacco, Valeria

Year:

2018

Language:

english

File:

PDF, 37 KB

english, 2018

105

[IEEE 2020 57th ACM/IEEE Design Automation Conference (DAC) - San Francisco, CA, USA (2020.7.20-2020.7.24)] 2020 57th ACM/IEEE Design Automation Conference (DAC) - Centaur: Hybrid Processing in On/Off-chip Memory Architecture for Graph Analytics

Addisie, Abraham, Bertacco, Valeria

Year:

2020

File:

PDF, 1.11 MB

2020

106

[ACM Press the 44th Annual IEEE/ACM International Symposium - Porto Alegre, Brazil (2011.12.03-2011.12.07)] Proceedings of the 44th Annual IEEE/ACM International Symposium on Microarchitecture - MICRO-44 '11 - Formally enhanced runtime verification to ensure NoC functional correctness

Parikh, Ritesh, Bertacco, Valeria

Year:

2011

Language:

english

File:

PDF, 1.03 MB

english, 2011

107

[IEEE 2011 IEEE International High Level Design Validation and Test Workshop (HLDVT) - Napa Valley, CA, USA (2011.11.9-2011.11.11)] 2011 IEEE International High Level Design Validation and Test Workshop - Cardio: Adaptive CMPs for reliability through dynamic introspective operation

Pellegrini, Andrea, Bertacco, Valeria

Year:

2011

Language:

english

File:

PDF, 832 KB

english, 2011

108

[IEEE 2012 13th International Workshop on Microprocessor Test and Verification (MTV) - Austin, TX, USA (2012.12.10-2012.12.13)] 2012 13th International Workshop on Microprocessor Test and Verification (MTV) - Architectural Trace-Based Functional Coverage for Multiprocessor Verification

Mammo, Biruk, Larimer, Jim, Morgan, Matthew, Fan, Dave, Hennenhoefer, Eric, Bertacco, Valeria

Year:

2012

Language:

english

File:

PDF, 259 KB

english, 2012

109

[IEEE 2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - San Jose, CA, USA (2011.11.7-2011.11.10)] 2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - Simulation-based signal selection for state restoration in silicon debug

Chatterjee, Debapriya, McCarter, Calvin, Bertacco, Valeria

Year:

2011

Language:

english

File:

PDF, 2.23 MB

english, 2011

110

[IEEE 2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - San Jose, CA, USA (2011.11.7-2011.11.10)] 2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - Post-silicon bug diagnosis with inconsistent executions

DeOrio, Andrew, Khudia, Daya Shanker, Bertacco, Valeria

Year:

2011

Language:

english

File:

PDF, 910 KB

english, 2011

111

Post-Silicon Validation of Multiprocessor Memory Consistency

Mammo, Biruk W., Bertacco, Valeria, DeOrio, Andrew, Wagner, Ilya

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2015

Language:

english

File:

PDF, 594 KB

english, 2015

112

[ACM Press the 36th ACM/IEEE conference - New Orleans, Louisiana, United States (1999.06.21-1999.06.25)] Proceedings of the 36th ACM/IEEE conference on Design automation conference - DAC '99 - Cycle-based symbolic simulation of gate-level synchronous circuits

Bertacco, Valeria, Damiani, Maurizio, Quer, Stefano

Year:

1999

Language:

english

File:

PDF, 129 KB

english, 1999

113

[ACM Press the 2004 international symposium - Newport Beach, California, USA (2004.08.09-2004.08.11)] Proceedings of the 2004 international symposium on Low power electronics and design - ISLPED '04 - Microarchitectural power modeling techniques for deep sub-micron microprocessors

Kim, Nam Sung, Kgil, Taeho, Bertacco, Valeria, Austin, Todd, Mudge, Trevor

Year:

2004

Language:

english

File:

PDF, 440 KB

english, 2004

114

[ACM Press the 39th conference - New Orleans, Louisiana, USA (2002.06.10-2002.06.14)] Proceedings of the 39th conference on Design automation - DAC '02 - Efficient state representation for symbolic simulation

Bertacco, Valeria, Olukotun, Kunle

Year:

2002

Language:

english

File:

PDF, 247 KB

english, 2002

115

Resource Conscious Diagnosis and Reconfiguration for NoC Permanent Faults

Parikh, Ritesh, Bertacco, Valeria

Journal:

IEEE Transactions on Computers

Year:

2015

Language:

english

File:

PDF, 964 KB

english, 2015

116

[IEEE 2015 IEEE 33rd VLSI Test Symposium (VTS) - Napa, CA, USA (2015.4.27-2015.4.29)] 2015 IEEE 33rd VLSI Test Symposium (VTS) - Panel: When will the cost of dependability end innovation in computer design?

Bertacco, Valeria

Year:

2015

File:

PDF, 124 KB

2015

117

[ACM Press the 9th International Symposium - Vancouver, BC, Canada (2015.09.28-2015.09.30)] Proceedings of the 9th International Symposium on Networks-on-Chip - NOCS '15 - Highly Fault-tolerant NoC Routing with Application-aware Congestion Management

Lee, Doowon, Parikh, Ritesh, Bertacco, Valeria

Year:

2015

Language:

english

File:

PDF, 601 KB

english, 2015

118

[ACM Press the 24th Asia and South Pacific Design Automation Conference - Tokyo, Japan (2019.01.21-2019.01.24)] Proceedings of the 24th Asia and South Pacific Design Automation Conference on - ASPDAC '19 - Collaborative accelerators for in-memory MapReduce on scale-up machines

Addisie, Abraham, Bertacco, Valeria

Year:

2019

Language:

english

File:

PDF, 773 KB

english, 2019

119

[ACM Press the 56th Annual Design Automation Conference 2019 - Las Vegas, NV, USA (2019.06.02-2019.06.06)] Proceedings of the 56th Annual Design Automation Conference 2019 on - DAC '19 - DREDGE

McCrabb, Andrew, Winsor, Eric, Bertacco, Valeria

Year:

2019

Language:

english

File:

PDF, 1.88 MB

english, 2019

120

Low CD34 + cells, high neutrophils and the metabolic syndrome are associated with an increased risk of venous thromboembolism

Rattazzi, Marcello, Villalta, Sabina, Galliazzo, Silvia, Del Pup, Laura, Sponchiado, Alessandra, Faggin, Elisabetta, Bertacco, Elisa, Buso, Roberta, Seganfreddo, Elena, Pagliara, Valeria, Callegari, E

Journal:

Clinical Science

Year:

2013

Language:

english

File:

PDF, 262 KB

english, 2013

121

[IEEE 2008 Design, Automation and Test in Europe - Munich, Germany (2008.03.10-2008.03.14)] 2008 Design, Automation and Test in Europe - Random Stimulus Generation using Entropy and XOR Constraints

Plaza, Stephen M., Markov, Igor L., Bertacco, Valeria

Year:

2008

Language:

english

File:

PDF, 2.01 MB

english, 2008

122

[ACM Press the 2008 international symposium - Portland, Oregon, USA (2008.04.13-2008.04.16)] Proceedings of the 2008 international symposium on Physical design - ISPD '08 - Reap what you sow

Chang, Kai-hui, Markov, Igor L., Bertacco, Valeria

Year:

2008

Language:

english

File:

PDF, 387 KB

english, 2008

123

[IEEE 2015 IEEE/ACM International Symposium on Low Power Electronics and Design (ISLPED) - Rome, Italy (2015.7.22-2015.7.24)] 2015 IEEE/ACM International Symposium on Low Power Electronics and Design (ISLPED) - ReDEEM: A heterogeneous distributed microarchitecture for energy-efficient reliability

Mammo, Biruk, Parikh, Ritesh, Bertacco, Valeria

Year:

2015

Language:

english

File:

PDF, 204 KB

english, 2015

124

[ACM Press the International Conference - San Diego, California (2018.11.05-2018.11.08)] Proceedings of the International Conference on Computer-Aided Design - ICCAD '18 - SWAN

Linscott, Timothy, Ehrett, Pete, Bertacco, Valeria, Austin, Todd

Year:

2018

Language:

english

File:

PDF, 801 KB

english, 2018

125

[IEEE 2008 IEEE International Conference on Computer Design (ICCD) - Lake Tahoe, CA, USA (2008.10.12-2008.10.15)] 2008 IEEE International Conference on Computer Design - Reversi: Post-silicon validation system for modern microprocessors

Wagner, Ilya, Bertacco, Valeria

Year:

2008

Language:

english

File:

PDF, 1.65 MB

english, 2008

126

[IEEE 2008 41st IEEE/ACM International Symposium on Microarchitecture (MICRO) - Como, Italy (2008.11.8-2008.11.12)] 2008 41st IEEE/ACM International Symposium on Microarchitecture - Testudo: Heavyweight security analysis via statistical sampling

Greathouse, Joseph L., Wagner, Ilya, Ramos, David A., Bhatnagar, Gautam, Austin, Todd, Bertacco, Valeria, Pettie, Seth

Year:

2008

Language:

english

File:

PDF, 894 KB

english, 2008

127

[IEEE 40th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO 2007) - Chicago, IL, USA (2007.12.1-2007.12.5)] 40th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO 2007) - Software-Based Online Detection of Hardware Defects Mechanisms, Architectural Support, and Evaluation

Constantinides, Kypros, Mutlu, Onur, Austin, Todd, Bertacco, Valeria

Year:

2007

Language:

english

File:

PDF, 702 KB

english, 2007

128

[IEEE 2006 IEEE International High Level Design Validation and Test Workshop - Monterey, CA, USA (2006.11.8-2006.11.10)] 2006 IEEE International High Level Design Validation and Test Workshop - Distance-Guided Hybrid Verification with GUIDO

Bertacco, Valeria

Year:

2006

Language:

english

File:

PDF, 1022 KB

english, 2006

129

[Lecture Notes in Computer Science] Hardware and Software: Verification and Testing Volume 8244 || Speeding Up the Safety Verification of Programmable Logic Controller Code

Bertacco, Valeria, Legay, Axel

Year:

2013

Language:

english

File:

PDF, 276 KB

english, 2013

130

[ACM Press the 2006 conference - Yokohama, Japan (2006.01.24-2006.01.27)] Proceedings of the 2006 conference on Asia South Pacific design automation - ASP-DAC '06 - Depth-driven verification of simultaneous interfaces

Wagner, Ilya, Bertacco, Valeria, Austin, Todd

Year:

2006

Language:

english

File:

PDF, 229 KB

english, 2006

131

[ACM Press the 44th Annual International Symposium - Toronto, ON, Canada (2017.06.24-2017.06.28)] Proceedings of the 44th Annual International Symposium on Computer Architecture - ISCA '17 - Regaining Lost Cycles with HotCalls

Weisse, Ofir, Bertacco, Valeria, Austin, Todd

Year:

2017

Language:

english

File:

PDF, 2.05 MB

english, 2017

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски