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


At the 16-th IFIPWorld Computer Congress

Тhis is a review of the 16-th IFIP World Computer Congress held in Beijing, China, in August, 2000 under the title "Information Processing Beyond Year 2000". The IFIP Computer congress is the most important world scientific forum on information technologies where the main problems and the most significant results in modern informatics are considered.

The paper is available in Russian only as PDF document


Data dependence analysis based on the Shostak algorithm

The main problem of program parallelizing is to find out data depedences. This article presents a precise test for data dependence analysis based on analysis of solvability of a system of linear inequalities in two variables on the basis of Shostak algorithm. The model of a source program, as well as the Shostak algorithm and its modification, is given and implementation of the project is described.

The paper is available in Russian only as PDF document


NUMA-architecture: specific features of compilation and code generation

This paper is about some features of compilation and code generation for NUMA-architectures. The definition of a NUMA-architecture is given and the difference between multiprocessors and multicomputers is shown. Computers with NUMA-architectures and the peculiarities of software for them are described. A review of the papers related to cycle restructurization and data transformation is also given.

The paper is available in Russian only as PDF document


A functional language SISAL 3.0

The paper describes the Sisal 3.0 language which is the initial version of the source language of the functional programming system (FPS). Semantic and syntactical features of this language have been briefly described and a review of the papers related to the Sisal 3.0 problems have also been done.

The paper is available in Russian only as PDF document


A parallel algorithm for solving a problem of interaction between low-density plasma flows

The parallel algorithm for solving a problem of interaction between low-density plasma flows is studied. The most elementary parallel architecture is considered. In the context of some natural assumptions, the run-time estimates have been made for the parallel and sequential cases; the acceleration coefficient has also been evaluated.

The paper is available in Russian only as PDF document


On parallelizing the MEDUZA technique

The problems connected with parallelizing the "MEDUZA" technique applied to a number of mathematical physics problems are considered.

The paper is available in Russian only as PDF document


Software for testing the image processing algorithms

The algorithms which are a base of "a test desk" program intended to develop applied software for image processing are briefly described.

The paper is available in Russian only as PDF document


A GRAMAL language for description of graph models and algorithms

Graph models and various methods of their processing are often and widely used when constructing software systems of different levels of complexity. Graphs (being a very convenient tool for description of data structure and information flows) are actively used in a number of mathematical problems. The GRAMAL system here described is aimed at 4 points:

  • to provide a tool for graph model description;
  • to represent this model graphically;
  • to provide testing and debugging tools for graph processing;
  • to support code generation and its further application.

The paper is available in Russian only as PDF document


Transform: a data input interface

A data input interface for the information retrieval system Transform is described. A source of data for this system is bibliography on program transformations. The aim of this work is to create a program complex which provides a remote user connected to IS Transform WWW-server with a convenient interface for registration in the system, input of data to the database, information retrieval, and output of results in a convenient form.

The paper is available in Russian only as PDF document


Application of graphs to programming

This article describes a number of tools which support application of graphs to programming; they are under development in the Laboratory for program construction and optimization of the A.P. Ershov Institute of Informatics Systems. A review of the papers on "encyclopedia" of graph algorithms for programmers is given. Methods and tools for graph (and graph model) visual processing are described. The dictionary on graph theory in programming and its electronic version are considered.

The paper is available in Russian only as PDF document


Equivalence of local computation models

This paper considers equivalence of local computation models. There exist several models of local computations on graphs, such as the systems of graph rewriting with priority, the systems of graph rewriting with supressed context, Zhuravlev's local algorithms, and the finite automata nets. The paper discusses the question of comparison between classes of problems solvable in polynomial time invarious models of local computations. Some propositions and their proofs are given.

The paper is available in Russian only as PDF document


Some invariants of a cube-like graph

A cube-like graph was firstly introduced by Lovas. This is a graph with a special relation of vertex incidence. The article is devoted to a study of some cube-like graph invariants, in particular, chromatic ones. The value of an edge prescribed chromatic number is found, and the method for calculation of the cliquemathic number and the clique number of a cube-like graph is also described.

The paper is available in Russian only as PDF document


>A graphic output mechanism in the visualization system for hierarchical graph models

The mechanisms of graphic output in graph visualization systems are considered. The main problems of constructing such systems are presented and classified and the general solution methods are given for them. A particular implementation of these approaches in the Higres system, which is a visualizer and editor for hierarchical graph models, is described.

The paper is available in Russian only as PDF document


User interface in the visualization system for hierarchical graph models

The user interface of the Higres system, a visualizer and editor for hierarchical graph models, are described. The methods for visualization of the hierarchical structure are presented which provide one with easy-to-use intuitive graph editor interface. The algorithms for automatic drawing refinement and some additional features implemented in the system are considered.

The paper is available in Russian only as PDF document


Making graph-based illustrations with the help of VEGRAS system

The Vegras system described in this article is an editor tool for making graphbased illustrations. The motivation to develop such software is the lack of easy-to-use graph editor tools which allow users to make graph-based illustrations for scientific literature. With the help of our system it is possible to create nice looking graph-based illustration in a few minutes. In addition, our system provides a possibility to add different special mathematical symbols to graph's labels, as well as subscripts and superscripts.

The paper is available in Russian only as PDF document


A LISP-implementation of a pattern-search on the basis of similar procedures of Refal and Haskell languages

An extension of Lisp with a pattern-search procedure based on similar ones of Refal and Haskell languages is described. Some methods for extension of Lisp with pattern-search tools are considered and convenience of using them for structured data processing is estimated.

The paper is available in Russian only as PDF document


Using patterns inWIS development

Today WEB is the most popular information storage. This article discusses the use of project patterns when solving different problems of constructing hypermediaapplications, namely, the process of using patterns aimed to improve constructing the architecture of WEB-Information Systems (WIS).

The paper is available in Russian only as PDF document


A logical structure of the process of puzzle generation and solution

The decision-making methods in the TRIZ concept are investigated for the process of puzzle generation and solution.

The paper is 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.