Výsledky vyhledávání - ((((programme OR program) OR programm) OR programovaci) OR programovanie) systeme informatik

Abteilungsinterne Excel-Programme zur Qualitätserhebung. Analyse und Verbesserungsmöglichkeiten

Autoři: Eduard Tinis

Resource Type: eBook.

Categories: COMPUTERS / Computer Science

Disallowing Same-program Co-schedules to Improve Efficiency in Quad-core Servers

Autoři: Andreas de Blanche Thomas Lundqvist

Témata: 0103 physical sciences, ddc:000, Informatik, Wissen, Systeme, Co-scheduling, Same Process, Scheduling, Allocation, Multicore, Slowdown, Cluster, Cloud, 01 natural sciences

Popis souboru: application/pdf

Přístupová URL adresa: https://dblp.uni-trier.de/db/conf/hipeac/coshvisorhpc2017.html#BlancheL17
http://www.diva-portal.org/smash/record.jsf?pid=diva2:1066747
https://doi.org/10.14459/2017md1344414
https://mediatum.ub.tum.de/1344414
https://mediatum.ub.tum.de/1344414

Modelling to Program

Autoři: Ajantha Dahanayake Oscar Pastor Bernhard Thalheim

Resource Type: eBook.

Témata: Software engineering, Computer programming, Compilers (Computer programs), Computer systems

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Architecture, COMPUTERS / Programming / General, COMPUTERS / Hardware / General

Advancing program representation and leveraging big code for automatic program transformation

Autoři: Chen, Binger

Témata: big code, automatic program transformation, code translation, code stylization, program representation, 000 Informatik, Informationswissenschaft, allgemeine Werke::000 Informatik, Wissen, Systeme::004 Datenverarbeitung, Informatik

Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 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 II

Autoři: Stephanie Weirich

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Program-structure–guided reduction of the execution time of fault-injection campaigns on the ISA layer

Autoři: Pusz, Oskar

Témata: Fehlerinjektion, Fault-Space Pruning, Timeout, Funktionale Korrektheit, Funktionssicherheit, Fault Injection, Bit Flip, System Failure Prediction, Reliability, Fehlerraum Pruning, Systemverhaltensvorhersage, Functional Correctness, Fehlerraumapproximation, Fault-Space Approximation, Dewey Decimal Classification::000 | Allgemeines, Wissenschaft::000 | Informatik, Wissen, Systeme::004 | Informatik, Single Event Upset, Bitflip

Automating the Design of Multigrid Methods with Evolutionary Program Synthesis

Autoři: Schmitt, Jonas

Témata: Genetische Programmierung, DDC Classification::0 Informatik, Information und Wissen, allgemeine Werke::00 Informatik, Wissen und Systeme::005 Softwareentwicklung, Software, Daten, IT-Sicherheit, automated algorithm design, Formale Grammatik, DDC Classification::5 Naturwissenschaften::51 Mathematik::518 Numerische Analysis, artificial intelligence, DDC Classification::0 Informatik, Information und Wissen, allgemeine Werke::00 Informatik, Wissen und Systeme::003 Systeme, program synthesis, Künstliche Intelligenz, formal grammar, computer simulation, Mehrgitterverfahren, DDC Classification::0 Informatik, Information und Wissen, allgemeine Werke::00 Informatik, Wissen und Systeme::006 Spezielle Computerverfahren, genetic programming, multigrid, Programmsynthese, Computersimulation

Intentional Meaning of Programs

Autoři: Ratiu, Daniel Petrica Broy, Manfred (Prof. Dr. Dr. h.c) Koschke, Rainer (Prof. Dr.)

Přispěvatelé: Ratiu, Daniel Petrica Broy, Manfred (Prof. Dr. Dr. h.c) Koschke, Rainer (Prof. Dr.)

Témata: Programm Verstehen, Programm Interpretation, Programm Analyse, Ontologien, ddc:000, Informatik, Wissen, Systeme, program understanding, program interpretation, program analysis, ontologies

Popis souboru: application/pdf

Přístupová URL adresa: https://mediatum.ub.tum.de/doc/682314/document.pdf

Simulation of Parallel Programs on Application and System Level
Simulation von parallelen Programmen auf Anwendungs- und Systemebene

Autoři: Kunkel, Julian Martin

