Обзор методов и средств генерации тестовых программ для микропроцессоров

Татарников Андрей Дмитриевич

doi:10.15514/ISPRAS-2017-29(1)-11

A
A
A

ABC
ABC
ABC

А
А
А
А
А

Regular version of the site

Priority areas

by year

Subject

News

2 March 2021

Researchers Assess Student Performance in Mathematics, Physics, and Critical Thinking

A group of researchers representing four countries summed up the results of the Supertest, a large-scale study of the academic performance of engineering students in Russia, China, India, and the United States. It is the first study to track the progress of students in computer science and electrical engineering over the course of their studies with regard to their abilities in physics, mathematics, and critical thinking and compare the results among four countries. The article about study was published in Nature Human Behavior.

1 March 2021

Children's Adaptation to Online Learning Depends on the Nature of Their Parents’ Work

Specialists at the HSE Institute of Education found that the willingness of children to work independently at home during distance learning depended not only on the availability of appropriate technical means in the family (its socio-economic profile), but also on the nature of their parents’ work (a socio-psychological factor).

25 February 2021

Father’s Level of Education Affects Students’ Plans for Doctoral Studies

Saule Bekova, Research Fellow at the Centre of Sociology of Higher Education, and Ivan Smirnov, Leading Research Fellow at the Laboratory of Computational Social Sciences, studied how father’s level of education affects students’ plans to receive a doctoral degree. The article Determinants of doctoral degree aspirations: insights from a nationally representative panel study was published in HERB: Higher Education in Russia and Beyond journal.

Publications

Article

Обзор методов и средств генерации тестовых программ для микропроцессоров

Труды Института системного программирования РАН. 2017. Т. 29. № 1. С. 167-194.

Татарников А. Д.

Language: Russian

DOI

Keywords: микропроцессоры цифровая аппаратура функциональная верификация тестирование генерация тестовых программ