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

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

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

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

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

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

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

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

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

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

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)

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

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)

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)

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

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

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

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

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

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

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
за авторством: Ostapovska, Yu.A., та інші
Опубліковано: (2018)

Ultrasonic levelmeaters with the temperatures correction
за авторством: A. M. Savoljuk, та інші
Опубліковано: (2017)

Classification calculus. The classification correctness
за авторством: G. A. Kravtsov, та інші
Опубліковано: (2017)

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

As to correctness of some sociological terms
за авторством: Yu. Saienko
Опубліковано: (2013)

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)

Secondary prevention and correction of pathological changes of the hepatobiliary system of locomotive crews workers
за авторством: Yu. Aleksiichuk, та інші
Опубліковано: (2016)

Effects of heptral in pharmacologycal correction of glutathion redox-system in spleen of irradiated rats
за авторством: L. O. Tereshchenko
Опубліковано: (2017)

The EU system of detection and correction of macroeconomic imbalances and its adaptation to the conditions of Ukraine
за авторством: T. V. Burlai
Опубліковано: (2014)

The intrasystemic correction of the global economic model
за авторством: E. N. Veduta
Опубліковано: (2015)

THE PROBLEM OF CORRECT CHOICE OF FERRITE BEADS
за авторством: Gurevich, Vladimir I.
Опубліковано: (2016)

Surgical correction of congenital penile deviations
за авторством: A. V. Arkatov
Опубліковано: (2016)

Politically-correct language in terms of inclusiveness
за авторством: Ya. V. Bedrych
Опубліковано: (2017)