Principe de compilation d'un langage de traitement de signal

Principe de compilation d'un langage de traitement de signal PDF Author: Julien Soula
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0

Get Book Here

Book Description
Les applications de traitements de signal (TS) qu'on trouve notamment dans les chaines sonar, ont des caractéristiques algorithmiques bien particulières. Afin de répondre aux besoins de spécification et de standardisation de celles-ci, Thomson Marconi Sonar (TMS) a développé un langage orienté TS : ARRAY-OL (Array Oriented Language). Il permet de spécifier l'algorithme de calcul et les dépendances de données sans se soucier des problèmes de placement et d'ordonnancement. Nos travaux se situent au niveau de la compilation d'applications specifiées en ARRAY-OL visant autant les stations de travail classiques que des machines dédiées à ARRAY-OL. La préexistence d'un support d'exécution ARRAY-OL nous a conduit à préférer une méthode de compilation par transformation des applications au niveau du langage plutôt que des stratégies d'implémentation directes. Pour mettre en place ces transformations, nous avons utilisé un formalisme approprié à la description du langage ARRAY-OL les opérateurs de distribution de tableaux (ODT). Ils nous ont permis de décrire formellement les transformations qui consiste à produire une ou plusieurs hiérarchies, à partir d'une séquence de tâches et de contrôler le grain de celles-ci. (...)Enfin l'environnement graphique GASPARD rend accessible ces outils à tous, et notamment aux développeurs d'applications TS, en permettant la création, la transformation et la compilation multi-plateformes d'applications ARRAY-OL de manière totalement graphique et interactive.

Principe de compilation d'un langage de traitement de signal

Principe de compilation d'un langage de traitement de signal PDF Author: Julien Soula
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0

Get Book Here

Book Description
Les applications de traitements de signal (TS) qu'on trouve notamment dans les chaines sonar, ont des caractéristiques algorithmiques bien particulières. Afin de répondre aux besoins de spécification et de standardisation de celles-ci, Thomson Marconi Sonar (TMS) a développé un langage orienté TS : ARRAY-OL (Array Oriented Language). Il permet de spécifier l'algorithme de calcul et les dépendances de données sans se soucier des problèmes de placement et d'ordonnancement. Nos travaux se situent au niveau de la compilation d'applications specifiées en ARRAY-OL visant autant les stations de travail classiques que des machines dédiées à ARRAY-OL. La préexistence d'un support d'exécution ARRAY-OL nous a conduit à préférer une méthode de compilation par transformation des applications au niveau du langage plutôt que des stratégies d'implémentation directes. Pour mettre en place ces transformations, nous avons utilisé un formalisme approprié à la description du langage ARRAY-OL les opérateurs de distribution de tableaux (ODT). Ils nous ont permis de décrire formellement les transformations qui consiste à produire une ou plusieurs hiérarchies, à partir d'une séquence de tâches et de contrôler le grain de celles-ci. (...)Enfin l'environnement graphique GASPARD rend accessible ces outils à tous, et notamment aux développeurs d'applications TS, en permettant la création, la transformation et la compilation multi-plateformes d'applications ARRAY-OL de manière totalement graphique et interactive.

Embedded Computer Systems: Architectures, Modeling, and Simulation

Embedded Computer Systems: Architectures, Modeling, and Simulation PDF Author: Mladen Berekovic
Publisher: Springer
ISBN: 3540705503
Category : Computers
Languages : en
Pages : 314

Get Book Here

Book Description
This book constitutes the refereed proceedings of the 8th International Workshop on Systems, Architectures, Modeling, and Simulation, SAMOS 2008, held in Samos, Greece, in July 2008. The 24 revised full papers presented together with a contamplative keynote and additional papers of two special workshop sessions were carefully reviewed and selected from 62 submissions. The papers are organized in topical sections on architecture, new frontiers, SoC, application specific contributions, system level design for heterogeneous systems, programming multicores, sensors and sensor networks; and systems modeling and design.

Méthodologie de compilation d'algorithmes de traitement du signal pour les processeurs en virgule fixe sous contrainte de précision

Méthodologie de compilation d'algorithmes de traitement du signal pour les processeurs en virgule fixe sous contrainte de précision PDF Author: Daniel Menard
Publisher:
ISBN:
Category :
Languages : fr
Pages : 220

Get Book Here

