Articles

Development of programming in the USSR

A.P. Ershov, M.R. Shura-Bura
Novosibirsk 2016

This preliminary historical study conducted on the basis of the publications, as well as of the memoirs and archives of the authors is an attempt to consider the first fifteen years of the development of programming in the USSR – both as a practical experience and as a branch of science. After a brief description of the context of this development and analysis of the initial knowledge, the authors demonstrate that many important sections of programming – primarily, general methodology and theory, as well as translation principles – developed in the USSR driven by its own powerful creative impulses.

The authors emphasize the role of Algol 60 in the internalization of scientific research in programming and making it generally valid. In conclusion, the authors provide a critical analysis of the subject, discussing the reasons for some development gaps in Soviet programming.

In the end, the list of the sources used in both parts of the study is given.

The study was made for the proceedings of the Los Alamos History of Computing Conference held in the USA from 10 to 15 June 1976.

The articles are available in Russian only as PDF document


Young informatics - 2014

Collection of papers of graduate students and young scientists
Issue 4
Edited by N.S. Gribovskaya, Ph.D.
Novosibirsk 2014

The volume contains the papers presented by post-graduates and young researchers of A.P. Ershov Institute of Informatics Systems which concern the following research areas: theoretical aspects of programming, information technologies and systems, system software and application software.

Contents:

Arabadzhi O.V., Gribovskaya N.S. A Logical Characteristic of Bisimulation Equivalences for Timed Stable Event Structures
Borovlyov V.A. An Unfolding Reduction of Safe Time Petri Nets
Erofeev E.K. Constructing Algebraic Lattices for Prime Event Structures
Leshtaev S.V. Foundations of SPARQL
Pankratov S.B. Automated Test Generation for Checking Parallelization and Vectorization of Loops in the Compiler
Plotnikova Yu.E. An Alternative Characterization of Zones for Time Petri Nets with Dynamic Priorities

The articles are available in Russian only as PDF document


Informatics in research and education

Edited by prof. V.N. Kasyanov
Novosibirsk 2012

This volume is the twenty first in the series on the problems of program construction and optimization, published by the A.P. Ershov Institute of Informatics Systems. The volume is devoted to actual problems of application of system informatics to research and education.

It may be of interest to system programmers, students and postrgraduates specializing in the area of system and theoretical programming, as well as all those interested in modern informatics and programming.

The articles are available in Russian only as PDF document


Young informatics - 2011

Collection of papers of graduate students and young scientists
Issue 3
Novosibirsk 2011

The volume contains the papers presented by post-graduates and young researchers of A.P. Ershov Institute of Informatics Systems which concern the following research areas: theoretical aspects of programming, information technologies and systems, system software and application software.

Contents:

Baram E.G. Expert system determining diseases by means of analysis of blood serum chromatogram
Bushin D.I. Trace equivalences of temporal Petri nets
Zverev N.B., Poletaev S.A. On realization of hierarchical cluster analysis algorithm on GPU using CUDA technology
Platonov Yu.G. Employment of CQRS technology in development of corporate applications
Ryaskina N.A. Stripe-transformation of signals and some computational experiments
Khairulin S.S. Simulation of biological neural networks with NeuroML technology
Shmanina T.V. On method of synonymous constructions of natural language revelation and its application to the problem of information retrieval
Shmanina T.V. Review of methods of text semantics representation and extraction of knowledge from them

The articles are available in Russian only as PDF document


Parallel programs construction and optimization

Edited by prof. V.N. Kasyanov
Novosibirsk 2008

This volume is the sixteenth in the series on the problems of program construction and optimization, published by the A.P. Ershov Institute of Informatics Systems. The volume is devoted to problems dealing with methods and tools of parallel system and program construction and optimization.

It may be of interest to system programmers, students and postrgraduates specializing in the area of system and theoretical programming, as well as all those interested in modern informatics and programming.

The articles are available in Russian only as PDF document


