Parcourir par
Revues
Séminaires
Livres
Congrès
Sources
Geodesic
Parcourir par
Revues
Séminaires
Livres
Congrès
Sources
Modelirovanie i analiz informacionnyh sistem
Tome 19 (2012)
no. 4
Précédent
Suivant
Volume 19 (2012) no. 4
Sommaire
On a Nonstationary Route Problem with Constraints
A. G. Chentsov
;
P. A. Chentsov
p. 5-24
On Construction and Verification of PLC-Programs
E. V. Kuzmin
;
V. A. Sokolov
p. 25-36
Performance Analysis of the Transport Protocols Trickles and TCP under High-load Network Conditions
M. A. Nikitinskiy
;
D. Ju. Chalyy
p. 37-47
Tail Recursion Transformation in Functional Dataflow Parallel Programs
A. I. Legalov
;
O. V. Nepomnyaschy
;
I. V. Matkovsky
;
M. S. Kropacheva
p. 48-58
Countable Ideals in a Semi-Lattice of the
$\mathbf{D}_e$
Enumeration Degrees
V. V. Tikhov
p. 59-66
On one A.\,I.~Mal'cev's Question from the ``Kourovskaya Notebook''
V. G. Durnev
p. 67-71
Some Notes about Arrangements of Points on Quadrics
A. V. Seliverstov
p. 72-77
Generalized Asynchronous Systems
E. S. Kudryashova
;
A. A. Khusainov
p. 78-86
Gale Duality and the Neighborliness of Random Polytopes. II
A. G. Brodskiy
p. 87-109
On the Firmness Code Noising to the Statistical Analysis of the Observable Data of Repeated Repetition
V. M. Deundyak
;
J. V. Kosolapov
p. 110-127
Optimization of Calculating Invariants in Petri Nets to Support the Creation of Integration Testing Scenarios
M. G. Dorrer
;
V. V. Kurokhtin
p. 128-143
A Constructive Classification of Graphs
M. A. Iordanskii
p. 144-153
A Context-Free Grammar of One Rhythmic Model of Russian Verse
V. N. Boykov
p. 154-167
The First Yaroslavl Summer School on Discrete and Computational Geometry
N. Dolbilin
;
H. Edelsbrunner
;
A. Ivanov
;
O. Musin
p. 168-173