ISSN 0236-235X (P)
ISSN 2311-2735 (E)
1. Эвристические и точные методы программной конвейеризации циклов [№4 за 2008 год]
2. Многомерная конвейеризация циклов [№4 за 2008 год]
3. Моделирование и верификация программ как элемент контролируемого выполнения [№4 за 2008 год]
4. Организация профилирования сложных систем в условиях дефицита ресурсов [№4 за 2008 год]
5. Методы повышения быстродействия и надежности многопортовых коммутаторов Ethernet для ЭВМ кластерного типа [№4 за 2008 год]
6. Формальные методы верификации RTL-моделей сверхбольших интегральных схем [№4 за 2008 год]
7. Исследование методов сегментации изображений [№4 за 2008 год]
8. Алгоритмы восстановления функции через ее усреднения по подмножествам [№4 за 2008 год]
9. Фазовый переход наработки на отказ в растущих вычислительных сетях [№4 за 2008 год]
10. Иерархический подход при тепловом проектировании электронных изделий [№4 за 2008 год]
| 1 | 2 | 3 | 4 | 5 | 6
2. Многомерная конвейеризация циклов [№4 за 2008 год]
3. Моделирование и верификация программ как элемент контролируемого выполнения [№4 за 2008 год]
4. Организация профилирования сложных систем в условиях дефицита ресурсов [№4 за 2008 год]
5. Методы повышения быстродействия и надежности многопортовых коммутаторов Ethernet для ЭВМ кластерного типа [№4 за 2008 год]
6. Формальные методы верификации RTL-моделей сверхбольших интегральных схем [№4 за 2008 год]
7. Исследование методов сегментации изображений [№4 за 2008 год]
8. Алгоритмы восстановления функции через ее усреднения по подмножествам [№4 за 2008 год]
9. Фазовый переход наработки на отказ в растущих вычислительных сетях [№4 за 2008 год]
10. Иерархический подход при тепловом проектировании электронных изделий [№4 за 2008 год]
| 1 | 2 | 3 | 4 | 5 | 6