Tools and techniques of programm construction

Edited by prof. V.N. Kasyanov
Novosibirsk 2007

This volume is the fifteenth one in a series of books published in A.P. Ershov Institute of Informatics Systems. This volume is devoted to the tools and techniques of program construction and optimization.

The volume is of interest for system programmers, students and postgraduates working in the field of system and theoretical programming.

The articles are available in Russian only as PDF document


Young informatics - 2006

Collection of papers of graduate students and young scientists
Issue 2
Novosibirsk 2006

The volume contains the papers presented by post-graduates and young researchers of A.P. Ershov Institute of Informatics Systems which concern the following research areas: theoretical aspects of programming, information technologies and systems, system software and application software.

Contents:

Andreeva M.V. Timed configuration structures: equivalence notions and action refinement
Batura Ya.N. Human-machine model of language of thinking
Beloglazov D.M. Detection of feature interaction in telephone networks using colored Petri nets
Botoeva E.Yu. 2D- and 3D-visualization of a solution set in the UniCalc system
Brazhnik S.A. Formal model of the UML class diagram
Veretnov S.A. Translation of a language of executable specifications of distributed systems SDL into a language of executable specifications REAL
Vol'khina N.K. Automatic recovery of program business logic
Gribovskaya N.S. Open maps and timed testing equivalence for timed automata models
Demin A.V., Vityaev E.E. The model of adaptive behavior based on the semantic probabilistic inference
Kal'chenko V.V. XML algebra for XQuery
Pyatkov A.B. Formal model of the basic concepts of the programming language C#

The articles are available in Russian only as PDF document


Problems of intellectualization and quality of informatics systems

Edited by prof. V.N. Kasyanov
Novosibirsk 2006

This volume is the thirteenth one in a series of books published in A.P. Ershov Institute of Informatics Systems. This volume is devoted to the tools and techniques of program construction and optimization.

The volume is of interest for system programmers, students and postgraduates working in the field of system and theoretical programming.

Contents:

Arapbaev R.N., Osmonov R.A. Data dependences analysis for multidimensional arrays on the basis of a modified λ-test
Batura T.V., Murzin F.A. Processing of a query in a natural language with the help of REFAL-like constructions
Dobrynin A.A., Mel'nikov L.S., Schreyer J., Walther H. The number of oblique polyhedral graphs with a small number of vertices
Dunaev A.A., Valeev T.F., Tarasov E.A. Research of the methods of organization of a visual feedback in a hardware-software complex "BOSLAB"
Dunaev A.A. A research system for analysis of texts in a natural language
Kasyanov V.N. Museums and Internet
Kasyanova E.V. An adaptive system of support for distant education in programming
Kozyreva A.V. Detecting the mobile device position by analyzing images made by its camera
Kozyreva A.V. Some methods of video camera calibration
Mel'nikov L.S., Petrenko I.V. Path partitions in non-oriented graphs
Nesgovorova G.P. Modern information, communication, and digital technologies in conservation of the cultural and scientific heritage and in the development of the museum activity
Osmonov R.A., Shtokalo D.N. Loop transformations based on nonsingular matrix
Serebrennikov A.L. A review of capabilities of the Significo environment by the example of deciding an applied problem
Serebrennikov A.L. Benchmark analysis of neural network packages and the place of the Significo environment among them. Short description of the environment
Stasenko A.P. A review of dataflow programming languages
Taraskina A.S. Fuzzy clusterization by the modified method of c-average and its application to microchip data processing
Shkurko D.V. Fault-tolerance of distributed systems: the consensus problem
Yur'ev S.V. Universal system for building and management of laboratorial web-sites

The articles are available in Russian only as PDF document


Young informatics - 2005

Collection of papers of graduate students and young scientists
Novosibirsk 2005

The volume contains the papers presented by post-graduates and young researchers of A.P. Ershov Institute of Informatics Systems which concern the following research areas: theoretical aspects of programming, informational technologies and information systems, system software and applied software.

