Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Tatarnikov, Andrei Dmitrievich

Statistics Math-Net.Ru
Total publications: 4
Scientific articles: 4

Number of views:
This page:124
Abstract pages:553
Full texts:493
References:131

https://www.mathnet.ru/eng/person124510
List of publications on Google Scholar
List of publications on ZentralBlatt

Publications in Math-Net.Ru Citations
2017
1. A. D. Tatarnikov, “A survey of methods and tools for test program generation for microprocessors”, Proceedings of ISP RAS, 29:1 (2017),  167–194  mathnet  elib
2016
2. A. S. Kamkin, A. M. Kotsynyak, A. S. Protsenko, A. D. Tatarnikov, M. M. Chupilko, “MicroTESK-based test program generator for the ARMv8 architecture”, Proceedings of ISP RAS, 28:6 (2016),  87–102  mathnet  elib
3. A. D. Tatarnikov, “Language for describing templates for test program generation for microprocessors”, Proceedings of ISP RAS, 28:4 (2016),  77–98  mathnet  elib 4
2015
4. A. Kamkin, A. Protsenko, A. Tatarnikov, “An approach to test program generation based on formal specifications of caching and address translation mechanisms”, Proceedings of ISP RAS, 27:3 (2015),  125–138  mathnet  elib 1

Organisations
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024