Suchergebnisse - ((((program OR programy) OR programy) OR programovaci) OR programovanie) systeme 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

Autoren: Stephanie Weirich

Resource Type: eBook.

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

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

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

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

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

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

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

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

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

Frontiers of Combining Systems

Autoren: René Thiemann Christoph Weidenbach

Resource Type: eBook.

Categories: COMPUTERS / Software Development & Engineering / General

Scalable Data Management for Future Hardware

Autoren: Kai-Uwe Sattler Alfons Kemper Thomas Neumann et al.

Resource Type: eBook.

Schlagworte: Computer engineering, Information retrieval

Categories: COMPUTERS / Database Administration & Management, COMPUTERS / Hardware / General

Cooperatively Interacting Vehicles

Autoren: Christoph Stiller Matthias Althoff Christoph Burger et al.

Resource Type: eBook.

Schlagworte: Intelligent transportation systems, Automated vehicles, Electrical engineering

Categories: TECHNOLOGY & ENGINEERING / Automotive, COMPUTERS / Software Development & Engineering / General, TECHNOLOGY & ENGINEERING / Electrical

Mobile Forensics – The File Format Handbook : Common File Formats and File Systems Used in Mobile Devices

Autoren: Christian Hummert Dirk Pawlaszczyk

Resource Type: eBook.

Schlagworte: Computer programs, Digital forensic science, Smartphones

Categories: COMPUTERS / Database Administration & Management, COMPUTERS / Security / General, COMPUTERS / Programming / Mobile Devices

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

Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Autoren: Amal Ahmed

Resource Type: eBook.

Schlagworte: Programming languages (Electronic computers), Computer organization, Computer science, Computers

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Hardware / General

Special Topics in Information Technology

Autoren: Simone Garatti

Resource Type: eBook.

Schlagworte: Information technology

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

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

Literaturwissenschaft und Informatik : Transdisziplinäre Perspektiven, digitale Methoden und selbstlernende Algorithmen

Autoren: Alexa Lucke Hermann Johannes

Resource Type: eBook.

Schlagworte: Literature--Computer-assisted instruction, Literature--Study and teaching

Categories: COMPUTERS / Social Aspects, LANGUAGE ARTS & DISCIPLINES / Linguistics / Historical & Comparative

Algorithms for Big Data : DFG Priority Program 1736

Autoren: Hannah Bast Claudius Korzen Ulrich Meyer et al.

Resource Type: eBook.

Schlagworte: Computer algorithms, Big data

Categories: COMPUTERS / Networking / General, COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, MATHEMATICS / Applied

Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II

Autoren: Armin Biere David Parker

Resource Type: eBook.

Schlagworte: Computer software--Verification--Congresses, System design--Congresses, System analysis--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Hardware / General, MATHEMATICS / Applied

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