Contents:

Borovikova O., Bulgakov S., Sidorova E. The knowledge system of informational Internet-portal on scientific subjects
Gluhankov M.P. Integrated environment SFP for visual functional programming
Dubranovsky I.V. Exception handling elimination while translating from C#-light into C#-kernel
Kanius S.S., Nikitin A.G. Implementation of a Closed Set of Boolean Operations over Polygonal Regions on a Discrete Grid
Koldakov V.V., Panov N.V., Shary S.P. Visual representation of running the algorithms of global interval optimization
Mashukov M.Yu. Translation of SDL-specifications with dynamic constructions to Coloured Petri Nets by Jensen
Petrov V.P. Survey of Methods of Application of Ontology and Data Schemes to Integration of Distributed Heterogeneous Information Resources
Plavenchuk E.A. Extension of capabilities of the FinPlan system using structure models
Rinskaya N.M. Analysis of timed Petri Nets based on testing equivalences
СSidorova E.A. Document processing methods based on expert knowledge
Stasenko A.P. Graphical metalanguage for translator specification
Shkurko D.V. Graph rewriting systems: leader selection and topology recognition in anonymous nets

The articles are available in Russian only as PDF document


Tools and techniques of programm construction and optimization

Edited by prof. V.N. Kasyanov
Novosibirsk 2005

This volume is the twelfth one in a series of books published in A.P. Ershov Institute of Informatics Systems. This volume is devoted to the tools and techniques of program construction and optimization.

The volume is of interest for system programmers, students and postgraduates working in the field of system and theoretical programming.

Contents:

Batura T.V., Korda O.V., Murzin F.A., Pozimenko A.A. Exploratory system for analysis of texts in a natural language
Valeev T.F. Comparative analysis of the search techniques using microarray data for regulation modules in the DNA sequences
Vinokurov A.A., Ilyin I.V., Murzin F.A., Semich D.F. The calculation of the oil saturation coefficient based on results of nuclear oil-wells carotage
Volyanskaya T.A. User Interface of Virtual museum of informatics history in Siberia
Kasyanova E.V. Introductory course of programming based on the Zonnon language
Konovalova T.G., Komashko V.M. Processing of data of microarray experiments with the use of the R language
Malinina Yu.V. Semantic network as a formal method of description and processing of texts about program transformations
Mel'nikov L.S., Petrenko I.V. Path kernels and partitions in graphs with small lengths of cycles
Nesgovorova G.P. Review of virtual Internet-museums
Osmonov R.A. A method of algorithm parallelization by unimodular transformations
Pyzhov K.A. A block of reducing optimizations for Sisal 3.0 compiler
Sinyakov A.I. Analysis of a module approach and its implementation in different programming languages
Stasenko A.P. The interface system for a translator to the internal representation IR1
Khan Yu. Overview of debugging techniques for functional languages
Cheryomushkin E.S.Analysis of different types of DNA with autocorrelation function Analysis of different types of DNA with autocorrelation function
Shtokalo D.N., Cheryomushkin E.S. Construction of a programme complex "Regulatory Sequences Analyzer" for recognition of cis-elements in the DNA sequence

The articles are available in Russian only as PDF document


Software tools and mathematical foundations of informatics

Edited by prof. V.N. Kasyanov
Novosibirsk 2004

This volume is the eleventh one in a series of books published in A.P. Ershov Institute of Informatics Systems on the problems of program construction and optimization. This volume is devoted to a decision of actual problems connected with software tools and mathematical foundations of informatics.

The volume is of interest for system programmers, students and postgraduates working in the field of system and theoretical programming.

The articles are available in Russian only as PDF document


Theoretical and applied problems of informatics: novel approaches and solutions

A school-and-contest of young researchers
Novosibirsk, Akademgorodok
May, 25 – June, 15, 2003

