Vers la synthese automatique de circuits a partir de programmes SIGNAL

On the unity of logic

Girard, Jean-Yves
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1991

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

Cinq algorithmes de calcul symbolique

Zimmermann, Paul
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1997

Theme 2 - Genie logiciel et calcul symbolique. Projet EurecaAvailable from INIST (FR), Document Supp...

Algorithms seminar 1992-1993

Salvy, Bruno
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1993

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

Une architecture pour l'execution d'application SIGNAL

Cholet, Thierry
Wolinski, Krzysztof
Derrien, Dominique
Guillou, Jean-Pierre
Leali, Paul
Riboult, Alain
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1993

Programme 2 - Calcul symbolique, programmation et genie logiciel. Projet EP-ATRSIGLEAvailable at INI...

Reseaux de processus reactifs

Boussinot, Frederic
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1992

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

Simulation d'un circuit electro-domestique en SIGNAL

Chauveau, Dominique
Bons, Marc
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1995

Programme 2 - Calcul symbolique, programmation et genie logiciel - Projet EP-ATRSIGLEAvailable at IN...

Transformations du graphe des programmes SIGNAL

Maffeis, Olivier
Cheron, Bruno
Le Guernic, Paul
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1992

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

Objets conditionels et objets inconnus

Faure, Christele
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1994

Programme 2 - Calcul symbolique, programmation et genie logicielAvailable at INIST (FR), Document Su...

Programmation du systeme Unix en Calm Light

Leroy, Xavier
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1993

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

Asymptotique automatique

Salvy, Bruno
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1999

Theme 2 - Genie logiciel et calcul symbolique. Projet AlgoAvailable from INIST (FR), Document Supply...

Codage d'un signal audio-numerique

Zanotti, Jean-Pierre
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1998

Theme 2 - Genie logiciel et calcul symbolique - Projet CODESAvailable from INIST (FR), Document Supp...

Algorithmique du theoreme fondamental de l'algebre

Gourdon, Xavier
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1993

Programme 2 : calcul symbolique, programmation et genie logiciel. Projet algorithmesSIGLEAvailable a...

Utilisation du langage SIGNAL pour l'etude d'algorithmes de traitement du signal electrocardiographique

Medigue, Claire
Clairambault, Jean
Kauffmann, Francois
Sorine, Michel
Curzi-Dascalova, Lilia
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1992

Programme 5 : Traitement du signal, automatique et productiqueAvailable at INIST (FR), Document Supp...

Conception des systemes a evenements discrets a l'aide des reseaux de Petri - la propriete de consistance

Chu, Chengbin
Chu, Feng
Proth, Jean-Marie
Xie, Xioalan
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Vandoeuvre-les-Nancy (France). Unite de Recherche de Lorraine

January 1994

Programme 5 : traitement du signal, automatique et productiqueSIGLEAvailable at INIST (FR), Document...

Semantique naturelle : specifications et preuves

Despeyroux, Joelle
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1998

Theme 2 - Genie logiciel et calcul symbolique. Projet CroapAvailable from INIST (FR), Document Suppl...

On the unity of logic

Girard, Jean-Yves
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1991

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

Cinq algorithmes de calcul symbolique

Zimmermann, Paul
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1997

Theme 2 - Genie logiciel et calcul symbolique. Projet EurecaAvailable from INIST (FR), Document Supp...

Algorithms seminar 1992-1993

Salvy, Bruno
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1993

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

Une architecture pour l'execution d'application SIGNAL

Cholet, Thierry
Wolinski, Krzysztof
Derrien, Dominique
Guillou, Jean-Pierre
Leali, Paul
Riboult, Alain
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1993

Programme 2 - Calcul symbolique, programmation et genie logiciel. Projet EP-ATRSIGLEAvailable at INI...

Reseaux de processus reactifs

Boussinot, Frederic
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1992

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

Simulation d'un circuit electro-domestique en SIGNAL

Chauveau, Dominique
Bons, Marc
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1995

Programme 2 - Calcul symbolique, programmation et genie logiciel - Projet EP-ATRSIGLEAvailable at IN...

Transformations du graphe des programmes SIGNAL

Maffeis, Olivier
Cheron, Bruno
Le Guernic, Paul
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1992

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

Objets conditionels et objets inconnus

Faure, Christele
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1994

Programme 2 - Calcul symbolique, programmation et genie logicielAvailable at INIST (FR), Document Su...

Programmation du systeme Unix en Calm Light

Leroy, Xavier
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1993

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

Asymptotique automatique

Salvy, Bruno
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1999

Theme 2 - Genie logiciel et calcul symbolique. Projet AlgoAvailable from INIST (FR), Document Supply...

Codage d'un signal audio-numerique

Zanotti, Jean-Pierre
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1998

Theme 2 - Genie logiciel et calcul symbolique - Projet CODESAvailable from INIST (FR), Document Supp...

Algorithmique du theoreme fondamental de l'algebre

Gourdon, Xavier
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1993

Programme 2 : calcul symbolique, programmation et genie logiciel. Projet algorithmesSIGLEAvailable a...

Utilisation du langage SIGNAL pour l'etude d'algorithmes de traitement du signal electrocardiographique

Medigue, Claire
Clairambault, Jean
Kauffmann, Francois
Sorine, Michel
Curzi-Dascalova, Lilia
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1992

Programme 5 : Traitement du signal, automatique et productiqueAvailable at INIST (FR), Document Supp...

Conception des systemes a evenements discrets a l'aide des reseaux de Petri - la propriete de consistance

Chu, Chengbin
Chu, Feng
Proth, Jean-Marie
Xie, Xioalan
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Vandoeuvre-les-Nancy (France). Unite de Recherche de Lorraine

January 1994

Programme 5 : traitement du signal, automatique et productiqueSIGLEAvailable at INIST (FR), Document...

Semantique naturelle : specifications et preuves

Despeyroux, Joelle
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1998

Theme 2 - Genie logiciel et calcul symbolique. Projet CroapAvailable from INIST (FR), Document Suppl...

On the unity of logic

Girard, Jean-Yves
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1991

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

Cinq algorithmes de calcul symbolique

Zimmermann, Paul
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1997

Theme 2 - Genie logiciel et calcul symbolique. Projet EurecaAvailable from INIST (FR), Document Supp...

Algorithms seminar 1992-1993

Salvy, Bruno
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1993

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

Vers la synthese automatique de circuits a partir de programmes SIGNAL

Abstract

Extracted data

Vers la synthese automatique de circuits a partir de programmes SIGNAL

Abstract

Extracted data

Related items

Related items