Search Results - (((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

Authors: Stephanie Weirich

Resource Type: eBook.

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

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

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

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

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

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

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

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

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

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

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

Critical Systems: Formal Methods and Automated Verification

Authors: Laure Petrucci Cristina Seceleanu Ana Cavalcanti

Resource Type: eBook.

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

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

Resource Type: eBook.

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

Authors: Herwig Unger

Resource Type: eBook.

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

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

Autonomous Systems: Developments and Trends

Authors: Herwig Unger Kyandoghere Kyamaky Janusz Kacprzyk

Resource Type: eBook.

Subjects: Computational intelligence, Artificial intelligence

Categories: COMPUTERS / Artificial Intelligence / General, TECHNOLOGY & ENGINEERING / 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

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

Authors: Sukyoung Ryu

Resource Type: eBook.

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