Introducing symbolic problem solving techniques in the dependence testing phases of a vectorizer

Quantification vectorielle : codes de permutation et quelques techniques de recherche rapide

Lu, Luzheng
Ecole Nationale Superieure des Telecommunications (ENST), 75 - Paris (France)

January 1986

SIGLECNRS T 58997 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Etude et realisation d'un outil de simulation et de test pour les logiciels temps reel

Le Louarn, Catherine
CEA Centre d'Etudes Nucleaires de Saclay, 91 - Gif-sur-Yvette (France). Service d'Instrumentation pour la Recherche

January 1986

SIGLECNRS RP 148 (681) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Application des techniques de simulation aux systemes de production : le logiciel SIMAF

Ataya, Ali

January 1988

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Dependence Testing and Vectorization of Multimedia Agents

John G. Allen
Richard Y. D. Xu

September 2016

Abstract- Wepresent a dependence testing algorithm that considers the short width of modern SIMD reg...

Practical techniques to augment dependence analysis in the presence of symbolic terms

Goff, Gina Gay

January 1997

Dependence analysis is an indispensable tool in the automatic vectorization and parallelization of s...

Vectorisation, analyse et optimisation d'un code bidimensionnel eulerien

Adamczewski, Martine

January 1986

SIGLECNRS T 59423 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Practical Techniques to Augment Dependence Analysis in the Presence of Symbolic Terms

Goff, Gina

May 1997

This work was also published as a Rice University thesis/dissertation: http://hdl.handle.net/1911/19...

Symbolic test selection based on approximate analysis

Jeannet, Bertrand
Jeron, Thierry
Zinovieva, Elena
Rusu, Vlad
Institut National de Recherche en Informatique et en Automatique (INRIA), 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)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2004

Systemes communicants - Projet VertecsSIGLEAvailable from INIST (FR), Document Supply Service, under...

Symbolic Methods in Testing (Dagstuhl Seminar 13021)

Veanes, Margus
Wolff, Burkhart

January 2013

This report documents the program and the outcomes of Dagstuhl Seminar 13021 "Symbolic Methods in Te...

A System to Generate Test Data and Symbolically Programs ; CU-CS-060-75

Clarke, Lori

February 1975

This paper describes a system that is currently being implemented to generate test data for programs...

On-The-Fly Solving for Symbolic Parity Games using the mCRL2 toolset

Laveaux, Maurice

January 2022

This artifact contains a set of mCRL2 specifications and formulas that are used to compare various o...

Vectorisation d'algorithmes fondamentaux en optimisation combinatoire

Ribeiro, Celso
Centre National d'Etudes des Telecommunications, Paris A, Division Telematique, Informatique et Mathematiques Appliquees Issy-les-Moulineaux (FRANCE)

January 1983

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Vectorisation de la methode des elements finis sur un calculateur de type SIMD/SPMD

Schubert, Eric Karl

January 1987

SIGLECNRS TD Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Algorithmique parallele et vectorielle en programmation dynamique pour des problemes de commande optimale

Dantas De Melo, Jorge

January 1990

SIGLEINIST T 74526 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Etude des proprietes des systemes de reecriture conditionnelle. Mise en oeuvre de deux algorithmes de test de confluence sur les termes clos

Bousdira, Wadoud

January 1990

SIGLEINIST T 74954 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Quantification vectorielle : codes de permutation et quelques techniques de recherche rapide

Lu, Luzheng
Ecole Nationale Superieure des Telecommunications (ENST), 75 - Paris (France)

January 1986

SIGLECNRS T 58997 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Etude et realisation d'un outil de simulation et de test pour les logiciels temps reel

Le Louarn, Catherine
CEA Centre d'Etudes Nucleaires de Saclay, 91 - Gif-sur-Yvette (France). Service d'Instrumentation pour la Recherche

January 1986

SIGLECNRS RP 148 (681) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Application des techniques de simulation aux systemes de production : le logiciel SIMAF

Ataya, Ali

January 1988

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Dependence Testing and Vectorization of Multimedia Agents

John G. Allen
Richard Y. D. Xu

September 2016

Abstract- Wepresent a dependence testing algorithm that considers the short width of modern SIMD reg...

Practical techniques to augment dependence analysis in the presence of symbolic terms

Goff, Gina Gay

January 1997

Dependence analysis is an indispensable tool in the automatic vectorization and parallelization of s...

Vectorisation, analyse et optimisation d'un code bidimensionnel eulerien

Adamczewski, Martine

January 1986

SIGLECNRS T 59423 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Practical Techniques to Augment Dependence Analysis in the Presence of Symbolic Terms

Goff, Gina

May 1997

This work was also published as a Rice University thesis/dissertation: http://hdl.handle.net/1911/19...

Symbolic test selection based on approximate analysis

Jeannet, Bertrand
Jeron, Thierry
Zinovieva, Elena
Rusu, Vlad
Institut National de Recherche en Informatique et en Automatique (INRIA), 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)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2004

Systemes communicants - Projet VertecsSIGLEAvailable from INIST (FR), Document Supply Service, under...

Symbolic Methods in Testing (Dagstuhl Seminar 13021)

Veanes, Margus
Wolff, Burkhart

January 2013

This report documents the program and the outcomes of Dagstuhl Seminar 13021 "Symbolic Methods in Te...

A System to Generate Test Data and Symbolically Programs ; CU-CS-060-75

Clarke, Lori

February 1975

This paper describes a system that is currently being implemented to generate test data for programs...

On-The-Fly Solving for Symbolic Parity Games using the mCRL2 toolset

Laveaux, Maurice

January 2022

This artifact contains a set of mCRL2 specifications and formulas that are used to compare various o...

Vectorisation d'algorithmes fondamentaux en optimisation combinatoire

Ribeiro, Celso
Centre National d'Etudes des Telecommunications, Paris A, Division Telematique, Informatique et Mathematiques Appliquees Issy-les-Moulineaux (FRANCE)

January 1983

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Vectorisation de la methode des elements finis sur un calculateur de type SIMD/SPMD

Schubert, Eric Karl

January 1987

SIGLECNRS TD Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Algorithmique parallele et vectorielle en programmation dynamique pour des problemes de commande optimale

Dantas De Melo, Jorge

January 1990

SIGLEINIST T 74526 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Etude des proprietes des systemes de reecriture conditionnelle. Mise en oeuvre de deux algorithmes de test de confluence sur les termes clos

Bousdira, Wadoud

January 1990

SIGLEINIST T 74954 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Quantification vectorielle : codes de permutation et quelques techniques de recherche rapide

Lu, Luzheng
Ecole Nationale Superieure des Telecommunications (ENST), 75 - Paris (France)

January 1986

SIGLECNRS T 58997 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Etude et realisation d'un outil de simulation et de test pour les logiciels temps reel

Le Louarn, Catherine
CEA Centre d'Etudes Nucleaires de Saclay, 91 - Gif-sur-Yvette (France). Service d'Instrumentation pour la Recherche

January 1986

SIGLECNRS RP 148 (681) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Application des techniques de simulation aux systemes de production : le logiciel SIMAF

Ataya, Ali

January 1988

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Introducing symbolic problem solving techniques in the dependence testing phases of a vectorizer

Abstract

Extracted data

Introducing symbolic problem solving techniques in the dependence testing phases of a vectorizer

Abstract

Extracted data

Related items

Related items