Témata: Simulation von Rechnersystemen, Leistungsanalyse, Parallele Ein/Ausgabe, Simulation of clusters, Performance evaluation, Parallel I/O, 004 Informatik, 54.25 Parallele Datenverarbeitung, Hochleistungsrechnen, ddc:004

Přístupová URL adresa: http://nbn-resolving.de/urn:nbn:de:gbv:18-62642
https://ediss.sub.uni-hamburg.de/handle/ediss/4987

Programming Languages and Systems

Autoři: Alex Potanin

Resource Type: eBook.

Témata: Compilers (Computer programs), Programming languages (Electronic computers)--Congresses, Artificial intelligence, Computer programming

Categories: COMPUTERS / Programming / Compilers

Medien des Gatekeeping : Akteure, Architekturen, Prozesse

Autoři: Franziska Reichenbecher Gabriele Schabacher

Resource Type: eBook.

Témata: HM--Sociology (General), CB--History of Civilization, P--Philology. Linguistics

Categories: SOCIAL SCIENCE / Anthropology / Cultural & Social, SOCIAL SCIENCE / Media Studies

Improving Analysis and Optimization of Finite-Precision Programs

Autoři: Isychev, Anastasia Seidl, Helmut (Prof. Dr.) Darulova, Eva (Prof. Dr.) a další

Přispěvatelé: Isychev, Anastasia Seidl, Helmut (Prof. Dr.) Darulova, Eva (Prof. Dr.) a další

Témata: ddc:000, Informatik, Wissen, Systeme, finite precision, numerical software, static analysis, floating-point arithmetic, fixed-point arithmetic, rounding errors, sound optimization, performance, numerische Software, Rundungsfehler, statische Analyse, Optimierung, Gleitkommaarithmetik, Festkommaarithmetik

Popis souboru: application/pdf

Přístupová URL adresa: https://mediatum.ub.tum.de/doc/1712582/document.pdf

Software Engineering for Collective Autonomic Systems : The ASCENS Approach

Autoři: Martin Wirsing Matthias Hölzl Nora Koch a další

Resource Type: eBook.

Témata: Software engineering, Computer science, Compilers (Computer programs), Computer programming, Machine theory, Artificial intelligence

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

Programming Languages and Systems : 34th European Symposium on Programming, ESOP 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 I

Autoři: Viktor Vafeiadis

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

Verhaltensdesign : Technologische und ästhetische Programme der 1960er und 1970er Jahre

Autoři: Jeannie Moser Christina Vagt

Resource Type: eBook.

Témata: Medien, Technik, Kulturwissenschaft, Bildung

Categories: SOCIAL SCIENCE / Media Studies, TECHNOLOGY & ENGINEERING / Social Aspects

Optimierung objektorientierter Programme

Autoři: Martin Trapp

Resource Type: eBook.

Témata: Software engineering, Artificial intelligence, Dynamics, Nonlinear theories

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, SCIENCE / System Theory, TECHNOLOGY & ENGINEERING / Engineering (General)

Entwurf und Implementierung eines TTCAN-Treibers für OSEKtime/TriCore TC1796
Design and Implementation of a TTCAN Driver for OSEKtime/TriCore TC1796

Autoři: Rehm, Stefan

Dostupnost: http://data.europeana.eu/aggregation/europeana/2048441/item_WFSCOEJSGZ5TDWHPO22KDLCPJZRPVHUF
http://data.europeana.eu/item/2048441/item_WFSCOEJSGZ5TDWHPO22KDLCPJZRPVHUF

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

Temporal Program Verification and Synthesis as Horn Constraints Solving

Autoři: Beyene, Tewodros Awgichew Rybalchenko, Andrey (Prof. Dr.) Seidl, Helmut (Prof. Dr.) a další

Přispěvatelé: Beyene, Tewodros Awgichew Rybalchenko, Andrey (Prof. Dr.) Seidl, Helmut (Prof. Dr.) a další

Témata: ddc:000, Informatik, Wissen, Systeme, Horn constraints solving, Program verification, Program synthesis, Games solving

Popis souboru: application/pdf

Přístupová URL adresa: https://mediatum.ub.tum.de/1273274

Frontiers of Combining Systems : 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, Proceedings

Autoři: Uli Sattler Martin Suda

Resource Type: eBook.

Témata: Computer science--Congresses, Logic, Symbolic and mathematical--Congresses

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