Výsledky vyhledávání - ((automatizacia OR automatizacia) OR automation) programming-program synthesis general terms*

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

Autoři: Ji, Ruyi Zhao, Yuwei Xiong, Yingfei a další

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

Témata: DECOMPOSITION method, PROGRAM transformation, SYNTAX (Grammar)

Hammer for Coq: Automation for Dependent Type Theory.

Autoři: Czajka, Łukasz Kaliszyk, Cezary

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

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

Autoři: Sajedifar, A. Korayem, M. H. Allahverdi, F.

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

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

Autoři: Porra, Jaana Hirschheim, Rudy Land, Frank a další

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

Témata: SYSTEMS development, BUSINESS informatics, INFORMATION storage & retrieval systems, NARRATION

The quantum monadology.

Autoři: Sati, Hisham Schreiber, Urs

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

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

Autoři: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

Témata: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Logic-Based Program Synthesis and Transformation

Autoři: Maribel Fernández

Resource Type: eBook.

Témata: Computer science, Artificial intelligence, Software engineering, Machine theory, Computer engineering, Computer networks

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

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 I

Autoři: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Témata: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

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

Autoři: Yvars, Pierre-Alain Zimmer, Laurent

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

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

The In-House Option : Professional Issues of Library Automation

Autoři: Terry D Webb

Resource Type: eBook.

Témata: Libraries--Automation, Libraries--Automation--Case studies

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

Automated Reasoning: Some Successes and New Challenges.

Autoři: Janičić, Predrag

Zdroj: Central European Conference on Information & Intelligent Systems; 9/21/2011, p13-22, 10p

Témata: AUTOMATION, INDUSTRIAL engineering, MECHANIZATION, TECHNOLOGICAL innovations, CREATIVE ability in technology

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

Autoři: Steven F. Barrett Jason Kridner

Resource Type: eBook.

Témata: Engineering, Electronic circuits, Control engineering, Robotics, Automation, Computers

Categories: TECHNOLOGY & ENGINEERING / General, COMPUTERS / Hardware / General, TECHNOLOGY & ENGINEERING / Electrical, TECHNOLOGY & ENGINEERING / Electronics / Circuits / General

Microcontroller Programming and Interfacing TI MSP 430 PART II

Autoři: Steven F. Barrett Daniel J. Pack

Resource Type: eBook.

Témata: Engineering, Electronic circuits, Control engineering, Robotics, Automation, Computers

Categories: TECHNOLOGY & ENGINEERING / General, COMPUTERS / Hardware / General, TECHNOLOGY & ENGINEERING / Electrical, TECHNOLOGY & ENGINEERING / Electronics / Circuits / General

AUTOMAT[R]IX: learning simple matrix pipelines.

Autoři: Contreras-Ochando, Lidia Ferri, Cèsar Hernández-Orallo, José

Zdroj: Machine Learning; Apr2021, Vol. 110 Issue 4, p779-799, 21p

Témata: ARTIFICIAL intelligence, MACHINE learning, MATRICES (Mathematics), DATA science

From the Prototype to the Final Embedded System Using the Ocarina AADL Tool Suite.

Autoři: Get, Jerome Hugues Get, Bechir Zalila Get, Laurent Pautet a další

Zdroj: ACM Transactions on Embedded Computing Systems; Jul2008, Vol. 7 Issue 4, p42-42:25, 25p, 5 Diagrams, 1 Chart

Témata: EMBEDDED computer systems, RAPID prototyping, AUTOMATION, PROGRAMMING languages, SYSTEMS on a chip

The In-House Option : Professional Issues of Library Automation

Autoři: T.D. Webb

Resource Type: eBook.

Témata: Z678.9

Categories: LANGUAGE ARTS & DISCIPLINES / Library & Information Science / General, LANGUAGE ARTS & DISCIPLINES / Library & Information Science / Digital & Online Resources

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

Autoři: Mykhailov, Dmytro Liberati, Nicola

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

Témata: C++, DIGITAL technology, LEARNING ability, COMPUTER engineering, COMPUTERS, PHENOMENOLOGY

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

Autoři: Zha, Zhiyong Yang, Yifei Xia, Yongjun a další

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

Témata: BORED piles, GREEDY algorithms, EDGE computing, POWER transmission, ENERGY consumption, DEEP learning

Logic-Based Program Synthesis and Transformation : 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers

Autoři: Maurizio Gabbrielli

Resource Type: eBook.

Témata: Computer science, Computer engineering, Computer networks, Computer simulation, Application software, Artificial intelligence

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Synthesizing operating system based device drivers in embedded systems.

Autoři: Shaojie Wang Sharad Malik

Zdroj: First IEEE/ACM/IFIP International Conference on Hardware/ Software Codesign & Systems Synthesis (IEEE Cat. No.03TH8721); 2003, p37-44, 8p