Výsledky vyhľadávania - software and swiss engineering software rotations and tools general programming languages*

Agile Processes in Software Engineering and Extreme Programming : 24th International Conference on Agile Software Development, XP 2023, Amsterdam, The Netherlands, June 13–16, 2023, Proceedings

Autori: Christoph J. Stettina Juan Garbajosa Philippe Kruchten

Typ zdroja: eBook.

Predmet: Agile software development--Congresses, eXtreme programming--Congresses

Kategórie: COMPUTERS / Software Development & Engineering / General, BUSINESS & ECONOMICS / Information Management, COMPUTERS / Management Information Systems

Ernst Denert Award for Software Engineering 2020 : Practice Meets Foundations

Autori: Michael Felderer Wilhelm Hasselbring Heiko Koziolek a ďalší

Typ zdroja: eBook.

Predmet: Software engineering, Software engineering--Awards

Kategórie: COMPUTERS / Software Development & Engineering / General, BUSINESS & ECONOMICS / Information Management, COMPUTERS / Management Information Systems

STEP-NC compliant 3-axis CNC machine controller based on Field-Programmable Gate Arrays.

Autori: Zafar, Zubaid Ali Abbas, Tanveer Rafiq, Mudassar a ďalší

Zdroj: International Journal of Computer Integrated Manufacturing; Oct2025, Vol. 38 Issue 10, p1345-1363, 19p

Predmety: NUMERICAL control of machine tools, FIELD programmable gate arrays, STANDARDIZATION, FINITE state machines, REAL-time computing

Software and computing for Run 3 of the ATLAS experiment at the LHC.

Autori: Aad, G. Aakvaag, E. Abbott, B. a ďalší

Zdroj: European Physical Journal C -- Particles & Fields; Mar2025, Vol. 85 Issue 3, p1-117, 117p

Predmety: SYSTEMS software, MATHEMATICS software, DATABASES, COMPUTER systems, SOFTWARE development tools

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

An ontology-based tool for modeling and documenting events in neurosurgery.

Autori: Romao, Patricia Neuenschwander, Stefanie Zbinden, Chantal a ďalší

Zdroj: BMC Medical Informatics & Decision Making; 7/31/2024, Vol. 24 Issue 1, p1-17, 17p

Predmety: AGILE software development, HUMAN phenotype, EVOKED potentials (Electrophysiology), INTRAOPERATIVE monitoring, SOFTWARE development tools

Software for Exascale Computing - SPPEXA 2016-2019

Autori: Hans-Joachim Bungartz Severin Reiz Benjamin Uekermann a ďalší

Typ zdroja: eBook.

Predmet: Computer science

Kategórie: COMPUTERS / Computer Simulation, COMPUTERS / Computer Science, COMPUTERS / Data Transmission Systems / Electronic Data Interchange, COMPUTERS / Hardware / General, MATHEMATICS / Applied, SCIENCE / Physics / Mathematical & Computational, TECHNOLOGY & ENGINEERING / Engineering (General)

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

Autori: Tomáš Vojnar Lijun Zhang

Typ zdroja: eBook.

Predmet: Artificial intelligence, Computer system performance, Software engineering, Logic design, Computer science, Computer industry, Electronic data processing

Kategórie: COMPUTERS / Computer Science, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General

Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II

Autori: Jan Friso Groote Kim Guldstrand Larsen

Typ zdroja: eBook.

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

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

Tools and Algorithms for the Construction and Analysis of Systems

Autori: Dana Fisman Grigore Rosu

Typ zdroja: eBook.

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

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

Programming Languages and Systems : 32nd European Symposium on Programming, ESOP 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

Autori: Thomas Wies

Typ zdroja: eBook.

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

Kategórie: COMPUTERS / Programming / Compilers

Metamodeling for Extended Reality

Autori: Fabian Muff

Typ zdroja: eBook.

Predmet: Software engineering, Mixed reality

Kategórie: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Virtual & Augmented Reality

CREST—A program for the exploration of low-energy molecular chemical space.

Autori: Pracht, Philipp Grimme, Stefan Bannwarth, Christoph a ďalší

Zdroj: Journal of Chemical Physics; 3/21/2024, Vol. 160 Issue 11, p1-28, 28p

Predmety: MOLECULAR structure, QUANTUM mechanics, QUANTUM chemistry, SAMPLING (Process), PROTON transfer reactions

An empirical analysis on webservice antipattern prediction in different variants of machine learning perspective.

Autori: Kumar, Lov Tummalapalli, Sahiti Murthy, Lalita Bhanu a ďalší

Zdroj: Scientific Reports; 2/12/2025, Vol. 15 Issue 1, p1-28, 28p

Predmety: FEATURE selection, COMPUTER software quality control, RECEIVER operating characteristic curves, SOFTWARE architecture, SUPPORT vector machines

From concept to manufacturing: evaluating vision-language models for engineering design.

Autori: Picard, Cyril Edwards, Kristen M. Doris, Anna C. a ďalší

Zdroj: Artificial Intelligence Review; Sep2025, Vol. 58 Issue 9, p1-75, 75p

Energy efficiency trends in HPC: what high-energy and astrophysicists need to know.

Autori: Suarez, Estela Amaya, Jorge Frank, Martin a ďalší

Zdroj: Frontiers in Physics; 2025, p1-25, 25p

Predmety: HIGH performance computing, CONSCIOUSNESS raising, PARTICLE physics, ENERGY consumption, SYSTEM administrators

Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II

Autori: Sharon Shoham Yakir Vizel

Typ zdroja: eBook.

Predmet: Computer software--Verification--Congresses

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

Computer Aided Verification

Autori: Alexandra Silva K. Rustan M. Leino

Typ zdroja: eBook.

Predmet: Artificial intelligence, Computer software--Verification--Congresses

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

Computer Vision Applications in Intelligent Transportation Systems: A Survey.

Autori: Dilek, Esma Dener, Murat

Zdroj: Sensors (14248220); Mar2023, Vol. 23 Issue 6, p2938, 65p

Predmety: COMPUTER vision, DEEP learning, INTELLIGENT transportation systems, APPLICATION software, TRAFFIC monitoring, TRAFFIC safety, TRAFFIC engineering

Reducing branch divergence to speed up parallel execution of unit testing on GPUs.

Autori: Bagies, Taghreed Le, Wei Sheaffer, Jeremy a ďalší

Zdroj: Journal of Supercomputing; Nov2023, Vol. 79 Issue 16, p18340-18374, 35p

Predmety: COMPUTER software testing, COMPUTER software development, CONFORMANCE testing