• Aucun résultat trouvé

[PDF] Top 20 Synchronous programming of reactive systems: an introduction to ESTEREL

Has 10000 "Synchronous programming of reactive systems: an introduction to ESTEREL" found on our website. Below are the top 20 most common "Synchronous programming of reactive systems: an introduction to ESTEREL".

Synchronous programming of reactive systems: an introduction to ESTEREL

Synchronous programming of reactive systems: an introduction to ESTEREL

... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ... Voir le document complet

27

Reactive Programming of Simulations in Physics

Reactive Programming of Simulations in Physics

... notion of instantaneously broadcast event exists in the so-called synchronous reactive formalisms, which thus appear to be good candidates to implement physical ...components of ... Voir le document complet

22

Safe Reactive Programming: The FunLoft Proposal

Safe Reactive Programming: The FunLoft Proposal

... with an heavy load of communication between ...connected to synchronous languages ...units of which are called ...signals to which data can be ...In Esterel [9], one ... Voir le document complet

13

Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems

Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems

... as reactive systems: their inputs are physiological signals coming from input synapses, and their outputs rep- resent the signals emitted in ...class of systems fits well with the ... Voir le document complet

16

Evaluation of Synchronous and Asynchronous Reactive Distributed Congestion Control Algorithms for the ITS G5 Vehicular Systems

Evaluation of Synchronous and Asynchronous Reactive Distributed Congestion Control Algorithms for the ITS G5 Vehicular Systems

... Evaluation of Synchronous and Asynchronous Reactive Distributed Congestion Control Algorithms for the ITS G5 Vehicular Systems 5 ...1. Introduction Wireless communication is expected ... Voir le document complet

37

An introduction to Mandelbrot cascades

An introduction to Mandelbrot cascades

... propose an elementary and self-contained introduc- tion to canonical Mandelbrot random ...condition of non-degeneracy is proved. Then, we discuss the problem of the existence of moments ... Voir le document complet

37

Application of Partial-Order Methods to Reactive Systems with Event Memorization

Application of Partial-Order Methods to Reactive Systems with Event Memorization

... structure of the automaton and the fact that both previous cases were easy, we were not able to find an expression for the average ...events of which it is independent. One can imagine ... Voir le document complet

35

An introduction to short signals

An introduction to short signals

... L’accès à ce site Web et l’utilisation de son contenu sont assujettis aux conditions présentées dans le site LISEZ CES CONDITIONS ATTENTIVEMENT AVANT D’UTILISER CE SITE WEB. NRC Publicat[r] ... Voir le document complet

12

Dynamic evaluation of roofing systems using numerical models - an introduction

Dynamic evaluation of roofing systems using numerical models - an introduction

... Archives des publications du CNRC This publication could be one of several versions: author’s original, accepted manuscript or the publisher’s version. / La version de cette publication peut être l’une des ... Voir le document complet

9

en
                                                                    fr

en fr An introduction to E-LOTOS Introduction à E-LOTOS

... 1. Introduction Le langage formel ISO LOTOS [BOL 87, ISO 89] est composé d’une algèbre de processus (basée sur CCS [MIL 89] et CSP [HOA 85]) pour décrire les com- portements, et d’un langage algébrique (ACT ONE ... Voir le document complet

45

An introduction to the renewal of taxonomy

An introduction to the renewal of taxonomy

... witness to the multiple relationships established between systematists and social scientists over the last ...attempts to weave new types of relationships between social scientists and systematists, ... Voir le document complet

17

Realizable and Unrealizable Specifications of Reactive Systems

Realizable and Unrealizable Specifications of Reactive Systems

... way to express liveness properties is to add to the transition system a restriction on its infinite ...using an automaton on infinite words—such as a B¨ uchi automaton [B¨ uc62]—or by using a ... Voir le document complet

17

Verification of Embedded Reactive Fiffo Systems

Verification of Embedded Reactive Fiffo Systems

... Verification of Embedded Reactive Fiffo Systems Frédéric Herbreteau, Franck Cassez, Alain Finkel, Roux Olivier, Grégoire Sutre.. To cite this version: Frédéric Herbreteau, Franck Cassez,[r] ... Voir le document complet

16

The project 'Introduction to Complex Systems'

The project 'Introduction to Complex Systems'

... day of the week is scheduled as follow. A tutor supervises the group of students for an 1h30 in the ...group of seven or eight ...work to be performed by the group and by each student ... Voir le document complet

4

XEVE : an ESTEREL Verification Environment : (Version v1_3)

XEVE : an ESTEREL Verification Environment : (Version v1_3)

... 101 - 54602 Villers lès Nancy Cedex France Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu - 35042 Rennes Cedex France Unité de recherche INRIA Rhône-Alpes : 65[r] ... Voir le document complet

27

A Reactive Extension of the OpenMusic Visual Programming Language

A Reactive Extension of the OpenMusic Visual Programming Language

... implementation of reactive features, our project shall also be compared to previous works in the field of functional reactive programming (FRP), a declarative programming ... Voir le document complet

21

An object-oriented programming of an explicit dynamics code: application to impact simulation

An object-oriented programming of an explicit dynamics code: application to impact simulation

... Conclusions An object-oriented simulator was developed for the analysis of large inelastic deformations and impact ...examined to demonstrate the accuracy of the developed ...benefits ... Voir le document complet

10

The ESTEREL language

The ESTEREL language

... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ... Voir le document complet

29

The Renaming Problem in Shared Memory Systems: an Introduction

The Renaming Problem in Shared Memory Systems: an Introduction

... case of three processes that start with a specic input conguration, the executions are represented by a complex that is a subdivided ...complex of an algorithm for three processes, P , Q and R, ... Voir le document complet

30

Lazy Parallel Synchronous Composition of In finite Transition Systems

Lazy Parallel Synchronous Composition of In finite Transition Systems

... formalism of timed automata [8] has been designed to allow the specification and verification of real-time ...concept of finite ω-automata by establishing time constraints. One of the ... Voir le document complet

17

Show all 10000 documents...