Nouveau : Traduire du texte avec ChatDico – 172 langues

Dictionnaire anglais - français

real-time programming language

langage de programmation en temps réel

informatique et traitement des données - iate.europa.eu

Forth is a real-time programming language originally developed to control telescopes.

Forth est un langage de programmation en temps réel développé à l'origine pour contrôler les télescopes.

général - CCMatrix (Wikipedia + CommonCrawl)

▷

A real-time programming language as a means of expressing specifications: In the paper the possibility of using a real-time programming language to formulate hardware and software specifications is elaborated....

informatique et traitement des données - core.ac.uk - PDF: citeseerx.ist.psu.edu

real-time programming language

RTPL

informatique et traitement des données - iate.europa.eu

▷

Real-time systems refinement . . .... We also give an interleaving semantic for a real-time programming language that support the verification of a real-time program in our refinement framework

général - core.ac.uk - PDF: citeseerx.ist.psu.edu

Implementation of afr controller in an event-driven real-time language... The controller is then implemented using the event-driven real-time programming language xGiotto on the OSEK platform provided by WindRiver....

PDF: citeseerx.ist.psu.edu

Comparative semantics for a real-time programming language with integrationAn operational and a denotational semantic model are presented for a real-time programming language incorporating the concept of integration....

PDF: citeseerx.ist.psu.edu

Towards provably correct code generation for a hard real-time programming languageThis paper sketches a hard real-time programming language featuring operators for expressing timeliness requirements in an abstract, implementation-independent way and presents parts of the design and verification...

PDF: citeseerx.ist.psu.edu