From post

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.

 

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

Information-Flow Models for Shared Memory with an Application to the PowerPC Architecture., , и . IEEE Trans. Parallel Distributed Syst., 14 (5): 502-515 (2003)Tile Tensors: A versatile data structure with descriptive shapes for homomorphic encryption., , , , , , , , и . CoRR, (2020)A Framework for the Validation of Processor Architecture Compliance., , , , и . DAC, стр. 902-905. IEEE, (2007)Using a High-Level Test Generation Expert System for Testing In-Car Networks., , , и . DAC, стр. 134:1-134:6. ACM, (2014)Privacy-Preserving Record Linkage Using Local Sensitive Hash and Private Set Intersection., , , , , , и . ACNS Workshops, том 13285 из Lecture Notes in Computer Science, стр. 398-424. Springer, (2022)DeepTrans - A Model-based Approach to Functional Verification of Address Translation Mechanisms., , , и . MTV, стр. 3-6. IEEE Computer Society, (2003)Improving test quality through resource reallocation., , , и . HLDVT, стр. 64-69. IEEE Computer Society, (2001)Advances in Simultaneous Multithreading Testcase Generation Methods., , , и . Haifa Verification Conference, том 6504 из Lecture Notes in Computer Science, стр. 146-160. Springer, (2010)Reaching Coverage Closure in Post-silicon Validation., , , , и . Haifa Verification Conference, том 6504 из Lecture Notes in Computer Science, стр. 60-75. Springer, (2010)Piparazzi: a test program generator for micro-architecture flow verification., , , и . HLDVT, стр. 23-28. IEEE Computer Society, (2003)