Search Results - ((((programove OR program) OR programy) OR programovaci) OR programovanie) systeme informatik

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

Quality Assurance of Test Specifications for Reactive Systems

Qualitätssicherung von Testspezifikationen für Reaktive Systeme

Authors: Zeiß, Benjamin

Thesis Advisors: Grabowski, Jens Prof. Dr.

Subject Terms: 004 Informatik, Mathematics and Computer Science, Qualitätssicherung, Testspezifikationen, Kommunizierende Systeme, Reverse-Engineering, TTCN-3, Qualitätsmodell, Modell-basierte Analyse, Quality Assurance, Test Specifications, Communicating Systems, Quality Model, Model-Based Analysis, 54.52, AHD 240: Software/Program Verification {Computing. Software Engineering}, AHD 250: Testing and Debugging {Computing. Software Engineering}, AHD 280: Metrics {Computing. Software Engineering}

File Description: application/pdf

Availability: http://hdl.handle.net/11858/00-1735-0000-0006-B3DA-8

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

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

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

Gewissensbisse – Fallbeispiele zu ethischen Problemen der Informatik

Authors: Wolfgang Coy Constanze Kurz Otto Obert et al.

Resource Type: eBook.

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

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

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

Authors: Bernd Finkbeiner Laura Kovács

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

Domain Operations for Multimodal Autonomous Systems

Authors: Kast, Bernd

Subject Terms: Hierarchical Planning, Explainable Robotics, Domain Optimization, Multimodal Robotics, 004: Informatik, 50.25: Robotertechnik, Automatische Handlungsplanung, Autonomer Roboter, Kollaborativer Roboter, Künstliche Intelligenz, Explainable Artificial Intelligence, Multimodales System, ddc:004:

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

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

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

Frontiers of Combining Systems

Authors: René Thiemann Christoph Weidenbach

Resource Type: eBook.

Categories: COMPUTERS / Software Development & Engineering / General

Scalable Data Management for Future Hardware

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

Resource Type: eBook.

Subjects: Computer engineering, Information retrieval

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

Cooperatively Interacting Vehicles

Authors: Christoph Stiller Matthias Althoff Christoph Burger et al.

Resource Type: eBook.

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

Authors: Christian Hummert Dirk Pawlaszczyk

Resource Type: eBook.

Subjects: Computer programs, Digital forensic science, Smartphones

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

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

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

Authors: Amal Ahmed

Resource Type: eBook.

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

Authors: Simone Garatti

Resource Type: eBook.

Subjects: Information technology

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

Informatikdidaktische Diskussion über das Design eingebetteter Systeme

Authors: Jaschke, Steffen

Availability: http://data.europeana.eu/aggregation/europeana/2048441/item_UTML4WFDAXUWQMIRPR7H6R7CQUOSSGMG
http://data.europeana.eu/item/2048441/item_UTML4WFDAXUWQMIRPR7H6R7CQUOSSGMG