The volume contains the papers presented by post-graduates and young researchers of A.P. Ershov Institute of Informatics Systems at the school-andcontest "Novel approaches and solutions" which concern the following research areas: theoretical aspects of programming, informational technologies and information systems, system software and applied software.

The articles are available in Russian only as PDF document


The predicate programming methods

Edited by V.I. Shelekhov
Novosibirsk 2003

This volume includes papers on predicate programming. The predicate programming concept and some part of the predicate programming language P is introduced. The predicate programming technology is demonstrated for some concrete problems. An algorithm of variable replacement used in transformation of a predicate program to effective imperative one is described.

The volume may be of interest for researchers in computer science, programmers and students.

The articles are available in Russian only as PDF document


New informational technologies in science and education

Edited by prof. V.N. Kasyanov
Novosibirsk 2003

This volume is the tenth one in a series of books published in A.P. Ershov Institute of Informatics Systems on the problems of program construction and optimization. This volume is devoted to a decision of actual problems connected with using of new information technologies in science and education.

The volume is of interest for system programmers, students and postgraduates working in the field of system and theoretical programming.

The articles are available in Russian only as PDF document


Modern problems of program construction

Edited by prof. V.N. Kasyanov
Novosibirsk 2002

This volume is the ninth one in a series of books published in A.P. Ershov Institute of Informatics Systems on the problems of program construction and optimization. It describes solutions to actual problems of constructing efficient and reliable programs and software systems based on graph-theory methods, functional programming, network processing and visualizing tools.

The volume is of interest for system programmers, students and postgraduates working in the field of system and theoretical programming.

Contents:

Baburin D.E. Hierarchical approach for drawing directed graphs
Volyanskaya T.A. Methods and techniques of adaptive hypermedia
Gluhankov M.P., Dortman P.A., Pavlov A.A., Stasenko A.P. Translating components of a functional programming system (SFP)
Dunaev A.A., Lobiv I.V., Mehontsev D.Yu., Murzin F.A., Polovinko O.N., Semich D.F., Chepel' A.V., Yarkov K.A. Algorithms of fast search for fragments of photoimages
Dylykov J.L.-D., Murzin F.A. TRIZ_Computing system
Dylykov J.L.-D., Pustyl'nikov V.A. Computer-aided decision making at the railway transport as a guarantee of railway safety
Evstigneev V.A. A pipeline model of transportation as a model of message passing
Evstigneev V.A., Mirzuitova I.L. The development of NUMA-architectures: current state
Ivanov M.A. A review of MPEG-like methods of video data encoding
Kasyanov V.N., Nesgovorova G.P., Volyanskaya T.A. Virtual museum of informatics history in Siberia
Kryazhenkov P.B. User interface of an integrated functional programming environment SFP
Malinina Yu.V. IS TRANSFORM: computer-aided system filling
Markin V.A., Markina S.A. A project of a system for fast prototyping of a parallelizing compiler. Generalpurpose internal system representation
Mel'nikov L.S., Petrenko I.V. Path kernel and cycle length in undirected graphs
Mekhontsev D.Yu., Lobiv I.V., Seleznev K.S. Real-time tracking and velocity determination of objects moving on a plane
Terekhov V.I., Trenogin N.G. Optimal data distribution in information systems according to the system component reliability

The articles are available in Russian only as PDF document


Supercomputing support and internet-oriented technologies

Edited by prof. V.N. Kasyanov
Novosibirsk 2001

This volume is the seventh one among volumes published in A.P. Ershov Institute of Informatics Systems on problems of programs construction and optimization. The decision of actual problems of methods and tools elaboration increasing efficiency of supercomputers and telecommunication nets is described.

The volume is of interest for system programmers, students and postgratuate students working in the field of system and theoretical programming.

The articles are available in Russian only as PDF document





You are reporting a typo in the following text:
Simply click the "Send typo report" button to complete the report. You can also include a comment.