Volume 21; Issue 6

2

Identical transformations in algebras of nondeterministic algorithms. I

Year:
1985
Language:
english
File:
PDF, 773 KB
english, 1985
3

Implementation of transformations in problem-oriented systems

Year:
1985
Language:
english
File:
PDF, 604 KB
english, 1985
5

Efficient algorithm for equivalent transformations of grid models

Year:
1985
Language:
english
File:
PDF, 496 KB
english, 1985
6

Program testing: Specification languages and automatic test generation

Year:
1985
Language:
english
File:
PDF, 1.14 MB
english, 1985
7

Algorithm to find invariant linear inequality constraints in programs

Year:
1985
Language:
english
File:
PDF, 715 KB
english, 1985
8

Some solvable cases of the problem of constructing a complete system of test cases

Year:
1985
Language:
english
File:
PDF, 632 KB
english, 1985
9

Deterministic asynchronous interpretation of parallel microprograms

Year:
1985
Language:
english
File:
PDF, 907 KB
english, 1985
10

Some efficient algorithms for digital filtering

Year:
1985
Language:
english
File:
PDF, 466 KB
english, 1985
12

ɛ-Subgradient mapping and the problem of convex optimization

Year:
1985
Language:
english
File:
PDF, 335 KB
english, 1985
13

Solution of one problem of optimal partition of the vertex set of a hypergraph

Year:
1985
Language:
english
File:
PDF, 971 KB
english, 1985
15

Gradient methods of maximization of convex functions on discrete structures

Year:
1985
Language:
english
File:
PDF, 1.20 MB
english, 1985
17

Equilibrium states of an economic system

Year:
1985
Language:
english
File:
PDF, 723 KB
english, 1985