Cover Image

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits

The Contribution deals with the Internet application of the program system for the synthesis and diagnostics of logic circuits. Internet application contents description of basic notion, theoretical principles and procedure from area of synthesis and diagnostics of logic circuits. This system compri...

Full description

Saved in:

Bibliographic Details
Date:	2015
Main Authors:	Bača, J., Korečko, Š., Porubän, J., Václavík, P.
Format:	Article
Language:	Ukrainian
Published:	PROBLEMS IN PROGRAMMING 2015
Subjects:	UDC 681.3
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/20
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

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
by: Bača, J., et al.
Published: (2003)

Formalized design and synthesis of parallel programs for videographic shortcuts
by: Doroshenko, A.Yu., et al.
Published: (2025)

Generayive programming of program systems and their families
by: Lavrisheva, K.M.
Published: (2026)

Formalized design and synthesis of a parallel program for constructing Voronoi diagrams
by: Berezovsky, K.A., et al.
Published: (2026)

Model program, systems and operational environments
by: Lavrischeva, K.M.
Published: (2025)

Fuzzy diagnostic models in the H-Homeopath system
by: Provotar, A.I., et al.
Published: (2026)

Facilities for service-oriented programming of parallel programs
by: Doroshenko, A.Yu., et al.
Published: (2026)

Problems and tools of designing and estimation of viable program system
by: Ignatenko, P.P., et al.
Published: (2015)

The formal basic developing and testing the distributed program systems
by: Lavrischeva, K.M., et al.
Published: (2025)

AWP – instrument for project and programming complex systems on the base system analisys
by: Antonov, V.M., et al.
Published: (2026)

Programming gestures simulator with statistical modeling
by: Doroshenko, А.Yu., et al.
Published: (2017)

Algebra-dynamic models for program parallelization
by: Doroshenko, A.Yu., et al.
Published: (2025)

Approach to building factories of student programs
by: Aronov, A.A., et al.
Published: (2025)

High level facilities for design automation of parallel programs
by: Doroshenko, A.Yu., et al.
Published: (2026)

Approach to programming of applications with using of Semantic Web-services
by: Deretsky, V.A.
Published: (2026)

Iinterdepartmental is informational - telecommunication systems, as result of implementation of target programs, directed on exchange by information resources between departments
by: Alekseev, V.A., et al.
Published: (2026)

Means of designing object-oriented programs based on algebra of algorithmics
by: Doroshenko, А.Yu., et al.
Published: (2015)

Technological aspects of viable software development using generative programming
by: Ignatenko, P.P., et al.
Published: (2026)

On application of machine-learning for designing adaptive sorting programs in algebra of algorithms
by: Yatsenko, O.A.
Published: (2025)

Formalized designing and generation of parallel program for numerical weather forecasting task
by: Doroshenko, A.Yu., et al.
Published: (2025)

Approach to interconnection support between Java and MS.NET programming environments
by: Ostrovskii, A.V.
Published: (2025)

Facilities for automation of development of parallel programs on the basis of ontologies and algebra of algorithms
by: Doroshenko, A.Yu., et al.
Published: (2026)

Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
by: Akulovskiy, V.G., et al.
Published: (2017)

Using ontological knowledge in recommender systems
by: Rogushina, J.V.
Published: (2025)

The program technological complex of decision making in industrial enterprise management on early stages of crises changes
by: Masalitina, N.N., et al.
Published: (2025)

Features of implementation of toolkit for transformational synthesis of parallel algorithms
by: Mohnitsa, A.S., et al.
Published: (2026)

Design of ontological system of terms and their cognitive models in scientific research
by: Rogushina, J.V., et al.
Published: (2026)

Application of problem domain ontological description for relevantness increasing of informational retrieval
by: Rogushina, J.V.
Published: (2015)

Organization of the Schemes of Interaction of Departmental Information Systems in the Integrated Interdepartmental Information System
by: Alekseev, V.A., et al.
Published: (2015)

Conceptual models of distributed component systems
by: Lavrischeva, K.M., et al.
Published: (2025)

The approach of cluster system interfaces implementation
by: Marianovskyi, V.A., et al.
Published: (2026)

Support for the management of variability in the family of software systems
by: Kolesnik, A.L.
Published: (2015)

The stand of simulation of the shunting depot of the railway system
by: Sukach, E.I.
Published: (2026)

Cyberakmeology concept and principles projection programm-technology systems
by: Antonov, V.M., et al.
Published: (2026)

A system for the automated design of digital image filters
by: Zhereb, K.A., et al.
Published: (2026)

Service-oriented, distributed real-time systems in digital libraries
by: Novitsky, O.V.
Published: (2025)

The automation of the stages of elaboration and exploitation of the imitation models of transport systems
by: Maksimey, I.V., et al.
Published: (2026)

-calculus as a realistic formalization of a class of rewriting systems
by: Shevchenko, R.S., et al.
Published: (2025)

One model of optimal resource allocation in homogeneous multiprocessor system
by: Doroshenko, A.Yu., et al.
Published: (2025)

The registration and accounting of the information about events in specialized informational-telecommunication systems
by: Alekseev, V.A., et al.
Published: (2025)