Suchergebnisse - ((((programye OR program) 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

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

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

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

Quality Assurance of Test Specifications for Reactive Systems

Qualitätssicherung von Testspezifikationen für Reaktive Systeme

Autoren: Zeiß, Benjamin

Thesis Advisors: Grabowski, Jens Prof. Dr.

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

Dateibeschreibung: application/pdf

Verfügbarkeit: http://hdl.handle.net/11858/00-1735-0000-0006-B3DA-8

Automating the Design of Multigrid Methods with Evolutionary Program Synthesis

Autoren: Schmitt, Jonas

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

Critical Systems: Formal Methods and Automated Verification

Autoren: Laure Petrucci Cristina Seceleanu Ana Cavalcanti

Resource Type: eBook.

Schlagworte: Compilers (Computer programs), Computer science, Software engineering, Computers, Special purpose, Machine theory

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

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

Autoren: Kunkel, Julian Martin

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

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

Programming Languages and Systems

Autoren: Hakjoo Oh

Resource Type: eBook.

Schlagworte: Compilers (Computer programs), Artificial intelligence, Computer science, Computer engineering, Computer networks, Computer systems

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

Echtzeit 2019 : Autonome Systeme – 50 Jahre PEARL

Autoren: Herwig Unger

Resource Type: eBook.

Schlagworte: Compilers (Computer programs), Computer simulation, Software engineering

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

Improving Analysis and Optimization of Finite-Precision Programs

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

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

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

Dateibeschreibung: application/pdf

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

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)

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

Programming Languages and Systems : 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings

Autoren: Sukyoung Ryu

Resource Type: eBook.

Schlagworte: Compilers (Computer programs), Software engineering, Computer programming, Computer science, Artificial intelligence, Electronic digital computers—Evaluation

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