Zobrazeno 1 - 10
of 18
pro vyhledávání: '"Amla, Nina"'
Animals play a profoundly important and intricate role in our lives today. Dogs have been human companions for thousands of years, but they now work closely with us to assist the disabled, and in combat and search and rescue situations. Farm animals
Externí odkaz:
http://arxiv.org/abs/1609.00627
Autor:
Amla, Nina.
Thesis (Ph. D.)--University of Texas at Austin, 2001.
Vita. Includes bibliographical references. Available also from UMI Company.
Vita. Includes bibliographical references. Available also from UMI Company.
Externí odkaz:
http://repositories.lib.utexas.edu/bitstream/handle/2152/1681/amlan66229.pdf
http://wwwlib.umi.com/cr/utexas/fullcit?p3008266
http://wwwlib.umi.com/cr/utexas/fullcit?p3008266
Autor:
Amla, Nina1 namla@nsf.gov, Da Silva, Dilma2 ddasilva@nsf.gov, Littman, Michael3 mlittman@nsf.gov, Parashar, Manish4 mparasha@nsf.gov
Publikováno v:
Communications of the ACM. May2023, Vol. 66 Issue 5, p36-37. 2p. 1 Color Photograph.
This paper presents an efficient, combined formulation of two widely used abstraction methods for bit-level verification: counterexample-based abstraction (CBA) and proof-based abstraction (PBA). Unlike previous work, this new method is formulated as
Externí odkaz:
http://arxiv.org/abs/1008.2021
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.
Publikováno v:
ACM Computing Surveys; Jan2018, Vol. 50 Issue 1, p1-27, 27p, 1 Diagram, 6 Charts
Autor:
Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Rangan, C. Pandu, Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Grumberg, Orna, Huth, Michael, Amla, Nina, McMillan, Kenneth L.
Publikováno v:
Tools & Algorithms for the Construction & Analysis of Systems (9783540712084); 2007, p405-419, 15p
Autor:
Borrione, Dominique, Paul, Wolfgang, Amla, Nina, Xiaoqun Du, Kuehlmann, Andreas, Kurshan, Robert P., McMillan, Kenneth L.
Publikováno v:
Correct Hardware Design & Verification Methods; 2005, p254-268, 15p
Publikováno v:
Formal Methods in Computer-Aided Design; 2004, p260-274, 15p