Volume 31; Issue 6

2

Synthesis of a nondeterministic automaton from its logical specification. II

Year:
1995
Language:
english
File:
PDF, 559 KB
english, 1995
5

Dynamic models of parallel computations for macropipelined programs

Year:
1995
Language:
english
File:
PDF, 1.21 MB
english, 1995
6

Simple-fault checking for automata generated by a fault function

Year:
1995
Language:
english
File:
PDF, 552 KB
english, 1995
8

Linearization method for inverse convex programming

Year:
1995
Language:
english
File:
PDF, 503 KB
english, 1995
9

Some models of continuous-time stochastic approximation

Year:
1995
Language:
english
File:
PDF, 212 KB
english, 1995
10

Passive-state generation mechanisms and stabilization of dynamic systems

Year:
1995
Language:
english
File:
PDF, 446 KB
english, 1995
11

Prime-number algorithm for public-key systems

Year:
1995
Language:
english
File:
PDF, 523 KB
english, 1995
12

Analysis of bulk networks under high loads

Year:
1995
Language:
english
File:
PDF, 384 KB
english, 1995
13

Decision support systems based on fuzzy structural graphs

Year:
1995
Language:
english
File:
PDF, 445 KB
english, 1995
15

Equivalence of transducers relative to regular languages

Year:
1995
Language:
english
File:
PDF, 104 KB
english, 1995
17

Queueing system with group arrivals and a stack discipline

Year:
1995
Language:
english
File:
PDF, 145 KB
english, 1995
18

Improvement of the two-step Richardson algorithm

Year:
1995
Language:
english
File:
PDF, 175 KB
english, 1995
20

Convergence ofr-algorithms

Year:
1995
Language:
english
File:
PDF, 221 KB
english, 1995
21

λ-Fold difference bases for linear and rectangular arrays

Year:
1995
Language:
english
File:
PDF, 209 KB
english, 1995