Зображення обкладинки

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...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2015
Автор:	Goerigk, W.
Формат:	Стаття
Мова:	Англійська
Опубліковано:	PROBLEMS IN PROGRAMMING 2015
Теми:
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/3
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

Схожі ресурси

Realistic correct systems implementation
за авторством: Goerigk, Wolfgang, та інші
Опубліковано: (2003)

Modern Poetic Translation: Realistic and Non-Realistic Tendencies
за авторством: O. I. Hainicheru
Опубліковано: (1996)

Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation
за авторством: Goerigk, W., та інші
Опубліковано: (2015)

The Concept of the Person in Neo-Realist Prose
за авторством: S. Zhyhun
Опубліковано: (2015)

-calculus as a realistic formalization of a class of rewriting systems
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2025)

Depicting Trypillia: the Emergence and Decline of Realistic Style
за авторством: L. O. Shatilo, та інші
Опубліковано: (2021)

The philosophy of justice in the realistic utopia of John Rawls
за авторством: D. V. Usov
Опубліковано: (2021)

The Plot Organization in Early Realistic Stories of M. Gorky
за авторством: M. P. Cherepovskij
Опубліковано: (1976)

About ihe Dynamics of Realistic Art on the Boundary of Centuries
за авторством: Ye. Krutikova
Опубліковано: (2007)

Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation
за авторством: Goerigk, Wolfgang, та інші
Опубліковано: (2003)

Justification adoption and implementation of corrective solutions to enterprises implementing investment strategies
за авторством: Ye. Pauk
Опубліковано: (2014)

Role of Realistic Symbols in the Work of V. Astafyev (Based on Military Prose)
за авторством: L. A. Orekhova
Опубліковано: (1986)

The Primary Matrix of the Social Realistic Paradigm &quot;Child of Revolution&quot;
за авторством: Yu. Vilchanska, та інші
Опубліковано: (2020)

I. Franko about realistic and modern landscape of creating private Ukrainian and foreign writers
за авторством: M. Lapii
Опубліковано: (2013)

Manpulative methods of bilshovikiv in the proceedings of the two realistics of sunflower politics in 1920s (in the South Ukraine)
за авторством: Yu. Matukhno
Опубліковано: (2017)

Electric and electromagnetic logging sounding in realistic models of oil-gas collectors: numerical modeling and interpretation
за авторством: M. I. Epov, та інші
Опубліковано: (2012)

The Generating Function of the Ideological Analogies: Literary Origins of Georges Bernanos&#039; Realistic Poetry
за авторством: R. A. Dzyk
Опубліковано: (2011)

Electric and electromagnetic logging sounding in realistic models of oil-gas collectors: numerical modeling and interpretation
за авторством: Epov, M. I., та інші
Опубліковано: (2012)

Evaluation of the detection and correction properties of the reference dictionary of the system for checking and correcting orthography
за авторством: V. A. Lytvynov, та інші
Опубліковано: (2019)

Quantum corrections to the dynamics of the gravitational system
за авторством: V. V. Kuzmichev, та інші
Опубліковано: (2019)

Quantum corrections to the dynamics of the gravitational system
за авторством: V. V. Kuzmychov, та інші
Опубліковано: (2019)

Conflikt of Social Realities in Implementation Processes of Post-Soviet Penal Functions of Correctional Institutions
за авторством: V. S. Gurzhi
Опубліковано: (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
за авторством: L. O. Bondar
Опубліковано: (2007)

Approximation of solutions of generalized correct differential systems
за авторством: O. O. Vlasii, та інші
Опубліковано: (2012)

On Correction of Parameters of the Non-damped Mechanical Systems
за авторством: V. B. Larin
Опубліковано: (2017)

Corrections to thermodynamics of the system of magnetically charged anyons
за авторством: B. Sobko, та інші
Опубліковано: (2019)

Socialist-realistic motives in the autobiographic stories &quot;Gusy-lebedi letiat…” and &quot;Shchedry vechir” by Mykhailo Stelmakh
за авторством: N. H. Savchuk
Опубліковано: (2006)

Realistic and Decadent Visual Strategies in Ivan Nechuy-Levytskyi&#039;s Story &quot;Without Way&quot;
за авторством: Ya. Muravetska
Опубліковано: (2017)

Algorithms for Dynamic Correction of the Thermal Flows’ Measuring Systems’
за авторством: Verlan, A.A., та інші
Опубліковано: (2016)

Algorithms for Dynamic Correction of the Thermal Flows’ Measuring Systems
за авторством: Verlan, Andrey Anatolievich, та інші
Опубліковано: (2016)

Free-volume correlations in positron-sensitive annihilation modes in chalcogenide vitreous semiconductors: on the path from illusions towards realistic physical description
за авторством: Shpotyuk, O.I., та інші
Опубліковано: (2014)

Free-volume correlations in positron-sensitive annihilation modes in chalcogenide vitreous semiconductors: on the path from illusions towards realistic physical description
за авторством: O. I. Shpotyuk, та інші
Опубліковано: (2014)

Correct classes of modules
за авторством: Wisbauer, R.
Опубліковано: (2004)

Analysis of phase system of automatic frequency correction in laser rangefinder
за авторством: I. A. Braginets, та інші
Опубліковано: (2015)

Informational decision support system for monitoring and correcting somatic health
за авторством: S. I. Kiforenko, та інші
Опубліковано: (2018)

Correctness Property Proof for the Banking System for Money Transfer Payments
за авторством: Yu. A. Ostapovska, та інші
Опубліковано: (2016)

Correctness Property Proof for the Banking System for Money Transfer Payments
за авторством: Ostapovska, Yu.A., та інші
Опубліковано: (2018)

Design of grid structures based on transition systems with justification of the correctness of their functioning
за авторством: S. L. Kryvyj, та інші
Опубліковано: (2017)

The System of Automatic Combustion Control in Gas-Burning Plants by Corrective Parameter
за авторством: K. S. Kryzhanovskij
Опубліковано: (2018)

Editorial corrections of the scientific texts
за авторством: M. Ripei
Опубліковано: (2014)