( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
ADAC: Automated Design of Approximate Circuits.

, , , , , и . CAV (1), том 10981 из Lecture Notes in Computer Science, стр. 612-620. Springer, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Tomás Núñez

Tomás Vinar

Ana Teresa Monteiro Tomás

Tomás Barros

Tomás Mácha

 

Другие публикации лиц с тем же именем

Generating and using state spaces of object-oriented Petri nets., , и . Comput. Syst. Sci. Eng., 16 (3): 183-193 (2001)ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level., и . RV, том 7687 из Lecture Notes in Computer Science, стр. 35-41. Springer, (2012)From Low-Level Pointers to High-Level Containers., , , , и . VMCAI, том 9583 из Lecture Notes in Computer Science, стр. 431-452. Springer, (2016)Partial-Order Reduction in Model Checking Object-Oriented Petri Nets., , и . EUROCAST, том 2809 из Lecture Notes in Computer Science, стр. 265-278. Springer, (2003)An Abstraction of Multi-port Memories with Arbitrary Addressable Units., , и . EUROCAST (1), том 8111 из Lecture Notes in Computer Science, стр. 460-468. Springer, (2013)A platform for search-based testing of concurrent software., , , и . PDATAD, стр. 48-58. ACM, (2010)Effect Summaries for Thread-Modular Analysis - Sound Analysis Despite an Unsound Heuristic., , , и . SAS, том 10422 из Lecture Notes in Computer Science, стр. 169-191. Springer, (2017)Approximate reduction of finite automata for high-speed network intrusion detection., , , , и . Int. J. Softw. Tools Technol. Transf., 22 (5): 523-539 (2020)2LS for Program Analysis., , , и . CoRR, (2023)Fast Matching of Regular Patterns with Synchronizing Counting., , , и . FoSSaCS, том 13992 из Lecture Notes in Computer Science, стр. 392-412. Springer, (2023)