Výsledky vyhľadávania - "Dataflow synchronous programming"
-
1
Autori:
Prispievatelia:
Zdroj: IEEE Embedded Systems Letters. 17:119-122
Predmety: Time-Centric Reactive Software, [INFO] Computer Science [cs], Dataflow Synchronous Programming
Popis súboru: application/pdf
-
2
Autori: a ďalší
Zdroj: Nature-Inspired Mobile Robotics - Proceedings of the 16th International Conference on Climbing & Walking Robots & the Support Technologies For Mobile Machines; 2013, p495-502, 8p
Predmety: ROBOT motion, HUMANOID robots, HUMAN-robot interaction, ROBOT control systems, ROBOTICS, MACHINE learning, MACHINE theory
-
3
Autori: a ďalší
Zdroj: Formal Methods in System Design; Mar1998, Vol. 12 Issue 2, p163-187, 25p
-
4
Autori: Auger, Cédric
Thesis Advisors: Paris 11, Pouzet, Marc
Predmety: Compilation, Sémantique, Synchrone, Preuve de programmes, Traduction par validation, Langage flots de données, Langage impératif, Certification, Semantics, Synchronous, Proofs of programs, Translation validation, Dataflow languages, Imperative languages
Dostupnosť: http://www.theses.fr/2013PA112018/document
-
5
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: https://theses.hal.science/tel-00818169 ; Autre [cs.OH]. Université Paris Sud - Paris XI, 2013. Français. ⟨NNT : 2013PA112018⟩.
Predmety: Certification, Imperative languages, Dataflow languages, Translation validation, Proofs of programs, Synchronous, Semantics, Compilation, Langage impératif, Langage flots de données, Traduction par validation, Preuve de programmes, Synchrone, Sémantique, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]
Relation: NNT: 2013PA112018
-
6
-
7
Autori:
Typ zdroja: eBook.
Kategórie: TECHNOLOGY & ENGINEERING / Robotics, COMPUTERS / Artificial Intelligence / General, TECHNOLOGY & ENGINEERING / Military Science
-
8
Full Text Finder 
Nájsť tento článok vo Web of Science