Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben

Automatic Control and Computer Sciences

Ausgabe 7/2013

Inhalt (24 Artikel)

Performance analysis of trickles and TCP transport protocols under high-load network conditions

M. A. Nikitinskiy, D. Ju. Chalyy

Tail recursion transformation in functional dataflow parallel programs

A. I. Legalov, O. V. Nepomnyaschy, I. V. Matkovsky, M. S. Kropacheva

Formal verification of programs in the functional data-flow parallel language

M. S. Kropacheva, A. I. Legalov

About algebraic program models with procedures

R. I. Podlovchenko, A. E. Molchanov

CPN tools-assisted simulation and verification of nested Petri nets

L. W. Dworzański, I. A. Lomazova

Verification of computing grids with special edge conditions by infinite Petri nets

D. A. Zaitsev

Deductive verification of telecommunication systems written in C

I. S. Anureev

Deductive verification of the Sliding Window Protocol

D. A. Chkliaev, V. A. Nepomniaschy

Tree slicing: Finding intertwined and gapped clones in one simple step

M. Akhin, V. Itsykson

An approach to creating concretized test scenarios within test automation technology for industrial software projects

A. Kolchin, A. Letichevsky, V. Peschanenko, P. Drobintsev, V. Kotlyarov

On construction and verification of PLC programs

E. V. Kuzmin, V. A. Sokolov

Dimensional characteristics of diffusion chaos

S. D. Glyzin

Asymptotics of the solutions of the generalized Hutchinson equation

S. A. Kashchenko

Balls in sequence spaces

E. A. Timofeev

On asymptotics for critical solutions of systems of differential equations with oscillatory decreasing coefficients

P. N. Nesterov

Spatial properties of high-mode bifurcations of distributed logistic equations

I. S. Kashchenko

Double-frequency oscillations of an impulse neuron equation with two delays

S. D. Glyzin, E. O. Ovsyannikova

The modeling of counter machines by two-head finite automata

E. V. Kuzmin, V. A. Sokolov

Polynomial method for constructing equilibrium configurations of point vortices in a plane

M. V. Demina, N. A. Kudryashov

Spatially heterogeneous periodic solutions of the Hutchinson equation with distributed saturation

D. S. Glyzin, S. A. Kashchenko, A. S. Polstyanov

A generalized solution of an initial-boundary value problem arising in the mechanics of discrete-continuous systems

E. P. Kubyshkin, O. A. Khrebtyugova

Stability of the simplest periodic solutions in the Stuart-Landau equation with large delay

A. A. Kashchenko

Dynamics of weak interaction in systems of similar species

E. V. Gorchakova

Buffer phenomenon in the generalization of the Swift-Hohenberg equation

D. V. Sandulyak

Dez 13
Ausgabe: 7/2013
Jan 14
Ausgabe: 1/2014

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr

Neuer Inhalt

    Bildnachweise