Research Center for Multiprocessor Systems
Sergei Abramov's home page
Publications of Sergei Abramov |
| 2004 | |
| 72 | Ablameiko S.V., Abramov S.M., Anishenko V.V., Paramonov N.N., Chizh O.P. Principy postroeniya superkomp'yuterov semeistva SKIF // Trudy Mezhdunarodnoi nauchnoi konferencii "Superkomp'yuternye sistemy i ih primenenie. SSA'2004", 26--28 oktyabrya 2004 g. Minsk, OIPI NAN Belarusi, s. 109--115 (In Russian) |
| 71 | Ablameiko S.V., Abramov S.M., Anishenko V.V., Paramonov N.N., Chizh O.P. Modeli superkomp'yuterov SKIF Ryada 2 // Trudy Mezhdunarodnoi nauchnoi konferencii "Superkomp'yuternye sistemy i ih primenenie. SSA'2004", 26--28 oktyabrya 2004 g. Minsk, OIPI NAN Belarusi, s. 73--76 (In Russian) |
| 70 | Ablameiko S.V., Abramov S.M., Anishenko V.V., Paramonov N.N., Chizh O.P. Klasternye konfiguracii SKIF Ryada 1 // Trudy Mezhdunarodnoi nauchnoi konferencii "Superkomp'yuternye sistemy i ih primenenie. SSA'2004", 26--28 oktyabrya 2004 g. Minsk, OIPI NAN Belarusi, s. 54--61 (In Russian) |
| 69 | Ablameiko S.V., Abramov S.M., Anishenko V.V., Paramonov N.N., Chizh O.P. Sovmestnaya belorussko-rossiiskaya programma "SKIF" // Trudy Mezhdunarodnoi nauchnoi konferencii "Superkomp'yuternye sistemy i ih primenenie. SSA'2004", 26--28 oktyabrya 2004 g. Minsk, OIPI NAN Belarusi, s. 23--27 (In Russian) |
| 68 | Abramov S.M., Adamovich A.I., Inyuhin A.V., Moskovskii A.A., Roganov V.A., Shevchuk E.V., Shevchuk Yu.V. T-sistema s otkrytoi arhitekturoi // Trudy Mezhdunarodnoi nauchnoi konferencii "Superkomp'yuternye sistemy i ih primenenie. SSA'2004", 26--28 oktyabrya 2004 g. Minsk, OIPI NAN Belarusi, s. 18--22 (In Russian) |
| 67 | Ablameiko S.V., Abramov S.M., Anishenko V.V., Paramonov N.N. Principy postroeniya superkomp'yuterov semeistva "SKIF" i ih realizaciya // "Informatika", OIPI NAN Belarusi, Minsk, No 1, yanvar'--mart 2004. str. 89--106 (In Russian) |
| 66 | Abramov S.M., Kotel'nikov V.P., Ponomarev A.Yu., Shevchuk Yu.V., Yakubov B.V. Novye apparatnye razrabotki dlya regional'nyh komp'yuternyh setei ot laboratorii "Botik" // "Nauchnyi servis v seti Internet": Trudy Vserossiiskoi nauchnoi konferencii (20--25 sentyabrya 2004 g., g. Novorossiisk) -- M.: MGU, str. 244--246, 2004 (In Russian) |
| 65 | Abramov S.M., Anishenko V.V., Paramonov N.N. Superkomp'yuternye klasternye konfiguracii "SKIF" // "Nauchnyi servis v seti Internet": Trudy Vserossiiskoi nauchnoi konferencii (20--25 sentyabrya 2004 g., g. Novorossiisk) -- M.: MGU, str. 216-218, 2004 (In Russian) |
| 64 | Abramov S.M., Ermilova E.V., Zhbanov P.G., Karlash A.V., Nesterov A.S., Shevchuk Yu.V. Nadmin -- administrativno-raschetnaya sistema dlya regional'nyh setei // "Nauchnyi servis v seti Internet": Trudy Vserossiiskoi nauchnoi konferencii (20--25 sentyabrya 2004 g., g. Novorossiisk) -- M.: MGU, str. 195--200, 2004 (In Russian) |
| 63 | Abramov S.M., Orlov A.Yu., Parmenova L.V., Ponomareva S.M., Slepuhin A.F. Sistema programmirovaniya Refal Plyus: novyi podhod k realizacii // "Nauchnyi servis v seti Internet": Trudy Vserossiiskoi nauchnoi konferencii (20--25 sentyabrya 2004 g., g. Novorossiisk) -- M.: MGU, str. 101--103, 2004 (In Russian) |
| 62 | Abramov S.M., Koryaka F.A., Esin G.I., Moskovskii A.A., Roganov V.A. Sozdanie ispytatel'nogo poligona dlya GRID-prilozhenii v gorode Pereslavle-Zalesskom // "Nauchnyi servis v seti Internet": Trudy Vserossiiskoi nauchnoi konferencii (20--25 sentyabrya 2004 g., g. Novorossiisk) -- M.: MGU, str. 93--94, 2004 (In Russian) |
| 61 | Abramov S.M., Orlov A.Yu. Kompilyaciya v imperativnye yazyki sintaksicheskogo otozhdestvleniya yazyka Refal // Trudy mezhdunarodnoi konferencii "Programmnye sistemy: teoriya i prilozheniya". g. Pereslavl'-Zalesskii, mai 2004. -- M.: Fizmatlit, T. I, str. 403--447 (In Russian) |
| 60 | Abramov S.M., Orlov A.Yu., Parmenova L.V., Ponomareva S.M., Slepuhin A.F. Novyi podhod k realizacii sistemy programmirovaniya Refal Plyus // Trudy mezhdunarodnoi konferencii "Programmnye sistemy: teoriya i prilozheniya". g. Pereslavl'-Zalesskii, mai 2004. -- M.: Fizmatlit, T. I, str. 373--401 (In Russian) |
| 59 | Abramov S.M., Roganov V.A. Dinamicheskaya specializaciya kak sredstvo optimizacii raspredelennyh vychislenii i kak metod sozdaniya adaptivnyh servisov dlya GRID-cistem // Trudy mezhdunarodnoi konferencii "Programmnye sistemy: teoriya i prilozheniya". g. Pereslavl'-Zalesskii, mai 2004. -- M.: Fizmatlit, T. I, str. 197--209 (In Russian) |
| 58 | Abramov S.M., Paramonov N.N. Dal'neishee razvitie superkomp'yuternogo napravleniya "SKIF" // Trudy mezhdunarodnoi konferencii "Programmnye sistemy: teoriya i prilozheniya". g. Pereslavl'-Zalesskii, mai 2004. -- M.: Fizmatlit, T.I, str. 185--196. (In Russian) |
| 57 | Ablameiko S.V., Abramov S.M., Anishenko V.V., Paramonov N.N. Superkomp'yutery semeistva "SKIF" // Trudy mezhdunarodnoi konferencii "Programmnye sistemy: teoriya i prilozheniya". g. Pereslavl'-Zalesskii, mai 2004. -- M.: Fizmatlit, T.I, str. 157--183 (In Russian) |
| 56 | Abramov S.M. ICMS RAN: retrospektivnyi obzor issledovanii za 1994-2004 gody // Trudy mezhdunarodnoi konferencii "Programmnye sistemy: teoriya i prilozheniya". g. Pereslavl'-Zalesskii, mai 2004. -- M.: Fizmatlit, T.I, str. 15--57 (In Russian) |
| 2003 | |
| 55 | Ablameiko S.V., Abramov S.M. Osnovnye rezul'taty superkomp'yuternoi programmy "SKIF" Soyuznogo Gosudarstva//AKII'03: Tretii rasshirennyi seminar "Ispol'zovanie metodov iskustvennogo intellekta i vysokoproizvoditel'nyh vychisleniyah i v aerokosmicheskih issledovaniyah", Trudy seminara, str. 135-140, M.: izd-vo Fizmatlit, 2003. ISBN 5-940-52-065-9 (In Russian) |
| 54 | Abramov S.M., Adamovich A.I., Kovalenko M.R., Slepuhin A.F., Paramonov N.N. Klasternye sistemy semeistva superkomp'yuterov "SKIF"//Nauchnyi servis v seti Internet: Trudy Vserossiiskoi nauchnoi konferencii (22-27 sentyabrya 2003 g., g. Novorossiisk). -M.: Izd-vo MGU, str.147--151, 2003 (In Russian) |
| 53 | Abramov S.M., Ermilova E.V., Karlash A.V. GIS dlya regional'nyh setei ("ST "Botik")//Nauchnyi servis v seti Internet: Trudy Vserossiiskoi nauchnoi konferencii (22-27 sentyabrya 2003 g., g. Novorossiisk). -M.: Izd-vo MGU, str.147--151, 2003 (In Russian) |
| 52 | Sergei Abramov, Robert Glück , and Yuri Klimov An Improved Universal Resolving Algorithm for Inverse Computation of Non-Flat Languages//Matematika, informatika: teoriya i praktika. Sbornik trudov, posvyashennyi 10-letiyu Universiteta goroda Pereslavlya / Pod redakciei A. K. Ailamazyana. --- Pereslavl'-Zalesskii: Izdatel'stvo "Universitet goroda Pereslavlya", 2003. Str. 11--23, ISBN 5-901795-02-4 |
| 51 | Abramov S.M., Adamovich A.I., Kovalenko M.R., Roganov V.A. Biatlon dlya SKIFov: bystro i tochno//Matematika, informatika: teoriya i praktika. Sbornik trudov, posvyashennyi 10-letiyu Universiteta goroda Pereslavlya / Pod redakciei A. K. Ailamazyana. --- Pereslavl'-Zalesskii: Izdatel'stvo "Universitet goroda Pereslavlya", 2003. Str. 91--96, ISBN 5-901795-02-4 (In Russian) |
| 2002 | |
| 50 | Abramov S.M., Anishenko V.V., Paramonov N.N., Chizh O.P. Razrabotka i opyt ekspluatacii superkomp'yuterov semeistva "SKIF"//Materialy I mezhdunarodnoi konferencii "Informacionnye sistemy i tehnologii"(IST'2002), Minsk, 5-8 noyabrya 2002 g., chast' 2, stranicy 115--117 (In Russian) |
| 49 | Abramov S.M., Kotel'nikov V.P., Ponomarev A.Yu., Shevchuk Yu.V. O postroenii vysokoskorostnaya opticheskoi magistrali gorodskoi komp'yuternoi seti s uchetom osobennostei elektropitaniya v raionnyh centrah Rossii//Nauchnyi servis v seti Internet: Trudy Vserossiiskoi nauchnoi konferencii (23-28 sentyabrya 2002 g., g. Novorossiisk). -- M.: Izd-vo MGU, Moskva, str. 244--247, 2002 (In Russian) |
| 48 | Sergei Abramov and Robert Glück Principles of Inverse Computation and the Universal Resolving Algorithm//The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones (Torben Mogensen and David Schmidt and I. Hal Sudborough eds.), Springer-Verlag, Lecture Notes in Computer Science No. 2566, 2002, pp. 269 -- 295 |
| 47 | Sergei Abramov and Robert Glück The Universal Resolving Algorithm and its Correctness: Inverse Computation in a Functioanl Language//Elsevier, Science of Computer Programming 43 (2002), pp. 193 -- 229 |
| 2001 | |
| 46 | Abramov S.M., Vasenin V.A., Mamchic E.E., Roganov V.A., Slepuhin A.F. Dinamicheskoe rasparallelivanie programm na baze parallel'noi redukcii grafov. Arhitektura programmnogo obespecheniya novoi versii T-sistemy//Sb. nauchnyh trudov "Nauchnoi sessii MIFI -- 2001", 22-26 yanvarya 2001 g., T.2, s.234., 2001(In Russian) |
| 45 | Abramov S.M., Kondrat'eva A.V., Roganov V.A., Chepovskii A.M . Proektirovanie vysokoproizvoditel'nogo processora obrabotki grafov//V zhurnale "Informacionnye tehnologii", izdatel'stvo "Mashinostroenie", Moskva, No3, 2001 (annotaciya: http://www.informika.ru/text/magaz/it/2001/03/inftech.html#2), 2001 No3 (In Russian) |
| 44 | Sergei Abramov and Robert Glück Inverse Computation and the Universal Resolving Algorithm//Wuhan University Journal of Natural Sciences, Vol. 6, No. 1--2, pp.31--45, 2001 |
| 43 | Sergei Abramov and Robert Glück From Standard to Non-Standard Semantics by Semantics Modifiers//International Journal of Foundations of Computer Science, Vol. 12. No. 2 (2001) pp. 171-211 World Scientific Publishing Company |
| 2000 | |
| 42 | Sergei Abramov and Robert Glück Combining semantics with non-standard interpreter hierarchies//Foundations of Software Technology and Theoretical Computer Science. Proceedings (S. Kapoor and S. Prasad, eds.), Lecture Notes in Computer Science, Vol. 1974, pp. 201-213, Springer-Verlag, 2000 |
| 41 | Sergei Abramov and Robert Glück The universal resolving algorithm: inverse computation in a functional language//Mathematics of Program Construction. Proceedings (R.Backhouse and J.N. Oliveira, eds.), pp.187-212. Volume 1837 of Lecture Notes in Computer Science. Springer-Verlag. 2000., 2000 No1837 |
| 40 | Abramov S.M., Vasenin V.A., Mamchic E.E., Roganov V.A., Slepuhin A.F. Dinamicheskoe rasparallelivanie programm na baze parallel'noi redukcii grafov. Arhitektura programmnogo obespecheniya novoi versii T-sistemy//Vysokoproizvoditel'nye vychisleniya i ih prilozheniya: Trudy Vserossiiskoi nauchnoi konferencii (30 oktyabrya--2 noyabrya 2000 g., g. Chernogolovka).---M.: Izd-vo MGU, 2000, str: 261--264, 2000 (In Russian) |
| 1999 | |
| 39 | Abramov S.M., Ponomarev A.Yu., Shevchuk Yu.V. Shiroko dostupnyi Internet kak put' v otkrytoe obshestvo. Opyt Pereslavlya-Zalesskogo//Trudy konferencii "Internet. Obshestvo. Lichnost'" (IOL--99), SPb, 1999, 1999 (In Russian) |
| 38 | Abramov S.M., Ponomarev A.Yu., Shevchuk Yu.V. Tehnologiya postroeniya nedorogih, no kachestvennyh grazhdanskih setei. Opyt Pereslavlya i ego perenos v drugie regiony//Sb. "Nauchnyi servis v seti Internet". Tezisy dokladov Vserossiiskoi nauchnoi konferencii (20--25 sentyabrya 1999 g., g. Novorossiisk), Izd. MGU, str. 15--20, 1999 (In Russian) |
| 37 | Abramov S.M., Adamovich A.I., Pozlevich R.V. T-sistema---sreda programmirovaniya s podderzhkoi avtomaticheskogo dinamicheskogo rasparallelivaniya programm//Programmnye sistemy: Teoreticheskie osnovy i prilozheniya. Pod red: A.K. Ailamazyan, M., Nauka, Fizmatlit, 1999, 1999 (In Russian) |
| 36 | Abramov S.M., Adamovich A.I., Konyshev A.P. T-sistema---sreda programmirovaniya s podderzhkoi avtomaticheskogo dinamicheskogo rasparallelivaniya programm//Tezisy dokladov Desyatoi yubileinoi mezhdunarodnoi konferencii po vychislitel'noi mehanike i sovremennym prikladnym programmnym sredstva, Pereslavl'-Zalesskii, 7--12 iyunya 1999g.--M.:MGIU, 1999, str 14--15, 1999 (In Russian) |
| 35 | Abramov S.M., Adamovich A.I., Kovalenko M.R. T-sistema---sreda programmirovaniya s podderzhkoi avtomaticheskogo dinamicheskogo rasparallelivaniya programm. Primer realizacii algoritma postroeniya izobrazhenii metodom trassirovki luchei//Programmirovanie, 1999, tom 25 (2), str 100--107, 1999 No25 (2) (In Russian) |
| 1998 | |
| 34 | Abramov S.M. Seti---eto prosto//Komp'yuterra No10 (238) 16 marta 1998 g., 1998 No10 (In Russian) |
| 33 | Abramov S.M., Patarakin E.D., Rudenko V.P., Shevchuk Yu.V. Virtual'nye svyazi formiruyut novyi kul'turno-obrazovatel'nyi organizm goroda Pereslavlya//Sb. trudov konferencii: V konferenciya Relarn'98, Samara, 1998, 1998 (In Russian) |
| 32 | Sergei Abramov and Robert Glück Semantics modifiers: an approach to non-standard semantics of programming languages//Third Fuji International Symposium on Functional and Logic Programming, Sato, Masahiko and Toyama, Yoshihito, Kyoto, Japan, World Scientific Publisher, 247--270, 1998 |
| 31 | Abramov S.M., Ponomarev A.Yu., Pozlevich R.V., Guzilova G.V., Skosyrev O.V. Ekonomicheski effektivnye tehnologii postroeniya nekommercheskih regional'nyh setei//Sb. dokladov: IV konferenciya Relarn'97, Nizhnii Novgorod, red. V.E. Filippov, IPF RAN, 1998, s. (In Russian) |
| 1997 | |
| 30 | Abramov S.M., Patarakin E.D. Postroenie gorodskoi opornoi seti i ob'edinenie na ee osnove regional'nyh obrazovatel'nyh, hudozhestvennyh i nauchnyh resursov//IV Mezhdunarodnaya konferenciya "Razvitie i primenenie otkrytyh sistem", Nizhnii Novgorod, oktyabr' 1997 g, 1997 (In Russian) |
| 29 | Abramov S.M., Ailamazyan A.K. Proverennye resheniya dlya regional'noi seti komp'yuternyh telekommunikacii//Rol' informatiki v regional'nom razvitii. Trudy Mezhdunarodnogo simpoziuma, Pereslavl'Zalesskii, 26--29 oktyabrya 1996 g., Red: A.K. Ailamazyan, M.:, Nauka, Fizmatlit, 1997, s.36--47, 1997 (In Russian) |
| 28 | Abramov S.M., Pozlevich R.V., Ponomarev A.Yu., Shevchuk Yu.V. Opyt ispol'zovaniya PC-routerov//Rol' informatiki v regional'nom razvitii. Trudy Mezhdunarodnogo simpoziuma, Pereslavl'Zalesskii, 26--29 oktyabrya 1996 g., Red: A.K. Ailamazyan, M.:, Nauka, Fizmatlit, 1997, s.48--50, 1997 (In Russian) |
| 27 | Abramov S.M., Patarakin E.D., Shevchuk Yu.V. Otrazhenie uchebnogo processa v zerkale novyh tehnologii//Pedagogicheskaya informatika No1, 1997, s.51--63, 1997 No1 (In Russian) |
| 26 | Abramov S.M., Pozlevich R.V., Ponomarev A.Yu., Shevchuk Yu.V. Ekonomicheski effektivnye tehnologii postroeniya regional'nyh setei dlya nauki i vysshei shkoly//Trudy konferencii Telematika'97, SPb, 1997, 1997 (In Russian) |
| 25 | Abramov S.M. Set' dlya vseh i po razumnym cenam//Komp'yuterra No 34 (211) 25 avgusta 1997 g., s.28--30, 1997 No34 (In Russian) |
| 24 | Abramov S.M., Ailamazyan A.K., Patarakin E.D. Razvitie sistem kommunikacii i predstavlenii ob ih ispol'zovanii v regional'nom obrazovanii//Trudy konferencii Telematika'98, SPb, 1998, 1997(In Russian) |
| 1996 | |
| 23 | Sergei Abramov, Alfred Ajlamazjan, and Eugeny Patarakin Global Tools for Educations Organizing and Personal Learning//In: Proceedings of Second international conference on distance education in Russia (ICDED'96), pp.220--222, World Trade Center, Moscow, Russia 2--5 July, 1996 |
| 1995 | |
| 22 | [S.M.Abramov, Metacomputation and its applications, "Science" Publish., Moscow, 1995, 128pp] Abramov S.M. Metavychisleniya i ih primenenie//M., Nauka--Fizmatlit, 1995 (In Russian) |
| 21 | Abramov S.M., Pozlevich R.V., Ponomarev A.Yu., Shevchuk Yu.V. Sistema telekommunikacii goroda Pereslavl'Zalesskii i ego regiona (domen "botik.ru")//V sb.: Regional'nyi seminar "Informatika i regional'noe upravlenie", g. Pereslavl'Zalesskii, 20--22 noyabrya 1995 g. Tezisy dokladov., 1995 (In Russian) |
| 20 | Abramov S.M., Dmitriev M.G., Patarakin E.D., Rudenko V.P. Telekommunikacionnyi obrazovatel'nyi centr malogo goroda//V sb.: Informacionnye tehnologii v nepreryvnom obrazovanii. Mezhdunarodnaya konferenciyavystavka, 5--9 iyunya 1995 g., Petrozavodsk. Tezisy dokladov. Petrozavodsk, Izdvo PerGU, s.161--162, 1995 (In Russian) |
| 1994 | |
| 19 | Sergei Abramov Metacomputation and program testing//V sb. "Teoreticheskie i prikladnye osnovy programmnyh sistem", Pereslavl'Zalesskii, IPS RAN, str 103--124, 1994 |
| 18 | Abramov S.M., Adamovich A.I., Nesterov I.A., Pimenov S.P., Shevchuk Yu.V. Avtotransformaciya vychislitel'noi seti---osnova dlya avtomaticheskogo i dinamicheskogo rasparallelivaniya//V sb. "Teoreticheskie i prikladnye osnovy programmnyh sistem", Pereslavl'Zalesskii, IPS RAN, 1994 (In Russian) |
| 1993 | |
| 17 | S.M.Abramov, A.I.Adamowitch, I.A.Nesterov, S.P.Pimenov, Yu.V.Shevchuck Autotransformation of evaluation network as a basis for automatic dynamic parallelizing//NATUG'1993 Spring Meeting "Transputer: Research and Application", May 10--11, 1993 |
| 16 | Sergei Abramov Metacomputation and program testing//In: Proceedings of 1st International Workshop on Automated and Algorithmic Debugging (AADEBUG'93), pp.121--135, Linkoping Univ., Sweden, 3--5 May, 1993 [50Kb ZIP(DVI+LaTeX sources) is FTP-available] |
| 1991 | |
| 15 | S.M.Abramov, A.I.Adamowitch, I.A.Nesterov, S.P.Pimenov, Yu.V.Shevchuck Principles of software tools implementation for multiprocessor with automatic dynamic parallelizing//In: Proceedings of 16th international school Programming'91, Sofia, Bulgaria, 1991 |
| 14 | [S.M.Abramov, Metacomputation and logic programming, In: Programming ("Programmirovanie") No 3, 1991, pp.31-44, Moscow] Abramov S.M. Metavychisleniya i logicheskoe programmirovanie//Programmirovanie, Moskva, s.31--44., 1991 No3 (In Russian) |
| 1989 | |
| 13 | Abramov S.M. Metavychisleniya i logicheskoe programmirovanie//Tezisy Vsesoyuznoi konferencii "Semioticheskie aspekty formalizacii intellektual'noi deyatel'nosti", Borzhomi89., 1989 (In Russian) |
| 12 | [A.A.Abakumov, S.M.Abramov, A.I.Adamowitch, I.A.Nesterov et al., Conception of MDA software In Proceedings of Soviet Union conference of young scientists and specialists on problems of cybernetics and computers., Moscow - Pereslavl-Zalessky, 1989] Abramov S.M., Abakumov A.A., Adamovich A.I., Nesterov I.A., Pimenov S.P., Ryadchenko A.V., Hatkevich M.I., Shevchuk Yu.V. Koncepciya razrabotki PO MDA//V sb. Vsesoyuznaya konferenciya molodyh uchenyh i specialistov po problemam kibernetiki i vychislitel'noi tehniki. Tezisy dokladov. Moskva---Pereslavl'-Zalesskii, 1989 (In Russian) |
| 1988 | |
| 11 | Abramov S.M., Barban A.P., Mihnushev D.P., Sibirkova L.A. Programmnoe obespechenie kompleksa ES EVM: mashina dinamicheskoi arhitektury//V sb: "Voprosy RE", tematicheskii sbornik, seriya VT, str. 1--25, 1988 No7 (In Russian) |
| 10 | [S.M.Abramov, S.A.Romanenko, How to Use Vectors for Representing Ground Expressions in the Implementations of the Language Refal, Preprint of Inst. of Applied Math. of USSR AS, 1988, No. 186, 27 pp. English version (unpublished): 54Kb ZIP(DVI+LaTeX sources) is FTP-available] Abramov S.M., Romanenko S.A. Predstavlenie ob'ektnyh vyrazhenii massivami pri realizacii yazyka Refal//M.: IPM im. M.V. Keldysha AN SSSR, preprint No 186. 27 s., 1988 (In Russian) |
| 1987 | |
| 9 | [S.M.Abramov, Program testing by neighborhood analysis, In: Cybernetic problem, Moscow] Abramov S.M. Testirovanie programm s ispol'zovaniem okrestnostnogo analiza//V sb. Voprosy kibernetiki. Problemno-orientirovannye vychislitel'nye processy. Moskva, 1987 (In Russian) |
| 8 | Abramov S.M. Programma DAROS. Rukovodstvo programmista.//Edinaya sistema elektronnyh vychislitel'nyh mashin. SPO ES2704. Programma DAROS. Rukovodstvo programmista. C5.00079-01 33 02, Moskva, NICEVT, 1987 (In Russian) |
| 7 | Abramov S.M., Barban A.P., Sibirkova L.A. Sredstva vzaimodeistviya s mashinoi dinamicheskoi arhitektury v OS 7 ES//1-ya Vsesoyuznaya konferenciya "Problemy sozdaniya superEVM, supersistem i effekt ih primeneniya" Minsk, 15--17 sentyabrya 1987 g., ch.1, str. 97--98, IM AN BSSR, 1987(In Russian) |
| 1985 | |
| 6 | Abramov S.M., Gorskaya I.V.Korotkova M.A.Popov S.V. Sistema poiskov vyvodov//V sb.: VII Vseso-yuz-naya kon-fe-ren-ciya "Problemy teoreticheskoi kibernetiki", Irkutsk, 1985 (In Russian) |
| 1984 | |
| 5 | [S.M.Abramov, Using of neighborhood analysis for program testing, In: Some problem of system programming. Moscow State University, 1984] Abramov S.M. Ispol'zovanie okrestnostnogo analiza dlya testirovaniya programm//V sb.: Razlichnye aspekty sistemnogo programmirovaniya, MGU, s.125--129, 1984 (In Russian) |
| 1983 | |
| 4 | Abramov S.M., Trubicyna S.B. Algoritm linearizuyushei sborki musora, minimiziruyushii kolichestvo stranichnyh obmenov//V sb.: Vsesoyuznyi seminar "Optimizaciya i preobrazovaniya programm", tom 2, str. 5--12, VC SO AN SSSR, Novosibirsk, 1983 (In Russian) |
| 3 | Abramov S.M. Ispol'zovanie smeshannyh vychislenii dlya testirovaniya programm//V sb. tezisov: Vsesoyuznaya shkola po smeshannym vychisleniyam, Limanchik, Novorosiisk, 1983, dostupna v "Arhive akademika. Ershova" (In Russian) |
| 2 | Abramov S.M. Okrestnostnyi metod testirovaniya programm//V sb.: Sbornik tezisov dokladov Moskovskoi gorodskoi konferencii. Informatika, vychislitel'naya tehnika, avtomatizaciya v nauke i tehnike, narodnom hozyaistve. Moskva, 1983 (In Russian) |
| 1982 | |
| 1 | [S.M.Abramov, N.V.Kondratev, A Compiler based on partial evaluation, In: Some problem of applied mathematics and software. Moscow State University, 1982, p.66--69] Abramov S.M., Kondrat'ev N.V. Kompilyator, osnovannyi na metode chastichnyh vychislenii//V sb.: Nekotorye voprosy prikladnoi matematiki i programmnogo obespecheniya EVM, MGU, 1982 (In Russian) |
|
Program
Systems Insitute Research Center for Multiprocessor Systems Sergei Abramov's home page |
|
Last modified: 01-17-2005 23:35, abram@botik.ru