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

Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation

The present and the previous article on Realistic Correct Systems Implementation together address correct construction and functioning of large computer based systems. In view of so many annoying and dangerous system misbehaviors we want to ask: Can informaticians righteously be accounted for incorr...

Повний опис

Збережено в:

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

Репозитарії

Problems in programming

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

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

Trusted computing with addition machines. II
за авторством: A. V. Anisimov, та інші
Опубліковано: (2018)

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

Domain science and engineering from computer science to the sciences of informatics. Part II: Science
за авторством: D. Bjorner
Опубліковано: (2011)

REALISTIC CORRECT SYSTEMS IMPLEMENTATION
за авторством: Goerigk, W.
Опубліковано: (2015)

Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering
за авторством: D. Bjшrner
Опубліковано: (2010)

Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering
за авторством: Bjorner, D.
Опубліковано: (2010)

Analysis of Financial and Economic Activities of Retail Operators to Justify the Implementation of Marketing Innovations
за авторством: N. V. Proskurnina
Опубліковано: (2019)

When a complication is not justified
за авторством: I. O. Bulkin
Опубліковано: (2016)

Trusted computing with addition machines. I
за авторством: A. V. Anisimov, та інші
Опубліковано: (2017)

A Justified Initial Accounting Estimate as an Integral Part of the Enterprise Accounting Policy
за авторством: T. H. Marenych
Опубліковано: (2016)

He Was Able
за авторством: A. Tkachenko
Опубліковано: (2017)

Delivery after cesarean section: is the risk justified?
за авторством: V. S. Lupojad, та інші
Опубліковано: (2013)

Resource management in distributed computer system taking into account the trust level to the computational nodes
за авторством: Ch. Khu, та інші
Опубліковано: (2017)

Computer Hardware Supply for Informatization of Classical Universities in Ukraine (1991—2011)
за авторством: N. O. Pasichnyk, та інші
Опубліковано: (2017)

Economic and Institutional Conditions Justifying Energy Efficiency of the Enterprise
за авторством: Yu. Popova, та інші
Опубліковано: (2014)

Trust and distrust functions as a part of social capital
за авторством: T. Stetsenko
Опубліковано: (2013)

Informat ion computer technologies for using in biotechnology: electronic medical information systems
за авторством: O. M. Klyuchko
Опубліковано: (2018)

The Torsion Hypothesis to Justify the Economic Integration of High-Tech Enterprises
за авторством: M. B. Yanchuk
Опубліковано: (2020)

Peculiarities of implementation of educational-and-upbringing potential of museums in Ukraine in terms of society informatization
за авторством: S. Kutsenko
Опубліковано: (2017)

Enhancing Online Search Security Through Bayesisn Trust Networks Implementation
за авторством: V. V. Zosimov
Опубліковано: (2023)

Role of trust in implementing of social and economic innovations in society under transformation
за авторством: H. I. Andrushchenko
Опубліковано: (2012)

Role of the hybrid Bcr/Abl kinase in the pathogenesis of chronic myeloid leukemia lacking C-Abl and CXCR4 proteins
за авторством: L. A. Polishchuk, та інші
Опубліковано: (2014)

About phenomenological models and seismic prediction: is pessimism justified, are hopes based
за авторством: Shuman, V.N.
Опубліковано: (2013)

New methodical approaches to justify selection explosive for destruction of solid rocks
за авторством: K. S. Ishchenko, та інші
Опубліковано: (2019)

Inhibition of USP1, a new partner of Bcr-Abl, results in decrease of Bcr-Abl level in K562 cells
за авторством: Antonenko, S.V., та інші
Опубліковано: (2023)

Informatization and libraries in Ukraine
за авторством: I. Kuras
Опубліковано: (1999)

Proteins-partners of PH domain of BCR-ABL protein: creation of DNA constructs to uncover molecular characteristics of CML development
за авторством: S. V. Antonenko, та інші
Опубліковано: (2017)

Want to be happy in the city – evolutionize and be able to enjoy living
за авторством: A. Petrenko-Lisak
Опубліковано: (2019)

Diagnostics market economic infrastructure for sustain able development
за авторством: I. O. Irtyshcheva, та інші
Опубліковано: (2012)

Ubiquitin specific proteases 1 (USP1) – potential partner of Bcr-Abl oncoprotein: bioiformatic analysis and recombinant constructs creation
за авторством: S. V. Antonenko, та інші
Опубліковано: (2014)

Informatization of education development management
за авторством: V. I. Honcharov
Опубліковано: (2012)

Humanistic Aspect of Domestic Informatization
за авторством: A. Berehelska
Опубліковано: (2019)

Systemic approach and mathematical modeling for biological process and objects studying are proposed and justified in this article
за авторством: A. Vlasov, та інші
Опубліковано: (2016)

Trust in the modern society
за авторством: O. M. Kozhemiakina
Опубліковано: (2011)

Trust Marketing in the Stakeholder Network: Mechanism, Sources and Process of Forming Trust Relationships
за авторством: L. V. Bazaliieva
Опубліковано: (2021)

The global crisis of trust as a factor of transformation of the trust to competition policy in Ukraine
за авторством: Yu. M. Umantsiv
Опубліковано: (2011)

Parallel Computations with Large-scale Air Pollution Models
за авторством: Dimov, I., та інші
Опубліковано: (2015)

Parallel Computations with Large-scale Air Pollution Models
за авторством: Dimov, I., та інші
Опубліковано: (2003)

New approachts in compiling phraseological dictionaries
за авторством: R. P. Tymoshuk, та інші
Опубліковано: (2017)