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

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

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

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

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

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

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

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

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)

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

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

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

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)

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)

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

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

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

Decreasing the trust in government in the global context
за авторством: A. V. Bereza
Опубліковано: (2019)

Development of trust marketing in the digital society
за авторством: N. Popova, та інші
Опубліковано: (2019)

Frequency and spectrum of atypical BCR-ABL1 transcripts in chronic myeloid leukemia
за авторством: Kearney, L., та інші
Опубліковано: (2023)

Adhesion proteins are able to controle the proliferation and size of neonatal cardiomoycytes in Mus musculus
за авторством: V. V. Balatskyi, та інші
Опубліковано: (2018)

Effective Impedance of Statistically Rough Sphere: II. Case of Large Sphere
за авторством: Bryukhovetski, A. S., та інші
Опубліковано: (2013)

Virtual museum of informatics history in Siberia
за авторством: Kasyanov, V.N., та інші
Опубліковано: (2015)

Trends of trust levels in government and social institutions
за авторством: O. M. Balakirieva, та інші
Опубліковано: (2021)

Trends in civic engagement and the trust level in Ukraine
за авторством: O. M. Balakirieva, та інші
Опубліковано: (2020)

Factors in the Formation of Trust Relationships in the Network of Stakeholders
за авторством: L. V. Bazalieva
Опубліковано: (2020)

Terminographical problems of social and political dictionary compiling
за авторством: L. V. Turovska
Опубліковано: (2019)

Trust: a Psychological Category or an Economic Value?
за авторством: V. V. Shved
Опубліковано: (2018)

Empirical Analysis of Generalized Trust in Modern Russia
за авторством: A. Kustova, та інші
Опубліковано: (2020)

Ways of providing consumer trust in financial services
за авторством: L. A. Dudynets
Опубліковано: (2017)

Economically justified current density for 10-35 kV cables, which connect powerful wind generators
за авторством: V. M. Bezruchko, та інші
Опубліковано: (2020)

Cybernetics, Informatics and Software Engineering: Aspects of Development
за авторством: Lavrischeva, K.M.
Опубліковано: (2025)

Sociocultural activity of the academician library under informatization
за авторством: N. Zakharova
Опубліковано: (2019)

Methodological aspects examination of regional programs of informatization
за авторством: V. O. Bakal, та інші
Опубліковано: (2019)

Modern patterns of development of the communication and informatization sphere
за авторством: M. A. Demianchuk
Опубліковано: (2019)

Achivements of academic lexicography in compiling dictionaries of the living language
за авторством: Z. Kozyrieva, та інші
Опубліковано: (2018)

Dictionary of the Ukrainian Language (Supplement): Experience and Problems of Compiling
за авторством: L. Movchun
Опубліковано: (2018)

Social Classes in the Political Sphere: Support for and Trust in Parties
за авторством: E. Simonchuk
Опубліковано: (2018)

Social Classes in the Political Sphere: Support for and Trust in Parties
за авторством: O. Symonchuk
Опубліковано: (2018)

Revival of trust to the right as the indicator of efficiency of legal monitoring
за авторством: Ye. Shevchenko, та інші
Опубліковано: (2019)