Preuve automatisee de circuits digitaux : utilisation de LP pour prouver l'algorithme de division sans restauration et son implementation avec l'UAL CATHEDRAL-II

Les reseaux locaux industriels dans les architectures des systemes automatises

Thomesse, J.P.
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1990

Available at INIST (FR), Document Supply Service, under shelf-number : RP 11014 / INIST-CNRS - Insti...

Le durcissement des technologies de circuits integres

Auberton-Herve, A.J.
Leray, J.L.
CEA Centre d'Etudes Nucleaires de Grenoble, 38 (France). Lab. d'Electronique et de Technologie de l'Informatique (LETI)

January 1991

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RM 1008 / INIST-CNRS - I...

Automatisation de la coupe en confection

Willot, Michel
Ministere de la Recherche et de la Technologie (MRT), 75 - Paris (France)
Centre d'Etudes Techniques des Industries de l'Habillement, 59 - La Madeleine (France)

January 1986

Available at INIST (FR), Document Supply Service, under shelf-number : AR 13848 / INIST-CNRS - Insti...

Automatisation integree de la production

Lombard, Muriel
Bounab, Malek
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1993

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 12605 / INIST-CNRS - ...

Synthese de circuits digitaux synchrones par transformations de programmes fonctionnels

Kessaci, Kamel
Ecole Nationale Superieure de l'Aeronautique et de l'Espace de Toulouse, 31 (France)

January 1992

Available from INIST (FR), Document Supply Service, under shelf-number : TD 83711 / INIST-CNRS - Ins...

Vers la synthese automatique de circuits a partir de programmes SIGNAL

Wolinski, Krzysztof
Belhadj, Mohammed
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 1993

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

Exemple de programmation parallele avec les processus legers : l'algorithme des fourmis

Farhat, Jocelyne
Demeure, Isabelle
Ecole Nationale Superieure des Telecommunications, 75 - Paris (France). Dept. Informatique

January 1994

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 12548 / INIST-CNRS - ...

Sur l'Algorithmique combinatoire d'ordre finis

Bordat, Jean-Paul

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 20489 / INIST-CNRS ...

Construction modulaire d'algorithmes repartis tolerants aux panne

Saquet, Jean

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 79278 / INIST-CNRS -...

Algorithmes numeriques et parallelisation

Philippe, Bernard
Rennes-1 Univ., 35 (France). Inst. de Formation Superieure en Informatique et Communication
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (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)
Rennes-1 Univ., 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 1989

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11645 / INIST-CNRS - ...

Implantation d'algorithmes sur machines paralleles

Sanchez, Jesus
Ecole Nationale Superieure des Telecommunications (ENST), 75 - Paris (France). Dept. Signal

January 1993

Available at INIST (FR), Document Supply Service, under shelf-number : RP 12129 / INIST-CNRS - Insti...

Preuve automatique par par modulation, reecriture et induction

Bouhoula, Adel
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1992

Rapport interneSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11629 ...

Automatisation en sucrerie. Proposition d'une methode de conduite et de gestion d'un atelier de cristallisation

Chraibi, HASSANE
Ecole Centrale des Arts et Manufactures, 92 - Chatenay-Malabry (France)

January 1992

Available from INIST (FR), Document Supply Service, under shelf-number : T 82583 / INIST-CNRS - Inst...

Generation automatique d'algorithmes par systeme expert, a partir de specifications declaratives de tres haut niveau: le systeme COGITO

Ginoux, Bruno

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 79463 / INIST-CNRS -...

La combinaison de l'information incertaine et ses aspects algorithmiques

Sandri, Sandra

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 82348 / INIST-CNRS -...

Les reseaux locaux industriels dans les architectures des systemes automatises

Thomesse, J.P.
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1990

Available at INIST (FR), Document Supply Service, under shelf-number : RP 11014 / INIST-CNRS - Insti...

Le durcissement des technologies de circuits integres

Auberton-Herve, A.J.
Leray, J.L.
CEA Centre d'Etudes Nucleaires de Grenoble, 38 (France). Lab. d'Electronique et de Technologie de l'Informatique (LETI)

January 1991

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RM 1008 / INIST-CNRS - I...

Automatisation de la coupe en confection

Willot, Michel
Ministere de la Recherche et de la Technologie (MRT), 75 - Paris (France)
Centre d'Etudes Techniques des Industries de l'Habillement, 59 - La Madeleine (France)

