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)

Realistic interatomic potential for MD simulations
von: Eremeichenkova, Yu.V., et al.
Veröffentlicht: (2003)

-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)

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)

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)

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)

On the nucleons motion in the nucleus as being due to realistic inter-nucleonic forces
von: Lyakhno, Yu.P.
Veröffentlicht: (2017)

Spontaneously appearing discrete moving kinks in nonlinear acoustic chain with realistic potential
von: Metlov, L.S., et al.
Veröffentlicht: (2003)

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)

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)

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)

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)

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

&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)

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)

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

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

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)

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

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)

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)

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)