Search Results - ((((programme OR program) OR program) OR programovací) OR programovanie) systeme informatik
-
1
Authors:
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
-
2
Authors:
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
-
3
-
4
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
-
5
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
-
6
Authors: et al.
Contributors: 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
-
7
Authors: Wolfgang Schreiner
Resource Type: eBook.
Subjects: Mathematical logic, Computer science—Mathematics
-
8
Authors: Alex Potanin
Resource Type: eBook.
Subjects: Compilers (Computer programs), Programming languages (Electronic computers)--Congresses, Artificial intelligence, Computer programming
Categories: COMPUTERS / Programming / Compilers
-
9
Authors:
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
-
10
-
11
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
-
12
Authors: Stephanie Weirich
Resource Type: eBook.
Subjects: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses
PDF Full Text ePub Full Text -
13
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
-
14
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
-
15
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: et al.
Source: OIE Revue Scientifique et Technique. 2013, Vol. 32 Issue 3, p741-750. 10p.
-
16
-
17
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
-
18
Authors: et al.
Resource Type: eBook.
Subjects: Computer algorithms, Big data
Categories: COMPUTERS / Networking / General, COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, MATHEMATICS / Applied
PDF Full Text ePub Full Text -
19
Authors: Herwig Unger
Resource Type: eBook.
Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Simulation
-
20
Authors:
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
Nájsť tento článok vo Web of Science