Search Results - ((((programme OR program) OR programm) OR programovaci) OR programovanie) systeme informatik~

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

Authors: Eduard Tinis

Resource Type: eBook.

Categories: COMPUTERS / Computer Science

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

Authors: Andreas de Blanche Thomas Lundqvist

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

File Description: application/pdf

Access URL: 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

Authors: Ajantha Dahanayake Oscar Pastor Bernhard Thalheim

Resource Type: eBook.

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

Authors: Chen, Binger

Subject Terms: 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

Authors: Stephanie Weirich

Resource Type: eBook.

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

Authors: Pusz, Oskar

Subject Terms: 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

Authors: Schmitt, Jonas

Subject Terms: 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

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

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

Subject Terms: Programm Verstehen, Programm Interpretation, Programm Analyse, Ontologien, ddc:000, Informatik, Wissen, Systeme, program understanding, program interpretation, program analysis, ontologies

File Description: application/pdf

Access URL: 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

Authors: Kunkel, Julian Martin

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

Access URL: http://nbn-resolving.de/urn:nbn:de:gbv:18-62642
https://ediss.sub.uni-hamburg.de/handle/ediss/4987

Programming Languages and Systems

Authors: Alex Potanin

Resource Type: eBook.

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

Categories: COMPUTERS / Programming / Compilers

Medien des Gatekeeping : Akteure, Architekturen, Prozesse

Authors: Franziska Reichenbecher Gabriele Schabacher

Resource Type: eBook.

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

Authors: Isychev, Anastasia Seidl, Helmut (Prof. Dr.) Darulova, Eva (Prof. Dr.) et al.

Contributors: Isychev, Anastasia Seidl, Helmut (Prof. Dr.) Darulova, Eva (Prof. Dr.) et al.

Subject Terms: 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

File Description: application/pdf

Access URL: https://mediatum.ub.tum.de/doc/1712582/document.pdf

Software Engineering for Collective Autonomic Systems : The ASCENS Approach

Authors: Martin Wirsing Matthias Hölzl Nora Koch et al.

Resource Type: eBook.

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

Authors: Viktor Vafeiadis

Resource Type: eBook.

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

Authors: Jeannie Moser Christina Vagt

Resource Type: eBook.

Subjects: Medien, Technik, Kulturwissenschaft, Bildung

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

Optimierung objektorientierter Programme

Authors: Martin Trapp

Resource Type: eBook.

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

Authors: Rehm, Stefan

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

Authors: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

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

Authors: Beyene, Tewodros Awgichew Rybalchenko, Andrey (Prof. Dr.) Seidl, Helmut (Prof. Dr.) et al.

Contributors: Beyene, Tewodros Awgichew Rybalchenko, Andrey (Prof. Dr.) Seidl, Helmut (Prof. Dr.) et al.

Subject Terms: ddc:000, Informatik, Wissen, Systeme, Horn constraints solving, Program verification, Program synthesis, Games solving

File Description: application/pdf

Access URL: https://mediatum.ub.tum.de/1273274

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

Authors: Uli Sattler Martin Suda

Resource Type: eBook.

Subjects: Computer science--Congresses, Logic, Symbolic and mathematical--Congresses

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