Suchergebnisse - (((programme OR programm) OR programovaci) OR programovanie) systeme informatik

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

Autoren: Eduard Tinis

Resource Type: eBook.

Categories: COMPUTERS / Computer Science

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

Autoren: Stephanie Weirich

Resource Type: eBook.

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

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

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

Autoren: Andreas de Blanche Thomas Lundqvist

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

Dateibeschreibung: application/pdf

Zugangs-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

Autonomous Systems: Developments and Trends

Autoren: Herwig Unger Kyandoghere Kyamaky Janusz Kacprzyk

Resource Type: eBook.

Schlagworte: Computational intelligence, Artificial intelligence

Categories: COMPUTERS / Artificial Intelligence / General, TECHNOLOGY & ENGINEERING / Engineering (General)

Medien des Gatekeeping : Akteure, Architekturen, Prozesse

Autoren: Franziska Reichenbecher Gabriele Schabacher

Resource Type: eBook.

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

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

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

Autoren: Rehm, Stefan

Verfügbarkeit: http://data.europeana.eu/aggregation/europeana/2048441/item_WFSCOEJSGZ5TDWHPO22KDLCPJZRPVHUF
http://data.europeana.eu/item/2048441/item_WFSCOEJSGZ5TDWHPO22KDLCPJZRPVHUF

Ereignisdiskrete Systeme : Modellierung und Analyse dynamischer Systeme mit Automaten, Markovketten und Petrinetzen

Autoren: Jan Lunze

Resource Type: eBook.

Schlagworte: System analysis--Textbooks, Automatic control--Textbooks, Discrete-time systems--Textbooks

Categories: TECHNOLOGY & ENGINEERING / Electrical, COMPUTERS / General, TECHNOLOGY & ENGINEERING / General

Ereignisdiskrete Systeme : Modellierung und Analyse dynamischer Systeme mit Automaten, Markovketten und Petrinetzen

Autoren: Jan Lunze

Resource Type: eBook.

Schlagworte: Discrete-time systems, System analysis, Automatic control

Categories: TECHNOLOGY & ENGINEERING / Engineering (General), COMPUTERS / General, TECHNOLOGY & ENGINEERING / Electrical

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

Autoren: Viktor Vafeiadis

Resource Type: eBook.

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

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

Advancing program representation and leveraging big code for automatic program transformation

Autoren: Chen, Binger

Schlagwörter: big code, automatic program transformation, code translation, code stylization, program representation, 000 Informatik, Informationswissenschaft, allgemeine Werke::000 Informatik, Wissen, Systeme::004 Datenverarbeitung, Informatik

Intraversionen von Mensch-KI-Relationen: Eine kulturwissenschaftliche Perspektive auf „Human-in-the-Loop“-Systeme. (German)

Alternate Title: Intraversions of Human-AI Relations. A Cultural Studies Perspective on Human-in-theLoop Systems. (English)

Autoren: Vepřek, Libuše Hannah

Quelle: Zeitschrift für Empirische Kulturwissenschaft; 2025, Issue 1, p5-27, 23p

Gewissensbisse – Fallbeispiele zu ethischen Problemen der Informatik

Autoren: Wolfgang Coy Constanze Kurz Otto Obert et al.

Resource Type: eBook.

Schlagworte: Computer science--Moral and ethical aspects, Information technology--Moral and ethical aspects

Categories: COMPUTERS / Social Aspects, COMPUTERS / Computer Science, COMPUTERS / Information Technology

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

Autoren: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

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

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

Autoren: Uli Sattler Martin Suda

Resource Type: eBook.

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

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

Software Engineering for Collective Autonomic Systems : The ASCENS Approach

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

Resource Type: eBook.

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

Autoren: Alex Potanin

Resource Type: eBook.

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

Categories: COMPUTERS / Programming / Compilers

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 I

Autoren: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

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

Modelling to Program

Autoren: Ajantha Dahanayake Oscar Pastor Bernhard Thalheim

Resource Type: eBook.

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

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

Autoren: Pusz, Oskar

Schlagwörter: 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

Verbundprojekt: Menschorientierte Gestaltung komplexer System of Systems - MoSyS; in der Fördermaßnahme 'Beherrschung der Komplexität soziotechnischer Systeme - ein Beitrag zum Advanced Systems Engineering für die Wertschöpfung von morgen (PDA_ASE)' im Programm 'Zukunft der Wertschöpfung - Forschung zu Produktion, Dienstleistung und Arbeit' des BMBF: gemeinsamer Sachbericht zum Verwendungsnachweis

Autoren: Suwelack, Stefan

Schlagwörter: 000 | Informatik, Information und Wissen, allgemeine Werke