... Based on the logical clocks proposed by Lamport and CCSL proposed by Aoste team in INRIA as well as pNets from Oasis team in INRIA, we develop timed-pNets to model communication behaviour for distributed systems....

... Á partir des concepts d'horloges virtuelles de Lamport, du langage CCSL introduit par l'équipe AOSTE d'INRIA, et du modéle pNets de l'équipe OASIS, nous développons notre modéle Timed-pNets pour exprimer les comportements et la communication de ces systémes distribués...

communication - core.ac.uk - PDF: hal.inria.fr

▷

Frequencies in forgetful timed automata

...

général - core.ac.uk - PDF: hal.inria.fr

▷

Analyse des mouvements 3d en temps réel pour un dispositif médical destiné au maintien de l'indépendance fonctionnelle des personnes âgées à domicile

... To quantify the equilibrium quality of a subject, webuilt a system using the Kinect sensor in order to analyze a simple clinical test validated in geriatricrehabilitation: the Timed Up and Go (TUG)....

général - core.ac.uk - PDF: tel.archives-ouvertes.fr

▷

Timed event graphs with variable resources: asymptotic behavior, representation in (min,+) algebra

... Our aim is to demonstrate that the approach developed for Timed Event Graphs over ��algebra may be extended to a broader subclass of Petri Nets....

... Notre but est de montrer que l’approche développée dans l’algèbre��pour les graphes d’événements temporisés peut s’étendre à une sous-classe plus large de réseaux de Petri...

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

▷

Amélioration des applications vidéo grâce aux métadonnées temporelles

... As a result, many systems process and distribute video together with timed metadata streams, often sourced as User-Generated Content....

général - core.ac.uk -

▷

Timed csp = closed timed automata1 AbstractWe study the expressive power of an augmented version of Timed CSP and show that it is precisely equal to that of closed timed automatatimed automata with closed invariant and enabling clock constraints....

général - core.ac.uk -

▷

Timed csp = closed timed automataWe study the expressive power of an augmented version of Timed CSP and show that it is precisely equal to that of closed timed automata|timed automata with closed invariant and enabling clock constraints....

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

▷

Timed csp = closed timed ɛ-automataWe propose some mild modifications to the syntax and semantics of Timed CSP which significantly increase expressiveness....

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

▷

A timed extension for altaricaIn this paper we present a timed extension of the AltaRica formalism....

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

▷

A timed extension for altaricaInternational audienceIn this paper we present a timed extension of the AltaRica formalism....

général - core.ac.uk - PDF: hal.inria.fr

Exemples anglais - français

timed call

communication taxée à la durée

communication - iate.europa.eu

timed token

token à temporisation

électronique et électrotechnique - iate.europa.eu

timed operation

fonctionnement cadence

industrie mécanique - techdico

[...]

timed dailies

épreuves étalonnées

timed reminders

rappels

avertissements temporisés

rappels temporisés

timed objective

objectif daté

timed signal

cloche électrique automatique

timed hairspring

spiral réglé

timed turn

virage minuté

timed relay

relais temporisé

timed approach

approche minutée

timed sequential injection

injection déclenchée séquentiellement

injection déclenchée séquentiellement [dans l'ordre d'allumage des cylindres]

timed balance-motor

balancier moteur réglé

pre-timed signal

feu à cycle fixe

timed simultaneous injection

injection déclenchée simultanément [en même temps pour tous les cylindres]

discretely-timed signal

signal temporel discret

timed breguet hairspring

spiral breguet réglé

Traductions en contexte anglais - français

The data structure can be used in symbolic model checking of concurrent timed systems modeled as timed automata, timed Petri nets or timed guarded commands.

Cette structure de données peut servir à la vérification de modèles symboliques de systèmes temporisés concurrents modélisés sous forme d'automates temporisés, des réseaux de Pétri temporisés ou des unités de commande temporisées avec protection.

informatique et traitement des données - wipo.int

The tiled timed media data comprises timed samples and each timed sample comprises a plurality of spatial subsamples.