Book Description
Le cadre de la thèse est celui des méthodologies d’implantation d'algorithmes de traitement numérique du signal. Une nouvelle méthodologie de compilation d'algorithmes spécifiés en virgule flottante au sein d'architectures programmables (DSP) en virgule fixe sous contrainte de précision, a été proposée. Tout d’abord, la structure de la méthodologie a été définie à partir de l'analyse de l'influence de l'architecture sur la précision des calculs et de l'étude de l'interaction entre les différentes phases de compilation et le processus de codage des données. Ensuite, une méthode d'évaluation de la précision au sein d'un système en virgule fixe à travers la détermination de l’expression analytique du rapport signal à bruit de quantification est présentée. Finalement, les différentes phases de conversion en virgule fixe sont détaillées et illustrées par des expérimentations sur des algorithmes présents au sein des systèmes de radio-communications de troisième génération.

GENERATION AUTOMATIQUE DE PROGRAMMES PAR REGLES ET COMPILATION DE BASE DE REGLES

GENERATION AUTOMATIQUE DE PROGRAMMES PAR REGLES ET COMPILATION DE BASE DE REGLES PDF Author: JEAN YVES.. LUCAS
Publisher:
ISBN:
Category :
Languages : fr
Pages :

Get Book Here

Book Description
LE DEVELOPPEMENT ET L'UTILISATION D'UN SYSTEME EXPERT EN TRAITEMENT DU SIGNAL REQUIERENT DES OUTILS D'UNE GRANDE EFFICACITE. UN MOYEN D'AUGMENTER CELLE-CI EST LA COMPILATION DE LA BASE DE REGLES, C'EST-A-DIRE SA TRADUCTION EN LANGAGE BINAIRE. LA COMPILATION SE FAIT REGLE A REGLE, CHACUNE ETANT TRADUITE SOUS LA FORME D'UNE PROCEDURE. L'EVALUATION DE LA PARTIE PREMISSE D'UNE REGLE AVEC VARIABLES EST UN PROBLEME COMBINATOIRE. IL EST DONC NECESSAIRE DE DISPOSER D'UN SYSTEME QUI GENERE DES PROGRAMMES QUI RESOLVENT DES PROBLEMES COMBINATOIRES. DES METHODES DE PROPAGATION DE CONTRAINTES (CONSISTANCE DE NUDS ET CONSISTANCE D'ARCS) SONT MISES EN UVRE AFIN D'AMELIORER L'EFFICACITE DE L'ALGORITHME DE SEMI-UNIFICATION

Digital Watermarking for Digital Media

Digital Watermarking for Digital Media PDF Author: Juergen Seitz
Publisher: IGI Global
ISBN: 1591405203
Category : Computers
Languages : en
Pages : 262

Get Book Here

Book Description
"The book discusses new aspects of digital watermarking in a worldwide context"--Provided by publisher.

Word and Language

Word and Language PDF Author: Roman Jakobson
Publisher: Walter de Gruyter
ISBN: 3110873265
Category : Language Arts & Disciplines
Languages : en
Pages : 768

Get Book Here

Book Description


CENELEC 50128 and IEC 62279 Standards

CENELEC 50128 and IEC 62279 Standards PDF Author: Jean-Louis Boulanger
Publisher: John Wiley & Sons
ISBN: 1119122481
Category : Technology & Engineering
Languages : en
Pages : 376

Get Book Here

Book Description
CENELEC EN 50128 and IEC 62279 standards are applicable to the performance of software in the railway sector. The 2011 version of the 50128 standard firms up the techniques and methods to be implemented. This is a guide to its implementation, in order to understand the foundations of the standard and how it impacts on the activities to be undertaken, helping towards better a preparation for the independent evaluation phase, which is mandatory.

United Nations Yearbook of the International Law Commission

United Nations Yearbook of the International Law Commission PDF Author: United Nations. International Law Commission
Publisher:
ISBN:
Category : International law
Languages : en
Pages :

Get Book Here

Book Description


The Definition of Standard ML

The Definition of Standard ML PDF Author: Robin Milner
Publisher: MIT Press
ISBN: 9780262631815
Category : Computers
Languages : en
Pages : 132

Get Book Here

Book Description
Software -- Programming Languages.

Government reports annual index

Government reports annual index PDF Author:
Publisher:
ISBN:
Category :
Languages : en
Pages : 1668

Get Book Here

Book Description