Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Gokulanathan, Sumathi"'
Building and maintaining a silicon foundry is a costly endeavor that requires substantial financial investment. From this scenario, the semiconductor business has largely shifted to a fabless model where the Integrated Circuit supply chain is globali
Externí odkaz:
http://arxiv.org/abs/2305.15999
Autor:
Abideen, Zain Ul1 (AUTHOR) abideen@cmu.edu, Gokulanathan, Sumathi2 (AUTHOR) sumathi.gokulanathan@taltech.ee, J. Aljafar, Muayad2 (AUTHOR) muayad.al-jafar@taltech.ee, Pagliarini, Samuel1 (AUTHOR) pagliarini@cmu.edu
Publikováno v:
ACM Computing Surveys. Dec2024, Vol. 56 Issue 12, p1-35. 35p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Deep neural network (DNN) verification is an emerging field, with diverse verification engines quickly becoming available. Demonstrating the effectiveness of these engines on real-world DNNs is an important step towards their wider adoption. We prese
Externí odkaz:
http://arxiv.org/abs/1910.12396
This book constitutes the proceedings of the 12th International Symposium on NASA Formal Methods, NFM 2020, held in Moffett Field, CA, USA, in May 2020.• The 20 full and 5 short papers presented in this volume were carefully reviewed and selected f