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:48
Abstract pages:354
Full texts:256
References:63

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

Publications in Math-Net.Ru
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
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

Organisations
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2020