Zobrazeno 1 - 10
of 253
pro vyhledávání: '"Zuck, L. D."'
This paper describes in detail the example introduced in the preliminary evaluation of THRIVE. Specifically, it evaluates THRIVE over an abstraction of the ground model proposed for a critical component belonging to a medical device used by optometri
Externí odkaz:
http://arxiv.org/abs/1706.02701
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.
Autor:
Wang, Da-Wei, Zuck, L. D.
Publikováno v:
Proceedings of the Eighth Annual ACM Symposium: Principles of Distributed Computing; 6/ 1/1989, p73-83, 11p
Publikováno v:
Journal of Materials Science; Jun2003, Vol. 38 Issue 11, p2401-2408, 8p
Autor:
Halpern, J Y1 (AUTHOR), Zuck, L D (AUTHOR)
Publikováno v:
Journal of the Association for Computing Machinery. Jul1992, Vol. 39 Issue 3, p449-478. 30p.
Publikováno v:
RISTI: Iberian Journal on Information Systems & Technologies / Revista Ibérica de Sistemas e Tecnologias de Informação; aug2024, Issue E72, p77-92, 16p
Publikováno v:
International Journal on Software Tools for Technology Transfer; Aug2024, Vol. 26 Issue 4, p479-494, 16p
Autor:
Völzer, Hagen1 hvo@zurich.ibm.com, Varacca, Daniele2 varacca@pps.jussieu.fr
Publikováno v:
Journal of the ACM. Jun2012, Vol. 59 Issue 3, p13-13:37. 37p.
Autor:
CHADHA, ROHIT1 rch@illinois.edu, SISTLA, A. PRASAD2, VISWANATHAN, MAHESH1 vmahesh@illinois.edu
Publikováno v:
Journal of the ACM. Aug2009, Vol. 56 Issue 5, p26-26:44. 44p. 5 Diagrams, 1 Chart.
Autor:
Sánchez, Alejandro alejandro.sanchez@imdea.org, Sánchez, César cesar.sanchez@imdea.org
Publikováno v:
Acta Informatica. Sep2015, Vol. 52 Issue 6, p525-557. 33p.