Buchumschlag

REALISTIC CORRECT SYSTEMS IMPLEMENTATION

The present article and the forthcoming second part on Trusted Compiler Implementation address correct construction and functioning of large computer based systems. In view of so many annoying and dangerous system misbehaviors we ask: Can informaticians righteously be accounted for incorrectness of...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2015
1. Verfasser:	Goerigk, W.
Format:	Artikel
Sprache:	Englisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2015
Schlagworte:
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/3
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Realistic correct systems implementation
von: Goerigk, Wolfgang, et al.
Veröffentlicht: (2003)

Modern Poetic Translation: Realistic and Non-Realistic Tendencies
von: O. I. Hainicheru
Veröffentlicht: (1996)

Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation
von: Goerigk, W., et al.
Veröffentlicht: (2015)

The Concept of the Person in Neo-Realist Prose
von: S. Zhyhun
Veröffentlicht: (2015)

-calculus as a realistic formalization of a class of rewriting systems
von: Shevchenko, R.S., et al.
Veröffentlicht: (2025)

Depicting Trypillia: the Emergence and Decline of Realistic Style
von: L. O. Shatilo, et al.
Veröffentlicht: (2021)

The philosophy of justice in the realistic utopia of John Rawls
von: D. V. Usov
Veröffentlicht: (2021)

The Plot Organization in Early Realistic Stories of M. Gorky
von: M. P. Cherepovskij
Veröffentlicht: (1976)

About ihe Dynamics of Realistic Art on the Boundary of Centuries
von: Ye. Krutikova
Veröffentlicht: (2007)

Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation
von: Goerigk, Wolfgang, et al.
Veröffentlicht: (2003)

Justification adoption and implementation of corrective solutions to enterprises implementing investment strategies
von: Ye. Pauk
Veröffentlicht: (2014)

Role of Realistic Symbols in the Work of V. Astafyev (Based on Military Prose)
von: L. A. Orekhova
Veröffentlicht: (1986)

The Primary Matrix of the Social Realistic Paradigm &quot;Child of Revolution&quot;
von: Yu. Vilchanska, et al.
Veröffentlicht: (2020)

I. Franko about realistic and modern landscape of creating private Ukrainian and foreign writers
von: M. Lapii
Veröffentlicht: (2013)

Manpulative methods of bilshovikiv in the proceedings of the two realistics of sunflower politics in 1920s (in the South Ukraine)
von: Yu. Matukhno
Veröffentlicht: (2017)

Electric and electromagnetic logging sounding in realistic models of oil-gas collectors: numerical modeling and interpretation
von: M. I. Epov, et al.
Veröffentlicht: (2012)

The Generating Function of the Ideological Analogies: Literary Origins of Georges Bernanos&#039; Realistic Poetry
von: R. A. Dzyk
Veröffentlicht: (2011)

Electric and electromagnetic logging sounding in realistic models of oil-gas collectors: numerical modeling and interpretation
von: Epov, M. I., et al.
Veröffentlicht: (2012)

Evaluation of the detection and correction properties of the reference dictionary of the system for checking and correcting orthography
von: V. A. Lytvynov, et al.
Veröffentlicht: (2019)

Quantum corrections to the dynamics of the gravitational system
von: V. V. Kuzmichev, et al.
Veröffentlicht: (2019)

Quantum corrections to the dynamics of the gravitational system
von: V. V. Kuzmychov, et al.
Veröffentlicht: (2019)

&quot;New Wave” of the Ukrainian Drama in the Context of the Eighties of XX Century as the Denial of the Social-realistic Canon
von: L. O. Bondar
Veröffentlicht: (2007)

Conflikt of Social Realities in Implementation Processes of Post-Soviet Penal Functions of Correctional Institutions
von: V. S. Gurzhi
Veröffentlicht: (2014)

Approximation of solutions of generalized correct differential systems
von: O. O. Vlasii, et al.
Veröffentlicht: (2012)

On Correction of Parameters of the Non-damped Mechanical Systems
von: V. B. Larin
Veröffentlicht: (2017)

Corrections to thermodynamics of the system of magnetically charged anyons
von: B. Sobko, et al.
Veröffentlicht: (2019)

Socialist-realistic motives in the autobiographic stories &quot;Gusy-lebedi letiat…” and &quot;Shchedry vechir” by Mykhailo Stelmakh
von: N. H. Savchuk
Veröffentlicht: (2006)

Realistic and Decadent Visual Strategies in Ivan Nechuy-Levytskyi&#039;s Story &quot;Without Way&quot;
von: Ya. Muravetska
Veröffentlicht: (2017)

Algorithms for Dynamic Correction of the Thermal Flows’ Measuring Systems’
von: Verlan, A.A., et al.
Veröffentlicht: (2016)

Algorithms for Dynamic Correction of the Thermal Flows’ Measuring Systems
von: Verlan, Andrey Anatolievich, et al.
Veröffentlicht: (2016)

Free-volume correlations in positron-sensitive annihilation modes in chalcogenide vitreous semiconductors: on the path from illusions towards realistic physical description
von: Shpotyuk, O.I., et al.
Veröffentlicht: (2014)

Free-volume correlations in positron-sensitive annihilation modes in chalcogenide vitreous semiconductors: on the path from illusions towards realistic physical description
von: O. I. Shpotyuk, et al.
Veröffentlicht: (2014)

Correct classes of modules
von: Wisbauer, R.
Veröffentlicht: (2004)

Analysis of phase system of automatic frequency correction in laser rangefinder
von: I. A. Braginets, et al.
Veröffentlicht: (2015)

Informational decision support system for monitoring and correcting somatic health
von: S. I. Kiforenko, et al.
Veröffentlicht: (2018)

Correctness Property Proof for the Banking System for Money Transfer Payments
von: Yu. A. Ostapovska, et al.
Veröffentlicht: (2016)

Correctness Property Proof for the Banking System for Money Transfer Payments
von: Ostapovska, Yu.A., et al.
Veröffentlicht: (2018)

Design of grid structures based on transition systems with justification of the correctness of their functioning
von: S. L. Kryvyj, et al.
Veröffentlicht: (2017)

The System of Automatic Combustion Control in Gas-Burning Plants by Corrective Parameter
von: K. S. Kryzhanovskij
Veröffentlicht: (2018)

Editorial corrections of the scientific texts
von: M. Ripei
Veröffentlicht: (2014)