Výsledky vyhledávání - "Dataflow Synchronous Programming"
-
1
Autoři:
Přispěvatelé:
Zdroj: IEEE Embedded Systems Letters. 17:119-122
Témata: Time-Centric Reactive Software, [INFO] Computer Science [cs], Dataflow Synchronous Programming
Popis souboru: application/pdf
-
2
Autoři: a další
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
Témata: ROBOT motion, HUMANOID robots, HUMAN-robot interaction, ROBOT control systems, ROBOTICS, MACHINE learning, MACHINE theory
-
3
Autoři: a další
Zdroj: Formal Methods in System Design; Mar1998, Vol. 12 Issue 2, p163-187, 25p
-
4
Autoři: Auger, Cédric
Thesis Advisors: Paris 11, Pouzet, Marc
Témata: 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
Dostupnost: http://www.theses.fr/2013PA112018/document
-
5
Autoři: a další
Přispěvatelé: a další
Zdroj: https://theses.hal.science/tel-00818169 ; Autre [cs.OH]. Université Paris Sud - Paris XI, 2013. Français. ⟨NNT : 2013PA112018⟩.
Témata: 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
Autoři:
Resource Type: eBook.
Categories: TECHNOLOGY & ENGINEERING / Robotics, COMPUTERS / Artificial Intelligence / General, TECHNOLOGY & ENGINEERING / Military Science
-
8
Full Text Finder
Nájsť tento článok vo Web of Science