Main page

Program Systems Institute

2007 | 2006 | 2005 | 2004 | 2003 | 1993

Publications

2007

  1. Sergei Abramov, Robert Gluck, Yuri Klimov. 2007. An Universal Resolving Algorithm for Inverse Computation of Lazy Languages. Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006 Novosibirsk, Russia, June 2006. Proceedings. I. Virbitskaite and A. Voronkov (Eds.): PSI 2006, LNCS 4378, pp. 27-40, 2007. Springer-Verlag Berlin Heidelberg 2007
  2. Alexander Moskovsky, Vladimir Roganov, and Sergei Abramov. 2007. Parallelism Granules Aggregation with the T-System. Parallel Computing Technologies: 9th International Conference, PaCT 2007 Pereslavl-Zalessky, Russia, September 2007. Proceedings. Victor Malyshkin (Ed.)- Berlin etc. Springer, 2007. - Lecture Notes in Computer Science: Volume 4671, pp. 293-302
  3. Alexander Moskovsky, Vladimir Roganov, Sergei Abramov, and Anton Kuznetsov. Variable Reassignment in the T++ Parallel Programming Language. Parallel Computing Technologies: 9th International Conference, PaCT 2007 Pereslavl-Zalessky, Russia, September 2007. Proceedings. Victor Malyshkin (Ed.)- Berlin etc. Springer, 2007. - Lecture Notes in Computer Science: Volume 4671, pp. 579-588
  4. Lisitsa A.P., Nemytykh A.P.  Verification as a Parameterized Testing (Experiments with the SCP4 Supercompiler). , In: J. Programming and Computer Software , Vol. 33, No. 1, pp: 14-23, 2007.
    • The paper is translation of the Russian version: Verificatiya kak parametrizovannoe testirovanie (experimenty s superkompilyatorom SCP4). In: J. Programmirovanie, No. 1, pp: 22-34, 2007. abstract
  5. Lisitsa A.P., Nemytykh A.P.   Reachability Analysis in Verification via Supercompilation , In Proc. of the Satellite Workshops of DTL 2007, TUCS General Publication, No. 45, Part 2, pp: 53-67, June 2007.
  6. Lisitsa A.P., Nemytykh A.P.  A Note on Specialization of Interpreters , In Proc. of The 2-nd International Symposium on Computer Science in Russia, Lecture Notes in Computer Science, Vol. 4649, pp: 237-248, 2007.

2006

  1. Sergei M. Abramov, Alexander Moskovsky, Vladimir Roganov, Elena Shevchuk. 2006. The Open TS dynamic parallelization system approach. PARA'06 WORKSHOP ON STATE-OF-THE-ART  IN SCIENTIFIC AND PARALLEL COMPUTING Umea, Sweden, June 18-21 2006
  2. [01-06] Vladimir Roganov, Alexander Moskovsky, Sergei Abramov. 2006. The Open TS parallel programming system.

2005

  1. Sergey Abramov, Alexei Adamovich, Alexander Inyukhin, Alexander Moskovsky, Vladimir Roganov, Elena Shevchuk, Yuri Shevchuk, and Alexander Vodomerov. 2005. OpenTS: An Outline of Dynamic Parallelization Approach. Parallel Computing Technologies: 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005. Proceedings. Editors: Victor Malyshkin - Berlin etc. Springer, 2005. - Lecture Notes in Computer Science: Volume 3606, pp. 303-312
  2. S. Mechveliani. 2005. Term rewriting, Equational reasoning, Automatic proofs. Pereslavl-Zalessky, 2005. dumatel-1.02.zip
  3. L.Travina, Galina Mironova, A.Abramov "Self-image of efficient top-managers in Russian internet business"// British and east european psychology group. Conference "Psychology in the new Europe: methodology and funding, Jagellonian University Centre Polonia, Krakow, Poland, semptember 11-14 2005
  4. Patarakin E.D., Yarmakhov B.B., 2005, Building Network Learning Communities: The Russian Context, Audem.
  5. Alexei Lisitsa, Andrei P. Nemytykh. 2005. Verification of parameterized systems using supercompilation. A case study. Proceedings of the Third Workshop on Applied Semantics (APPSEM05), Fraunchiemsee, Germany, 12-15 September 2005. Editors: Martin Hofmann, Hans-Wolfgang Loidl - Ludwig Maximillians Universitat Munchen, 2005.

2004

  1. S. Mechveliani. 2004. From a computer algebra library to a system with an equational prover. In Proceedings of International Conference AISC-2004, edited by   J.A. Campbell and B. Buchberger, Linz, Austria, September 2004. LNAI, Volum 3249, pages 281-284, Springer Verlag, 2004.

2003

  1. Chudinov, A., Guzev, V., Serdyuk Z. 2005. MC#: An Asynchronous Parallel Programming Language for Cluster and GRID-Architectures, in proc. of C# and .NET Technologies' 2003, Plzen, Czech Republic pp. 21-24

  2. [09-05] Chudinov, A., Roganov, V. 2005. Parallel Computing Runtime for .NET Framework, in proc. of C# and .NET Technologies' 2003, Plzen, Czech Republic pp. 3-8

1993

  1. S. M. Abramov, A. I. Adamowitch, I. A. Nesterov, S. P. Pimenov, Y. V. Shevchuck. 1993. Autotransformation of evaluation network as a basis for automatic dynamic parallelizing, Proc. The 6th NATUG meeting, NATUG'1993 Spring Meeting "Transputer: Research and Application", May 10-11, 1993, IOS Press, Vancouver, Canada.

 



Address: Program Systems Institute of RAS
Pereslavl-Zalessky Yaroslavl Region Russia, 152020
Telephone./Fax: +7 (48535) 98-064  E-mail: psi@botik.ru    Web: http://www.botik.ru/PSI

Program Systems Institute of RAS, Pereslavl-ZalesskyRussia

 Main page