Публикации в базе данных Math-Net.Ru
-
Test environment for verification of multi-processor memory subsystem unit
Труды ИСП РАН, 31:3 (2019), 67–76
-
Verification of system on chip integrated communication controllers
Труды ИСП РАН, 30:3 (2018), 195–206
-
Verification of 10 Gigabit Ethernet controllers
Труды ИСП РАН, 29:4 (2017), 257–268
-
Approaches to stand-alone verification of multicore microprocessor caches
Труды ИСП РАН, 28:3 (2016), 161–172
-
A model-based approach to design test oracles for memory subsystems of multicore microprocessors
Труды ИСП РАН, 27:3 (2015), 149–160
© , 2024