Cover Image

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

Full description

Saved in:

Bibliographic Details
Date:	2015
Main Authors:	Goerigk, W., Langmaack, H.
Format:	Article
Language:	Ukrainian
Published:	PROBLEMS IN PROGRAMMING 2015
Subjects:
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/8
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Problems in programming
Download file:

Institution

Problems in programming

Similar Items

Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation
by: Goerigk, Wolfgang, et al.
Published: (2003)

Trusted computing with addition machines. II
by: A. V. Anisimov, et al.
Published: (2018)

Realistic correct systems implementation
by: Goerigk, Wolfgang, et al.
Published: (2003)

Domain science and engineering from computer science to the sciences of informatics. Part II: Science
by: D. Bjorner
Published: (2011)

REALISTIC CORRECT SYSTEMS IMPLEMENTATION
by: Goerigk, W.
Published: (2015)

Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering
by: D. Bjшrner
Published: (2010)

Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering
by: Bjorner, D.
Published: (2010)

When a complication is not justified
by: I. O. Bulkin
Published: (2016)

Analysis of Financial and Economic Activities of Retail Operators to Justify the Implementation of Marketing Innovations
by: N. V. Proskurnina
Published: (2019)

Trusted computing with addition machines. I
by: A. V. Anisimov, et al.
Published: (2017)

A Justified Initial Accounting Estimate as an Integral Part of the Enterprise Accounting Policy
by: T. H. Marenych
Published: (2016)

He Was Able
by: A. Tkachenko
Published: (2017)

Delivery after cesarean section: is the risk justified?
by: V. S. Lupojad, et al.
Published: (2013)

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

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

Economic and Institutional Conditions Justifying Energy Efficiency of the Enterprise
by: Yu. Popova, et al.
Published: (2014)

Trust and distrust functions as a part of social capital
by: T. Stetsenko
Published: (2013)

Informat ion computer technologies for using in biotechnology: electronic medical information systems
by: O. M. Klyuchko
Published: (2018)

The Torsion Hypothesis to Justify the Economic Integration of High-Tech Enterprises
by: M. B. Yanchuk
Published: (2020)

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

Peculiarities of implementation of educational-and-upbringing potential of museums in Ukraine in terms of society informatization
by: S. Kutsenko
Published: (2017)

About phenomenological models and seismic prediction: is pessimism justified, are hopes based
by: Shuman, V.N.
Published: (2013)

New methodical approaches to justify selection explosive for destruction of solid rocks
by: K. S. Ishchenko, et al.
Published: (2019)

Enhancing Online Search Security Through Bayesisn Trust Networks Implementation
by: V. V. Zosimov
Published: (2023)

Role of trust in implementing of social and economic innovations in society under transformation
by: H. I. Andrushchenko
Published: (2012)

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

Informatization and libraries in Ukraine
by: I. Kuras
Published: (1999)

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

Want to be happy in the city – evolutionize and be able to enjoy living
by: A. Petrenko-Lisak
Published: (2019)

Diagnostics market economic infrastructure for sustain able development
by: I. O. Irtyshcheva, et al.
Published: (2012)

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

Informatization of education development management
by: V. I. Honcharov
Published: (2012)

Humanistic Aspect of Domestic Informatization
by: A. Berehelska
Published: (2019)

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

Trust in the modern society
by: O. M. Kozhemiakina
Published: (2011)

Parallel Computations with Large-scale Air Pollution Models
by: Dimov, I., et al.
Published: (2015)

Trust Marketing in the Stakeholder Network: Mechanism, Sources and Process of Forming Trust Relationships
by: L. V. Bazaliieva
Published: (2021)

The global crisis of trust as a factor of transformation of the trust to competition policy in Ukraine
by: Yu. M. Umantsiv
Published: (2011)

New approachts in compiling phraseological dictionaries
by: R. P. Tymoshuk, et al.
Published: (2017)

Virtual museum of informatics history in Siberia
by: Kasyanov, V.N., et al.
Published: (2015)