Les données multimédias tuilées synchronisées comprennent des échantillons tuilés et chaque échantillon tuilé comprend une pluralité de sous-échantillons spatiaux.

électronique et électrotechnique - wipo.int

The invention relates to encapsulating partitioned timed media data in a server, the partitioned timed media data comprising timed samples, each timed sample comprising a plurality of subsamples.

L'invention concerne l'encapsulation de données multimédias partitionnées synchronisées dans un serveur, les données multimédias partitionnées synchronisées comprenant des échantillons synchronisés comprenant chacun une pluralité de sous-échantillons.

électronique et électrotechnique - wipo.int

timed simultaneous injection

injection déclenchée simultanément [en même temps pour tous les cylindres]

transport terrestre - iate.europa.eu

The timed media includes streaming audio, streaming video, timed HTML, animations such as vector-based graphics, slide shows, other timed media, and combinations thereof.

Un support minuté peut comporter de l'audio en continu, de la vidéo en continu, des HTML minutés, des animations telles que des graphiques vectoriels, des suites de diapositives et autres programmes minutés ou leurs combinaisons.

informatique et traitement des données - wipo.int

A memory (110) contains timed affiliation profiles (111) for a plurality of timed affiliations (150, 160).

Une mémoire (110) renferme des profils d'affiliation programmée (111) pour une pluralité d'affiliations programmées (150, 160).

électronique et électrotechnique - wipo.int

timed recall on outgoing calls

renvoi sur pupitre des appels sortants après temporisation

communication - iate.europa.eu

timed recall on outgoing calls

transfert sur PO des appels en départ après temporisation

communication - iate.europa.eu

timed recall on outgoing calls

transfert sur poste d'opératrice des appels en départ après temporisation

communication - iate.europa.eu

Injection: continuous/simultaneously timed/sequentially timed (1)

Injection: continue / simultanée / séquentielle (1)

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

The invention relates to encapsulating tiled timed media data in a server and providing a timed media data bit-stream from encapsulated tiled timed media in a client device.

L'invention concerne l'encapsulation de données multimédias tuilées synchronisées dans un serveur, et la fourniture d'un débit binaire de données multimédias synchronisées à partir des données multimédias tuilées synchronisées dans un dispositif client.

électronique et électrotechnique - wipo.int

Each timed text track in the timed text database specifies text to display at particular times in a video.

Chaque piste d'informations textuelles de la base de données de sous-titres textuels spécifie un texte à afficher à des moments particuliers dans une vidéo.

informatique et traitement des données - wipo.int

After the duration timed by the secondary timer, a second duration is timed by a high-resolution primary timer.

Après la durée chronométrée par le chronométreur secondaire, une seconde durée est chronométrée par un chronométreur primaire basse résolution.

électronique et électrotechnique - wipo.int

In response to the request, a timed text track for the web video is retrieved from a timed text database.

En réponse à la requête, une piste d'informations textuelles pour la vidéo Web est extraite à partir d'une base de données de sous-titres textuels.

informatique et traitement des données - wipo.int

The invention describes self-timed implementations of single-stage and two-stage self-timed triggers with single-rail data input.

La présente invention concerne des mises en œuvre auto-temporisées de déclencheurs auto-temporisés à un étage et à deux étages avec une entrée de données à rail simple.

électronique et électrotechnique - wipo.int

1 milliard de traductions classées par domaine d'activité en 28 langues

Nouveau : Traduire du texte avec ChatDico – 172 langues

Requêtes fréquentes anglais :1-200, -1k, -2k, -3k, -4k, -5k, -7k, -10k, -20k, -40k, -100k, -200k, -500k, -1000k,

Requêtes fréquentes français :1-200, -1k, -2k, -3k, -4k, -5k, -7k, -10k, -20k, -40k, -100k, -200k, -500k, -1000k,

Traduction Translation Traducción Übersetzung Tradução Traduzione Traducere Vertaling Tłumaczenie Mετάφραση Oversættelse Översättning Käännös Aistriúchán Traduzzjoni Prevajanje Vertimas Tõlge Preklad Fordítás Tulkojumi Превод Překlad Prijevod 翻訳 번역 翻译 Перевод