January 1986

Available at INIST (FR), Document Supply Service, under shelf-number : AR 13848 / INIST-CNRS - Insti...

Automatisation integree de la production

Lombard, Muriel
Bounab, Malek
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1993

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 12605 / INIST-CNRS - ...

Synthese de circuits digitaux synchrones par transformations de programmes fonctionnels

Kessaci, Kamel
Ecole Nationale Superieure de l'Aeronautique et de l'Espace de Toulouse, 31 (France)

January 1992

Available from INIST (FR), Document Supply Service, under shelf-number : TD 83711 / INIST-CNRS - Ins...

Vers la synthese automatique de circuits a partir de programmes SIGNAL

Wolinski, Krzysztof
Belhadj, Mohammed
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 1993

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

Exemple de programmation parallele avec les processus legers : l'algorithme des fourmis

Farhat, Jocelyne
Demeure, Isabelle
Ecole Nationale Superieure des Telecommunications, 75 - Paris (France). Dept. Informatique

January 1994

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 12548 / INIST-CNRS - ...

Sur l'Algorithmique combinatoire d'ordre finis

Bordat, Jean-Paul

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 20489 / INIST-CNRS ...

Construction modulaire d'algorithmes repartis tolerants aux panne

Saquet, Jean

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 79278 / INIST-CNRS -...

Algorithmes numeriques et parallelisation

Philippe, Bernard
Rennes-1 Univ., 35 (France). Inst. de Formation Superieure en Informatique et Communication
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (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)
Rennes-1 Univ., 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 1989

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11645 / INIST-CNRS - ...

Implantation d'algorithmes sur machines paralleles

Sanchez, Jesus
Ecole Nationale Superieure des Telecommunications (ENST), 75 - Paris (France). Dept. Signal

January 1993

Available at INIST (FR), Document Supply Service, under shelf-number : RP 12129 / INIST-CNRS - Insti...

Preuve automatique par par modulation, reecriture et induction

Bouhoula, Adel
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1992

Rapport interneSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11629 ...

Automatisation en sucrerie. Proposition d'une methode de conduite et de gestion d'un atelier de cristallisation

Chraibi, HASSANE
Ecole Centrale des Arts et Manufactures, 92 - Chatenay-Malabry (France)

January 1992

Available from INIST (FR), Document Supply Service, under shelf-number : T 82583 / INIST-CNRS - Inst...

Generation automatique d'algorithmes par systeme expert, a partir de specifications declaratives de tres haut niveau: le systeme COGITO

Ginoux, Bruno

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 79463 / INIST-CNRS -...

La combinaison de l'information incertaine et ses aspects algorithmiques

Sandri, Sandra

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 82348 / INIST-CNRS -...

Les reseaux locaux industriels dans les architectures des systemes automatises

Thomesse, J.P.
Centre National de la Recherche Scientifique (CNRS), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-1 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Nancy-2 Univ., 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)
Institut National Polytechnique de Lorraine (INPL), 54 - Vandoeuvre-les-Nancy (France). Centre de Recherche en Informatique de Nancy (CRIN)

January 1990

Available at INIST (FR), Document Supply Service, under shelf-number : RP 11014 / INIST-CNRS - Insti...

Le durcissement des technologies de circuits integres

Auberton-Herve, A.J.
Leray, J.L.
CEA Centre d'Etudes Nucleaires de Grenoble, 38 (France). Lab. d'Electronique et de Technologie de l'Informatique (LETI)

January 1991

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RM 1008 / INIST-CNRS - I...

Automatisation de la coupe en confection

Willot, Michel
Ministere de la Recherche et de la Technologie (MRT), 75 - Paris (France)
Centre d'Etudes Techniques des Industries de l'Habillement, 59 - La Madeleine (France)

January 1986

Available at INIST (FR), Document Supply Service, under shelf-number : AR 13848 / INIST-CNRS - Insti...

Preuve automatisee de circuits digitaux : utilisation de LP pour prouver l'algorithme de division sans restauration et son implementation avec l'UAL CATHEDRAL-II

Abstract

Extracted data

Preuve automatisee de circuits digitaux : utilisation de LP pour prouver l'algorithme de division sans restauration et son implementation avec l'UAL CATHEDRAL-II

Abstract

Extracted data

Related items

Related items