Search Results - (((program OR program) OR programovací) OR programovanie) systeme informatik

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

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

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

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

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

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

Authors: Alex Potanin

Resource Type: eBook.

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

Categories: COMPUTERS / Programming / Compilers

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

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

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

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

Kompetenzmanagement mit System : Theorie und Anwendung der international bewährten KODE®-Verfahren

Authors: Volker Heyse John Erpenbeck Stephan Coester et al.

Resource Type: eBook.

Subjects: Personnel management--Computer programs

Categories: BUSINESS & ECONOMICS / Strategic Planning, BUSINESS & ECONOMICS / Human Resources & Personnel Management, BUSINESS & ECONOMICS / Management

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

Authors: Eduard Tinis

Resource Type: eBook.

Categories: COMPUTERS / Computer Science

Thinking Programs

Authors: Wolfgang Schreiner

Resource Type: eBook.

Subjects: Mathematical logic, Computer science—Mathematics

Categories: MATHEMATICS / Logic, COMPUTERS / Computer Science, MATHEMATICS / Applied

Mathematics of Program Construction

Authors: Jeremy Gibbons Pablo Nogueira

Resource Type: eBook.

Subjects: Computer science, Machine theory, Software engineering, Computer science—Mathematics, Discrete mathematics, Compilers (Computer programs)

Categories: COMPUTERS / Computer Science, COMPUTERS / Programming / Compilers, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Applied, MATHEMATICS / Discrete Mathematics

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

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

Authors: Pusz, Oskar

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

Data management systems for the bovine viral diarrhoea eradication programme in Switzerland.

Alternate Title: Sistemas de procesamiento de datos para el programa de erradicación de la diarrea viral bovina en Suiza.
Les systèmes de gestion des données utilisés par le programme suisse d'éradication de la diarrhée virale bovine.

Authors: Schwermer, H. Bernet, D. Presi, P. et al.

Source: OIE Revue Scientifique et Technique. 2013, Vol. 32 Issue 3, p741-750. 10p.