| 2007 |
|---|
| 9 | EE | Alexander Afanasiev,
Oleg Sukhoroslov,
Mikhail Posypkin:
A High-Level Toolkit for Development of Distributed Scientific Applications.
PaCT 2007: 103-110 |
| 2005 |
|---|
| 8 | EE | Alexey Kalinov,
Ilya Ledovskih,
Mikhail Posypkin,
Zakhar Levchenko,
Vladimir Chizhov:
A Fortran Evolution of mpC Parallel Programming Language.
PPAM 2005: 936-943 |
| 7 | EE | Alexey Kalinov,
Ilya Ledovskih,
Mikhail Posypkin,
Zakhar Levchenko,
Vladimir Chizhov:
An Implementation of the Matrix Multiplication Algorithm SUMMA in mpF.
PaCT 2005: 420-432 |
| 6 | EE | Alexander Kossatchev,
Mikhail Posypkin:
Survey of compiler testing methods.
Programming and Computer Software 31(1): 10-19 (2005) |
| 2004 |
|---|
| 5 | EE | Alexander Kossatchev,
P. Kutter,
Mikhail Posypkin:
Automated Generation of Strictly Conforming Tests Based on Formal Specification of Dynamic Semantics of the Programming Language.
Programming and Computer Software 30(4): 218-229 (2004) |
| 2003 |
|---|
| 4 | EE | Alexey Kalinov,
Alexander Kossatchev,
Alexandre Petrenko,
Mikhail Posypkin,
Vladimir Shishkov:
Using ASM Specifications for Compiler Testing.
Abstract State Machines 2003: 415 |
| 3 | EE | Alexey Kalinov,
Alexander Kossatchev,
Alexandre Petrenko,
Mikhail Posypkin,
Vladimir Shishkov:
Coverage-driven Automated Compiler Test Suite Generation.
Electr. Notes Theor. Comput. Sci. 82(3): (2003) |
| 2002 |
|---|
| 2 | EE | Alexey Kalinov,
Alexey L. Lastovetsky,
Ilya Ledovskih,
Mikhail Posypkin:
Refined Description of the C[] Language.
Programming and Computer Software 28(6): 333-341 (2002) |
| 2001 |
|---|
| 1 | EE | Alexey Kalinov,
Alexey L. Lastovetsky,
Ilya Ledovskih,
Mikhail Posypkin:
Compilation of Vector Statements of C[] Language for Architectures with Multilevel Memory Hierarchy.
Programming and Computer Software 27(3): 111-122 (2001) |
