Výsledky vyhľadávania - ((((programové OR program) OR program) OR programovací) OR programovanie) systeme informatik
-
1
Autori:
Predmety: 0103 physical sciences, ddc:000, Informatik, Wissen, Systeme, Co-scheduling, Same Process, Scheduling, Allocation, Multicore, Slowdown, Cluster, Cloud, 01 natural sciences
Popis súboru: application/pdf
-
2
-
3
Autori: Kunkel, Julian Martin
Predmety: Simulation von Rechnersystemen, Leistungsanalyse, Parallele Ein/Ausgabe, Simulation of clusters, Performance evaluation, Parallel I/O, 004 Informatik, 54.25 Parallele Datenverarbeitung, Hochleistungsrechnen, ddc:004
-
4
Autori: Zeiß, Benjamin
Thesis Advisors: Grabowski, Jens Prof. Dr.
Predmety: 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}
Popis súboru: application/pdf
-
5
Autori:
Typ zdroja: eBook.
Predmet: Software engineering, Computer programming, Compilers (Computer programs), Computer systems
Kategórie: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Architecture, COMPUTERS / Programming / General, COMPUTERS / Hardware / General
-
6
-
7
-
8
-
9
Autori: Schmitt, Jonas
Predmety: 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
-
10
Autori: Alex Potanin
Typ zdroja: eBook.
Predmet: Compilers (Computer programs), Programming languages (Electronic computers)--Congresses, Artificial intelligence, Computer programming
Kategórie: COMPUTERS / Programming / Compilers
-
11
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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
Popis súboru: application/pdf
Prístupová URL adresa: https://mediatum.ub.tum.de/doc/1712582/document.pdf
-
12
-
13
Prispievatelia: Schemmer, Stefan
-
14
Autori: Kast, Bernd
Predmety: 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:
-
15
-
16
Prispievatelia: Halper, Nicolas
-
17
Autori:
Typ zdroja: eBook.
Predmet: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses
Kategórie: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation
Plný text ve formátu PDF Plný text vo formáte ePub -
18
-
19
Autori:
Typ zdroja: eBook.
Predmet: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses
Kategórie: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation
Plný text ve formátu PDF Plný text vo formáte ePub -
20
Autori: a ďalší
Typ zdroja: eBook.
Predmet: Computer algorithms, Big data
Kategórie: COMPUTERS / Networking / General, COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, MATHEMATICS / Applied
Plný text ve formátu PDF Plný text vo formáte ePub
Nájsť tento článok vo Web of Science