|
СТ |
Автоматическая генерация строго-конформных тестов по формальной спецификации динамической семантики языка программирования |
2004 |
Косачев А. С., Куттер Ф., Посыпкин М. А. |
|
|
|
Программирование |
02.10.2004 |
|
СТ |
Автоматическая генерация тестов для графического пользовательского интерфейса по UML-диаграммам действий |
2004 |
Калинов А. Я., Косачев А. С., Посыпкин М. А., Соколов А. А. |
|
|
Институт системного программирования РАН |
Труды института системного программирования |
01.08.2006 |
|
СТ |
Компиляции векторных операторов языка С[] для архитектур с моногоуровневой иерархией памяти |
2001 |
Калинов А. Я., Ластовецкий А. Л., Ледовских И. Н., Посыпкин М. А. |
|
|
|
Программирование |
07.07.2001 |
|
П |
Обзор методов автоматизации мониторинга, анализа и визуализации поведения параллельных процессов, взаимодействую их с помо ью передачи сооб ений |
2005 |
Посыпкин М. А., Соколов А. А. |
|
|
Институт системного программирования РАН |
|
05.08.2006 |
|
СТ |
Обзор методов тестирования компиляторов |
2005 |
Косачев А. С., Посыпкин М. А. |
|
|
|
Программирование |
22.03.2005 |
|
СТ |
Уточненное описание языка C |
2002 |
Калинов А. Я., Ластовецкий А. Л., Ледовских И. Н., Посыпкин М. А. |
|
|
|
Программирование |
28.01.2003 |
|
СТ |
Язык и система программирования для высокопроизводительных параллельных вычислений на неоднородных сетях |
2000 |
Ластовецкий А. Л., Калинов А. Я., Ледовских И. Н., Арапов Д. М., Посыпкин М. А. |
|
|
|
Труды Института системного программирования, 1999 г. |
07.07.2001 |
|
СТ |
Язык и система программирования для высокопроизводительных параллельных вычислений на неоднородных сетях |
2000 |
Ластовецкий А. Л., Калинов А. Я., Ледовских И. Н., Арапов Д. М., Посыпкин М. А. |
|
|
|
Труды Института системного программирования РАН, 1999. Том 1 |
19.05.2000 |
