Výsledky vyhledávání - Software and _ engineering Software rotations and tools Compilers Preprocessor

Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Autoři: Alessandra Russo Andy Schürr

Resource Type: eBook.

Témata: Software engineering, Programming languages (Electronic computers), Computer science, Computer organization, Computers

Categories: COMPUTERS / Software Development & Engineering / General, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Hardware / 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

Autoři: Tomáš Vojnar Lijun Zhang

Resource Type: eBook.

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

Categories: 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

Autoři: Dirk Beyer Marieke Huisman

Resource Type: eBook.

Témata: Data structures (Computer science), Computer logic, Computers, Computer science, Computer system failures, Software engineering, Electronic data processing, Electronic digital computers

Categories: COMPUTERS / Computer Science, COMPUTERS / General, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Software Development & Engineering / General

Fundamental Approaches to Software Engineering

Autoři: Einar Broch Johnsen Manuel Wimmer

Resource Type: eBook.

Témata: Computer systems, Software engineering--Congresses, Natural language processing (Computer science)

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Languages / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

Fundamental Approaches to Software Engineering

Autoři: Esther Guerra Mariëlle Stoelinga

Resource Type: eBook.

Témata: Software engineering--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Programming / General, COMPUTERS / Speech & Audio Processing

Managed Software Evolution

Autoři: Ralf Reussner Michael Goedicke Wilhelm Hasselbring a další

Resource Type: eBook.

Témata: Computer software--Development

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Science, COMPUTERS / Management Information Systems, COMPUTERS / Software Development & Engineering / Project Management

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Autoři: Isil Dillig Serdar Tasiran

Resource Type: eBook.

Témata: Computer science, Logic design, Software engineering, Computer logic, Artificial intelligence, Computer industry, Computer programs--Verification--Congresses

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

ImageJ2: ImageJ for the next generation of scientific image data.

Autoři: Rueden, Curtis T. Schindelin, Johannes Hiner, Mark C. a další

Zdroj: BMC Bioinformatics; 11/29/2017, Vol. 18, p1-26, 26p, 2 Color Photographs, 1 Black and White Photograph, 4 Charts, 1 Graph

Témata: IMAGE analysis, SCIENTIFIC software, PHYSICAL sciences, LIFE sciences, ALGORITHMS

An Overview of a Graphical Multilanguage Applications Environment.

Autoři: Fisher, Gene

Zdroj: IEEE Transactions on Software Engineering; Jun88, Vol. 14 Issue 6, p774-786, 13p, 1 Color Photograph, 8 Diagrams

Témata: ELECTRONIC systems, WEB development, USER interfaces, HUMAN-computer interaction, TECHNOLOGY, SOFTWARE engineering

THERMOMECHANICAL ANALYSIS OF FUNCTIONALLY GRADED COMPONENTS USING ABAQUS.

Autoři: Gönczi, Dávid

Zdroj: Multidiszciplináris Tudományok; 2024, Vol. 14 Issue 4, p116-124, 9p

Témata: INHOMOGENEOUS materials, THERMOMECHANICAL treatment, FINITE element method, NEURAL circuitry, STRUCTURAL components, PROBLEM solving, COMPUTER software, PYTHON programming language

The MESSy DWARF (based on MESSy v2.55.2).

Autoři: Kerkweg, Astrid Kirfel, Timo Do, Duong H. a další

Zdroj: Geoscientific Model Development; 2025, Vol. 18 Issue 4, p1265-1286, 22p

Témata: MODERN architecture, CHEMICAL kinetics, ATMOSPHERIC chemistry, CHEMICAL models, CHEMICAL testing

LITTLE LANGUAGES.

Autoři: Bentley, Jon

Zdroj: Communications of the ACM; Aug1986, Vol. 29 Issue 8, p711-721, 11p, 18 Diagrams, 1 Graph

Témata: PROGRAMMING languages, COMPILERS (Computer programs), COMPUTER software, COMPUTER programming, COMPUTER science, INFORMATION technology

KeldyshQFT: A C++ codebase for real-frequency multiloop functional renormalization group and parquet computations of the single-impurity Anderson model.

Autoři: Ritz, Nepomuk Ge, Anxiang Walter, Elias a další

Zdroj: Journal of Chemical Physics; 8/7/2024, Vol. 161 Issue 5, p1-21, 21p

Témata: RENORMALIZATION group, ANDERSON model, STATISTICAL correlation, DATA structures, FUNCTIONAL groups

A Survey of Numerical Simulation Tools for Offshore Wind Turbine Systems.

Autoři: Fadaei, Saeid Afagh, Fred F. Langlois, Robert G.

Zdroj: Wind (2674-032X); Mar2024, Vol. 4 Issue 1, p1-24, 24p

Témata: HORIZONTAL axis wind turbines, COMPUTER simulation, WIND turbines

Korporace: INTERNATIONAL Energy Agency

BigLittleMCA: A Spatially-Optimal Tiled Hardware Accelerator for MCMC Image Processing.

Autoři: KJELLQVIST, CHRIS WILLS, LISA LEBECK, ALVIN

Zdroj: ACM Transactions on Architecture & Code Optimization; Sep2025, Vol. 22 Issue 3, p1-26, 26p

SPIRAL: Extreme Performance Portability.

Autoři: Franchetti, Franz Low, Tze Meng Popovici, Doru Thom a další

Zdroj: Proceedings of the IEEE; Nov2018, Vol. 106 Issue 11, p1935-1968, 34p

Témata: OL/2 (Computer program language), ELECTRICAL engineering, MACHINE learning, SPIRAL galaxies, CLOUD computing

Composing domain-specific physical models with general-purpose software modules in embedded control software.

Autoři: Roo, Arjan Sözer, Hasan Akşit, Mehmet

Zdroj: Software & Systems Modeling; Feb2014, Vol. 13 Issue 1, p55-81, 27p

Témata: EMBEDDED computer systems, COMPUTER software usability, DOMAIN-specific programming languages, PROGRAMMING languages, COMPUTER programming, DOCUMENT markup languages

Porting the grid-based 3D+3V hybrid-Vlasov kinetic plasma simulation Vlasiator to heterogeneous GPU architectures.

Autoři: Battarbee, Markus Papadakis, Konstantinos Ganse, Urs a další

Zdroj: Journal of Physics: Conference Series; 2025, Vol. 2998 Issue 1, p1-32, 32p

Development of a computer-aided design software for smart garments.

Autoři: Kim, Sungmin

Zdroj: International Journal of Clothing Science & Technology; 2018, p845-856, 12p

Témata: COMPUTER-aided design, WEARABLE technology, ELECTRONIC circuit design software, GRAPHICAL user interfaces, COMPUTER programming

Automating adjoint sensitivity analysis for multidisciplinary models involving partial differential equations.

Autoři: Xiang, Ru van Schie, Sebastiaan P. C. Scotzniovsky, Luca a další

Zdroj: Structural & Multidisciplinary Optimization; Aug2024, Vol. 67 Issue 8, p1-31, 31p