Výsledky vyhľadávania - Software and electrical engineering Software rotations and tools Compilers Preprocessor

Fundamental Approaches to Software Engineering

Autori: Einar Broch Johnsen Manuel Wimmer

Typ zdroja: eBook.

Predmet: Computer systems, Software engineering--Congresses, Natural language processing (Computer science)

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

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 III

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

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

Autori: Alessandra Russo Andy Schürr

Typ zdroja: eBook.

Predmet: Software engineering, Programming languages (Electronic computers), Computer science, Computer organization, Computers

Kategórie: 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

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

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

Tools and Algorithms for the Construction and Analysis of Systems

Autori: Dirk Beyer Marieke Huisman

Typ zdroja: eBook.

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

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

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)

Managed Software Evolution

Autori: Ralf Reussner Michael Goedicke Wilhelm Hasselbring a ďalší

Typ zdroja: eBook.

Predmet: Computer software--Development

Kategórie: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Science, COMPUTERS / Management Information Systems, COMPUTERS / Software Development & Engineering / Project Management

SPIRAL: Extreme Performance Portability.

Autori: Franchetti, Franz Low, Tze Meng Popovici, Doru Thom a ďalší

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

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

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

Autori: Fadaei, Saeid Afagh, Fred F. Langlois, Robert G.

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

Predmety: HORIZONTAL axis wind turbines, COMPUTER simulation, WIND turbines

Korporácia: INTERNATIONAL Energy Agency

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

An Overview of a Graphical Multilanguage Applications Environment.

Autori: Fisher, Gene

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

Predmety: ELECTRONIC systems, WEB development, USER interfaces, HUMAN-computer interaction, TECHNOLOGY, SOFTWARE engineering

Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II

Autori: Arie Gurfinkel Vijay Ganesh

Typ zdroja: eBook.

Predmet: Computer software--Verification--Congresses

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

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

Autori: Battarbee, Markus Papadakis, Konstantinos Ganse, Urs a ďalší

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

Computer Aided Verification

Autori: Arie Gurfinkel Vijay Ganesh

Typ zdroja: eBook.

Predmet: Computer software--Verification--Congresses

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

Real-Time Systems Development with RTEMS and Multicore Processors

Autori: Gedare Bloom Joel Sherrill Tingting Hu a ďalší

Typ zdroja: eBook.

Predmet: Automatic control, Real-time data processing, Embedded computer systems

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

Languages, Design Methods, and Tools for Electronic System Design : Selected Contributions From FDL 2018

Autori: Tom J. Kazmierski Sebastian Steinhorst Daniel Große

Typ zdroja: eBook.

Predmet: Software engineering--Congresses, Formal methods (Computer science)--Congresses, Computer software--Verification--Congresses, Computer hardware description languages--Congresses, Software architecture--Congresses

Kategórie: TECHNOLOGY & ENGINEERING / Electronics / Circuits / General, COMPUTERS / Computer Architecture, TECHNOLOGY & ENGINEERING / Electronics / General

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

Autori: Xiang, Ru van Schie, Sebastiaan P. C. Scotzniovsky, Luca a ďalší

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

Automated Deduction – CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings

Autori: Brigitte Pientka Cesare Tinelli

Typ zdroja: eBook.

Predmet: Automatic theorem proving--Congresses, Logic, Symbolic and mathematical--Congresses

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

A pragmatic approach to dimensional analysis for mobile robotic programming.

Autori: Geoffrey Biggs Bruce MacDonald

Zdroj: Autonomous Robots; Nov2008, Vol. 25 Issue 4, p405-419, 15p

Predmety: ROBOT programming, MACHINE theory, PROGRAMMING languages, COMPUTER software