Výsledky vyhľadávania - ((automatizacie OR automatizace) OR automation) programming-program synthesis general terms*

Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms.

Autori: Ji, Ruyi Zhao, Yuwei Xiong, Yingfei a ďalší

Zdroj: ACM Transactions on Programming Languages & Systems; Jun2024, Vol. 46 Issue 2, p1-59, 59p

Predmety: DECOMPOSITION method, PROGRAM transformation, SYNTAX (Grammar)

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III

Autori: Bernd Finkbeiner Laura Kovács

Typ zdroja: eBook.

Predmet: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Seventy years of information systems development methodologies from early business computing to the Agile era: A two-part history. Part 1: From Pre to Early ISD methodology era: The emergence of ISD methodologies and their golden era (1880–1980).

Autori: Porra, Jaana Hirschheim, Rudy Land, Frank a ďalší

Zdroj: Journal of Information Technology (Sage Publications Inc.); Dec2025, Vol. 40 Issue 4, p441-469, 29p

Predmety: SYSTEMS development, BUSINESS informatics, INFORMATION storage & retrieval systems, NARRATION

The quantum monadology.

Autori: Sati, Hisham Schreiber, Urs

Zdroj: Quantum Studies: Mathematics & Foundations; Oct2025, Vol. 12 Issue 3, p1-148, 148p

DEPS: a model- and property-based language for system synthesis problems.

Autori: Yvars, Pierre-Alain Zimmer, Laurent

Zdroj: Software & Systems Modeling; Aug2024, Vol. 23 Issue 4, p973-1002, 30p

Predmety: MODELING languages (Computer science), SYSTEMS design, CONSTRAINT programming, PROBLEM solving, STRUCTURAL models

Hammer for Coq: Automation for Dependent Type Theory.

Autori: Czajka, Łukasz Kaliszyk, Cezary

Zdroj: Journal of Automated Reasoning; Jun2018, Vol. 61 Issue 1-4, p423-453, 31p

Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

Autori: Arie Gurfinkel Marijn Heule

Typ zdroja: eBook.

Predmet: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Dynamic Modelling and Optimal Sliding Mode Control of the Wearable Rehabilitative Bipedal Cable Robot with 7 Degrees of Freedom.

Autori: Sajedifar, A. Korayem, M. H. Allahverdi, F.

Zdroj: Journal of Intelligent & Robotic Systems; Jun2024, Vol. 110 Issue 2, p1-16, 16p

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

Autori: Shuvendu K. Lahiri Chao Wang

Typ zdroja: eBook.

Predmet: Computer software--Verification--Congresses

Kategórie: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Hardware / General

A Study of Technological Intentionality in C++ and Generative Adversarial Model: Phenomenological and Postphenomenological Perspectives.

Autori: Mykhailov, Dmytro Liberati, Nicola

Zdroj: Foundations of Science; Sep2023, Vol. 28 Issue 3, p841-857, 17p

Predmety: C++, DIGITAL technology, LEARNING ability, COMPUTER engineering, COMPUTERS, PHENOMENOLOGY

Energy-Efficient Joint Partitioning and Offloading for Delay-Sensitive CNN Inference in Edge Computing.

Autori: Zha, Zhiyong Yang, Yifei Xia, Yongjun a ďalší

Zdroj: Applied Sciences (2076-3417); Oct2024, Vol. 14 Issue 19, p8656, 19p

Predmety: BORED piles, GREEDY algorithms, EDGE computing, POWER transmission, ENERGY consumption, DEEP learning

Logic-Based Program Synthesis and Transformation

Autori: Maribel Fernández

Typ zdroja: eBook.

Predmet: Computer science, Artificial intelligence, Software engineering, Machine theory, Computer engineering, Computer networks

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

The In-House Option : Professional Issues of Library Automation

Autori: Terry D Webb

Typ zdroja: eBook.

Predmet: Libraries--Automation, Libraries--Automation--Case studies

Kategórie: COMPUTERS / Information Technology, LANGUAGE ARTS & DISCIPLINES / Study & Teaching, LANGUAGE ARTS & DISCIPLINES / Library & Information Science / General, LANGUAGE ARTS & DISCIPLINES / Library & Information Science / Digital & Online Resources

A methodological approach to the development of a technological platform for intelligent integrated energy system modelling.

Autori: Novitsky, N.N. Serttter, B. Chupin, V.R. a ďalší

Zdroj: E3S Web of Conferences; 12/15/2020, Vol. 219, p1-6, 6p

Bad to the Bone : Crafting Electronic Systems with BeagleBone and BeagleBone Black

Autori: Steven F. Barrett Jason Kridner

Typ zdroja: eBook.

Predmet: Engineering, Electronic circuits, Control engineering, Robotics, Automation, Computers

Kategórie: TECHNOLOGY & ENGINEERING / General, COMPUTERS / Hardware / General, TECHNOLOGY & ENGINEERING / Electrical, TECHNOLOGY & ENGINEERING / Electronics / Circuits / General

Microcontroller Programming and Interfacing TI MSP 430 PART II

Autori: Steven F. Barrett Daniel J. Pack

Typ zdroja: eBook.

Predmet: Engineering, Electronic circuits, Control engineering, Robotics, Automation, Computers

Kategórie: TECHNOLOGY & ENGINEERING / General, COMPUTERS / Hardware / General, TECHNOLOGY & ENGINEERING / Electrical, TECHNOLOGY & ENGINEERING / Electronics / Circuits / General

Proceedings of the 2024 2nd International Conference on Digital Economy and Management Science (CDEMS 2024)

Autori: Junfeng Liao Hongbo Li Edward H. K. Ng

Typ zdroja: eBook.

Predmet: Management--Congresses, Electronic commerce--Congresses

Kategórie: BUSINESS & ECONOMICS / General, BUSINESS & ECONOMICS / Management Science

ABSTRACTS from other ACM Publications.

Zdroj: Communications of the ACM; Oct82, Vol. 25 Issue 10, p748-753, 6p

Predmety: DATA compression, CODING theory, DATABASE management, COMPUTER industry, COMPUTER programming

5G and Beyond

Autori: Bharat Bhushan Sudhir Kumar Sharma Raghvendra Kumar a ďalší

Typ zdroja: eBook.

Predmet: 5G mobile communication systems

Kategórie: TECHNOLOGY & ENGINEERING / Telecommunications, COMPUTERS / Networking / General, COMPUTERS / Hardware / General, TECHNOLOGY & ENGINEERING / Electronics / Circuits / General

ABSTRACTS from other ACM Publications.

Zdroj: Communications of the ACM; Jul1982, Vol. 25 Issue 7, p487-492, 6p

Predmety: SEQUENTIAL machine theory, REDUCED instruction set computers, MICROELECTRONICS, INTEGRATED circuits

Reviews & Products: COMMUNICATIONS of the ACM (Periodical)