skip to main content
Résultats 1 2 3 4 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Livre
Ajouter à Mon espace

An Esterel-based development environment for designing software radio applications

Rocquencourt : INRIA, 2001

Voir les exemplaires

2
Material Type:
Livre
Ajouter à Mon espace

Compiling ESTEREL into sequential code

New York : ACM, 1999

Voir les exemplaires

3
Material Type:
Livre
Ajouter à Mon espace

Synchronous programming of reactive systems : a tutorial and commented bibliography

Berlin Heidelberg : Springer, 1998

Voir les exemplaires

4
Material Type:
Livre
Ajouter à Mon espace

The ESTEREL language

BOUSSINOT, Frédéric ; SIMONE, Robert de

Le Chesnay : Institut national de recherche en informatique et en automatique, 1991

Voir les exemplaires

5
Material Type:
Livre
Ajouter à Mon espace

A task-level robot programming language and its reactive execution

COSTE-MANIERE, Eve ; RUTTEN, Eric ; Espiau, Bernard (1950-....)

Sophia-Antipolis : ENSMP, 1992

Voir les exemplaires

6
Material Type:
Livre
Ajouter à Mon espace

SYNCHRONOUS (THE) APPROACH TO REACTIVE AND REAL-TIME SYSTEMS.

ROCQUENCOURT : INRIA, 1991

Voir les exemplaires

7
Material Type:
Livre
Ajouter à Mon espace

Représentation de programmes temps-réel : génération de graphes

S.L. : s.n., 2002

Voir les exemplaires

8
Material Type:
Livre
Ajouter à Mon espace

Synchronous/reactive programming of concurrent system software

S.L. : John Wiley, 1997

Voir les exemplaires

9
Material Type:
Livre
Ajouter à Mon espace

ALFred, an ALF/ILP protocol compiler for distributed application automated design

Roquencourt FRA : INRIA, 1996

Voir les exemplaires

10
Etude et développement d'applications distribuées dans l'architecture ALF
Material Type:
Thèse
Ajouter à Mon espace

Etude et développement d'applications distribuées dans l'architecture ALF

Rocquencourt : INRIA, 1996

Voir les exemplaires  et autres localisations

11
Material Type:
Livre
Ajouter à Mon espace

Software synthesis from synchronous specifications using logic simulation techniques

New York : ACM, 2002

Voir les exemplaires

12
Material Type:
Livre
Ajouter à Mon espace

Le génie logiciel et ses applications : actes

Ivry sur Seine FRA : s.n., 1997

Voir les exemplaires

13
Material Type:
Livre
Ajouter à Mon espace

UTILISATION D'ESTEREL, LANGAGE SYNCHRONE TEMPS REEL, POUR LA PROGRAMMATION DU SEQUENCEMENT DES ACTIVITES D'UN BRAS MANIPULATEUR

COSTE-MANIERE, Eve

SOPHIA ANTIPOLIS : ENSMP, 1988

Voir les exemplaires  et autres localisations

14
Material Type:
Livre
Ajouter à Mon espace

ENVIRONNEMENTS GRAPHIQUES DE SIMULATION POUR ESTEREL.

PARIS, Jean-Pierre

SOPHIA ANTIPOLIS : ENSMP, 1988

Voir les exemplaires  et autres localisations

15
Material Type:
Livre
Ajouter à Mon espace

Selected papers presented at the 3rd ACM Conference on Embedded software (EMSOFT 2003). Loops in Esterel, ..

New York : ACM, 2005

Voir les exemplaires

16
Material Type:
Livre
Ajouter à Mon espace

LANGAGES (LES) SYNCHRONES ET LA PROGRAMMATION DES SYSTEMES REACTIFS-DOCUMENT DE SYNTHESE.

S.L. : s.n., 1992

Voir les exemplaires

17
Material Type:
Livre
Ajouter à Mon espace

INCREMENTAL DEVELOPMENT OF AN HDLC ENTITY IN ESTEREL.

Gonthier, Georges (1962-....) ; Berry, Gérard (1948-....)

NORTH-HOLLAND : ENSMP, 1991

Voir les exemplaires

18
Material Type:
Livre
Ajouter à Mon espace

A synchronous approach for control sequencing in robotics application

COSTE-MANIERE, Eve ; Espiau, Bernard (1950-....)

Sophia-Antipolis : ENSMP, 1990

Voir les exemplaires

19
Material Type:
Livre
Ajouter à Mon espace

Esterel on hardware

Berry, Gérard (1948-....)

ENSMP, 1992

Voir les exemplaires

20
Material Type:
Livre
Ajouter à Mon espace

SyncCharts-Estérel : un environnement graphique pour la spécification et la programmation d'applications réactives complexes

BOURDELLES, Michel ; DISSOUBRAY, Sylvan ; André, Charles (19..-....)

ENSMP, 1997

Voir les exemplaires

Résultats 1 2 3 4 next page

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

Affiner les résultats

Type de ressource 

  1. Livres  (61)
  2. Thèses  (19)
  3. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 1991  (17)
  2. 1991 à 1994  (16)
  3. 1995 à 1998  (23)
  4. 1999 à 2003  (16)
  5. Après 2003  (8)
  6. Plus d’options open sub menu

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré