Buchumschlag

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2015
Hauptverfasser:	Goerigk, W., Langmaack, H.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2015
Schlagworte:
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/8
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

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)

Realistic correct systems implementation
von: Goerigk, Wolfgang, et al.
Veröffentlicht: (2003)

Trusted computing with addition machines. II
von: A. V. Anisimov, et al.
Veröffentlicht: (2018)

Domain science and engineering from computer science to the sciences of informatics. Part II: Science
von: D. Bjorner
Veröffentlicht: (2011)

Domain science and engineering from computer science to the sciences of informatics. Part II: Science
von: Bjorner, D.
Veröffentlicht: (2011)

REALISTIC CORRECT SYSTEMS IMPLEMENTATION
von: Goerigk, W.
Veröffentlicht: (2015)

Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering
von: D. Bjшrner
Veröffentlicht: (2010)

Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering
von: Bjorner, D.
Veröffentlicht: (2010)

Trusted computing with addition machines. I
von: A. V. Anisimov, et al.
Veröffentlicht: (2017)

Analysis of Financial and Economic Activities of Retail Operators to Justify the Implementation of Marketing Innovations
von: N. V. Proskurnina
Veröffentlicht: (2019)

When a complication is not justified
von: I. O. Bulkin
Veröffentlicht: (2016)

A Justified Initial Accounting Estimate as an Integral Part of the Enterprise Accounting Policy
von: T. H. Marenych
Veröffentlicht: (2016)

He Was Able
von: A. Tkachenko
Veröffentlicht: (2017)

How to make and justify a decision: the analytic hierarchy process. Part 1. Examples and Applications
von: Saaty, T.L.
Veröffentlicht: (2002)

Delivery after cesarean section: is the risk justified?
von: V. S. Lupojad, et al.
Veröffentlicht: (2013)

Resource management in distributed computer system taking into account the trust level to the computational nodes
von: Ch. Khu, et al.
Veröffentlicht: (2017)

Computer Hardware Supply for Informatization of Classical Universities in Ukraine (1991—2011)
von: N. O. Pasichnyk, et al.
Veröffentlicht: (2017)

Trust and distrust functions as a part of social capital
von: T. Stetsenko
Veröffentlicht: (2013)

Economic and Institutional Conditions Justifying Energy Efficiency of the Enterprise
von: Yu. Popova, et al.
Veröffentlicht: (2014)

Informat ion computer technologies for using in biotechnology: electronic medical information systems
von: O. M. Klyuchko
Veröffentlicht: (2018)

The Torsion Hypothesis to Justify the Economic Integration of High-Tech Enterprises
von: M. B. Yanchuk
Veröffentlicht: (2020)

Enhancing Online Search Security Through Bayesisn Trust Networks Implementation
von: V. V. Zosimov
Veröffentlicht: (2023)

Role of trust in implementing of social and economic innovations in society under transformation
von: H. I. Andrushchenko
Veröffentlicht: (2012)

Peculiarities of implementation of educational-and-upbringing potential of museums in Ukraine in terms of society informatization
von: S. Kutsenko
Veröffentlicht: (2017)

About phenomenological models and seismic prediction: is pessimism justified, are hopes based
von: Shuman, V.N.
Veröffentlicht: (2013)

New methodical approaches to justify selection explosive for destruction of solid rocks
von: K. S. Ishchenko, et al.
Veröffentlicht: (2019)

Informatization and libraries in Ukraine
von: I. Kuras
Veröffentlicht: (1999)

Role of the hybrid Bcr/Abl kinase in the pathogenesis of chronic myeloid leukemia lacking C-Abl and CXCR4 proteins
von: L. A. Polishchuk, et al.
Veröffentlicht: (2014)

Role of the hybrid Bcr/Abl kinase in the pathogenesis of chronic myeloid leukemia lacking C-Abl and CXCR4 proteins
von: Polishchuk, L.A., et al.
Veröffentlicht: (2014)

Inhibition of USP1, a new partner of Bcr-Abl, results in decrease of Bcr-Abl level in K562 cells
von: Antonenko, S.V., et al.
Veröffentlicht: (2023)

Proteins-partners of PH domain of BCR-ABL protein: creation of DNA constructs to uncover molecular characteristics of CML development
von: S. V. Antonenko, et al.
Veröffentlicht: (2017)

Trust in the modern society
von: O. M. Kozhemiakina
Veröffentlicht: (2011)

Informatization of education development management
von: V. I. Honcharov
Veröffentlicht: (2012)

Humanistic Aspect of Domestic Informatization
von: A. Berehelska
Veröffentlicht: (2019)

Want to be happy in the city – evolutionize and be able to enjoy living
von: A. Petrenko-Lisak
Veröffentlicht: (2019)

Diagnostics market economic infrastructure for sustain able development
von: I. O. Irtyshcheva, et al.
Veröffentlicht: (2012)

Ubiquitin specific proteases 1 (USP1) – potential partner of Bcr-Abl oncoprotein: bioiformatic analysis and recombinant constructs creation
von: S. V. Antonenko, et al.
Veröffentlicht: (2014)

Trust Marketing in the Stakeholder Network: Mechanism, Sources and Process of Forming Trust Relationships
von: L. V. Bazaliieva
Veröffentlicht: (2021)

The global crisis of trust as a factor of transformation of the trust to competition policy in Ukraine
von: Yu. M. Umantsiv
Veröffentlicht: (2011)

Systemic approach and mathematical modeling for biological process and objects studying are proposed and justified in this article
von: A. Vlasov, et al.
Veröffentlicht: (2016)