Výsledky vyhľadávania - automation programming—program modify- (cation OR creation) general terms reliability*

Energy-efficient Techniques in SDN: Software, Hardware, and Hybrid Approaches.

Autori: Verma, Vikas Jain, Manish

Zdroj: Philippine Journal of Science; Feb2025, Vol. 154 Issue 1, p1-22, 22p

Predmety: ENERGY conservation, SOFTWARE-defined networking, ENERGY consumption, NETWORK performance, TRAFFIC flow

Constructing a AI ERP diamond model for the optimal allocation of long-term care center resources - applying a fuzzy analytic hierarchy process for operations research.

Autori: Wei-Chuan Wang

Zdroj: Journal of Accounting, Finance & Management Strategy; Jun2023, Vol. 18 Issue 1, p71-118, 48p

Predmety: ANALYTIC hierarchy process, OPERATIONS research, LONG-term health care, ELDER care, SENIOR housing, LONG-term care insurance, HOUSING finance

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

Recent Technological Advancements in BIM and LCA Integration for Sustainable Construction: A Review.

Autori: Chen, Zhonghao Chen, Lin Zhou, Xingyang a ďalší

Zdroj: Sustainability (2071-1050); Feb2024, Vol. 16 Issue 3, p1340, 30p

Energy-efficient Techniques in SDN: Software, Hardware, and Hybrid Approaches.

Autori: Verma, Vikas Jain, Manish

Zdroj: Philippine Journal of Science; Feb2024, Vol. 153 Issue 1, p1-22, 22p

Predmety: ENERGY conservation, ENERGY consumption, NETWORK performance, TRAFFIC flow, RESEARCH personnel

A Survey on End-User Robot Programming.

Autori: AJAYKUMAR, GOPIKA STEELE, MAUREEN CHIEN-MING HUANG

Zdroj: ACM Computing Surveys; Nov2022, Vol. 54 Issue 8, p1-36, 36p

Predmety: ROBOT programming, INDIVIDUAL needs, HUMAN-robot interaction

DEVELOPMENT OF THE ENTERPRISE MULTI-AGENT SIMULATION MODEL FOR THE PRODUCTION OF PLASTIC WINDOWS IN ORDER TO DEVELOP THE MARKETING STRATEGY.

Autori: Aksyonov, Konstantin A. Ziomkovskaia, Polina E. Aksyonova, Olga P. a ďalší

Zdroj: Proceedings of the International Multidisciplinary Scientific GeoConference SGEM; 2019, Vol. 19 Issue 1, p241-248, 8p

Predmety: MARKETING strategy, PRICING, SYSTEMS software, SIMULATION methods & models, MULTIAGENT systems, INTELLIGENT agents

FEDERAL REGISTER.

Zdroj: Federal Register (National Archives & Records Service, Office of the Federal Register); 2/25/2025, Vol. 90 Issue 36, p1-115, 115p

Predmety: HOUSE construction, HUMAN services, ENGINEERING standards, INTERNET forums, UNFAIR competition

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

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

Benchmarking bidirectional transformations: theory, implementation, application, and assessment.

Autori: Anjorin, Anthony Buchmann, Thomas Westfechtel, Bernhard a ďalší

Zdroj: Software & Systems Modeling; May2020, Vol. 19 Issue 3, p647-691, 45p

Predmety: BENCHMARKING (Management), HETEROGENEITY, EVALUATION, SYNCHRONIZATION

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

Proceedings of the 2024 4th International Conference on Education, Language and Art (ICELA 2024)

Autori: Muhammad Faizal A. Ghani Lay Hoon Ang Mohd Sukki Othman a ďalší

Typ zdroja: eBook.

Predmet: Language and languages--Study and teaching--Congresses, Education--Congresses

Kategórie: EDUCATION / General, ART / General, LANGUAGE STUDY / General, LANGUAGE ARTS & DISCIPLINES / General

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

Autori: Get, Jerome Hugues Get, Bechir Zalila Get, Laurent Pautet a ďalší

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

Predmety: EMBEDDED computer systems, RAPID prototyping, AUTOMATION, PROGRAMMING languages, SYSTEMS on a chip

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

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

Software Vulnerability Analysis and Discovery Using Machine-Learning and Data-Mining Techniques: A Survey.

Autori: GHAFFARIAN, SEYED MOHAMMAD SHAHRIARI, HAMID REZA

Zdroj: ACM Computing Surveys; Jul2018, Vol. 50 Issue 4, p56:1-56:36, 36p, 1 Diagram, 5 Charts, 1 Graph

Predmety: COMPUTER software safety measures, MACHINE learning, ARTIFICIAL intelligence, DATA mining, DATABASE searching

Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

Autori: Ilya Sergey

Typ zdroja: eBook.

Predmet: Computer programming--Congresses, Programming languages (Electronic computers)--Congresses

Kategórie: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Programming / General, COMPUTERS / Hardware / General

Computers for symbolic processing.

Autori: Wah, B.W. Lowrie, M.B. Li, G.-J.

Zdroj: Proceedings of the IEEE; 1989, Vol. 77 Issue 4, p509-540, 32p

Programming Languages and Systems : 29th European Symposium on Programming, ESOP 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

Autori: Peter Müller

Typ zdroja: eBook.

Predmet: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses, Natural language processing (Computer science)

Kategórie: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

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