Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

292 résultats
Image document

Experimenting a Modeling Approach for Designing Organization's Strategies in the Context of Strategic Alignment

Laure-Hélène Thevenet , Camille Salinesi , Anne Etien , Ines Gam , Menel Lassoued
Australian Workshop on Requirements Engineering (AWRE), Dec 2006, Adelaide, Australia. pp.1
Communication dans un congrès halshs-00176319v1

Extending methods to express change requirements

Anne Etien , Rebecca Deneckere , Camille Salinesi
Engineering Methods to support information Systems Evolution (EMSISE'03), 2003, Geneva, Switzerland. pp.15
Communication dans un congrès hal-00703613v1
Image document

A Graphical Framework for High Performance Computing Using An MDE Approach

Julien Taillard , Frédéric Guyomarc ' , Jean-Luc Dekeyser
16th Euromicro International Conference on Parallel, Distributed and network-based Processing, Feb 2008, Toulouse, France. pp.165 - 173, ⟨10.1109/PDP.2008.74⟩
Communication dans un congrès hal-01580911v1

Fast and Accurate Hybrid Power Estimation Methodology for Embedded Systems

Eric Senn , Rabie Ben Atitallah , Santhosh Kumar Rethinagiri , Smail Niar , Jean-Luc Dekeyser
The Conference on Design and Architectures for Signal and Image Processing, Nov 2011, Tampere, Finland
Communication dans un congrès hal-00760353v1

Open Power and Energy Optimization Platform and Estimator (Open-People) ANR Project

Eric Senn , Jérémie Guillot , Daniel Chillet , Cécile Belleudy , Smail Niar , et al.
DATE 2011 - Design, Automation & Test in Europe, Mar 2011, Grenoble, France
Communication dans un congrès hal-00650649v1
Image document

An Example of Synchronous Design of Embedded Real-Time Systems based on IMA

Abdoulaye Gamatié , Thierry Gautier , Paul Le Guernic
10th International Conference on Real-time and Embedded Computing Systems and Applications (RTCSA 2004), Aug 2004, Gothenburg, Sweden. pp.RTCSA 2004
Communication dans un congrès hal-00541790v1
Image document

Synchronous modeling of avionics applications using the SIGNAL language

Abdoulaye Gamatié , Thierry Gautier
9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003), May 2003, Toronto, Canada. pp.144-151, ⟨10.1109/RTTAS.2003.1203046⟩
Communication dans un congrès hal-00541841v1
Image document

Méthode de conception rapide d'architecture massivement parallèle sur puce : de la modélisation à l'expérimentation sur FPGA

Mouna Baklouti
Informatique [cs]. Université Lille 1 Sciences et Technologies; École Nationale d'Ingénieurs de Sfax, 2010. Français. ⟨NNT : ⟩
Thèse tel-00527894v2

Using An MDE Approach for Modeling of Interconnection networks

Imran Rafiq Quadri , Pierre Boulet , Samy Meftali , Jean-Luc Dekeyser
The International Symposium on Parallel Architectures, Algorithms and Networks Conference (ISPAN 08), 2008, Sydney, Australia
Communication dans un congrès inria-00565155v1

Multi-objective Mapping for NoC Architecture

Abou El Hassan Benyamina , Pierre Boulet
Journal of Digital Information Management, 2007, 5 (6), pp.378--384
Article dans une revue inria-00565156v1

Model Driven Engineering for System-on-Chip Design

Pierre Boulet , Cédric Dumoulin , Antoine Honoré
Jean-Philippe Babau and Joël Champeau and Sébastien Gérard. From MDD concepts to experiments and illustrations, ISTE, Hermes science and Lavoisier, 2006, 1-905209-59-0
Chapitre d'ouvrage inria-00565165v1

Model Driven Engineering for SoC Co-Design

Jean-Luc Dekeyser , Pierre Boulet , Philippe Marquet , Samy Meftali
NEWCAS'05, IEEE, 2005, Québec, Canada
Communication dans un congrès inria-00565172v1

Parallélisation d'un code 3D Magnétostatique avec le Langage de Programmation High Performance Fortran

Emmanuel Cagniot , Jean-Luc Dekeyser , Pierre Boulet , Thomas Brandes , Francis Piriou , et al.
Conférence Européenne sur les Méthodes Numériques en Éléctomagnétisme, NUMELEC'2000 (poster session), 2000, Poitiers, France. pp.184-185
Communication dans un congrès inria-00565186v1

Parallelization of a Fortran 90 Program for Electromagnetic Problems

Emmanuel Cagniot , Thomas Brandes , Jean-Luc Dekeyser , Francis Piriou , Pierre Boulet , et al.
3rd Annual HPF User Group Meeting, HUG'99, 1999, Redondo Beach, CA, United States
Communication dans un congrès inria-00565189v1

Correct and Energy-Efficient Design of SoCs: the H.264 Encoder Case Study

Adolf Abdallah , Abdoulaye Gamatié , Jean-Luc Dekeyser
International Symposium on System-on-Chip (SoC'2010), Sep 2010, Tampere, Finland
Communication dans un congrès inria-00522792v1
Image document

High level modeling of Partially Dynamically Reconfigurable FPGAs based on MDE and MARTE

Imran Rafiq Quadri , Samy Meftali , Jean-Luc Dekeyser
Reconfigurable Communication-centric SoCs (ReCoSoC'08), Jul 2008, Barcelona, Spain
Communication dans un congrès inria-00525008v1

Modélisation des systèmes réactifs MSR 2011

Abdoulaye Gamatié , Etienne Craye
Abdoulaye Gamatié and Étienne Craye. Lavoisier, 45/1-3, pp.268, 2011, Journal Européen des Systèmes Automatisés
Ouvrages hal-00849952v1
Image document

UML 2.0 Structure Diagram for Intensive Signal Processing Application Specification

Cedric Dumoulin , Pierre Boulet , Jean-Luc Dekeyser , Philippe Marquet
[Research Report] RR-4766, INRIA. 2003
Rapport inria-00071820v1
Image document

Hardware/Software Exploration for an Anti-collision Radar System

Sébastien Le Beux , Vincent Gagné , El Mostapha Aboulhamid , Philippe Marquet , Jean-Luc Dekeyser
[Research Report] RR-5820, INRIA. 2006, pp.15
Rapport inria-00070205v1

Motifs pour la métamodélisation : Relation, relation Dirigée, association

Cedric Dumoulin , Cucurru Arnaud , Antoine Honoré
2006
Autre publication scientifique hal-01214231v1

Interoperability between Design and Simulation tools using Model Transformation techniques

Cedric Dumoulin , Jean-Luc Dekeyser , Boris Kokoszko , S Pulon , Gerard Cristau
FDL'03, ECSSI, Sep 2003, frankfurt, France
Communication dans un congrès hal-01214222v1

Abstract Clock-Based Design of a JPEG Encoder

Adolf Abdallah , Abdoulaye Gamatié , Rabie Ben Atitallah , Jean-Luc Dekeyser
IEEE Embedded Systems Letters, 2012, 4 (2), pp.29 -32. ⟨10.1109/LES.2012.2189195⟩
Article dans une revue hal-00758171v1
Image document

High Level Design of adaptive distributed controller for Partial Dynamic reconfiguration in FPGA

Sana Cherif , Chiraz Trabelsi , Samy Meftali , Jean-Luc Dekeyser
Proceeding of Design and Architectures for Signal and Image Processing, DASIP 2011, Nov 2011, Tampere, Finland
Communication dans un congrès inria-00609122v1

A metamodel for the design of polychronous systems

Christian Brunette , Jean-Pierre Talpin , Abdoulaye Gamatié , Thierry Gautier
Journal of Logic and Algebraic Programming, 2009, 78 (4), pp.233-259. ⟨10.1016/j.jlap.2008.11.005⟩
Article dans une revue hal-00788580v1
Image document

FERONOC : FLEXIBLE AND EXTENSIBLE ROUTER IMPLEMENTATION FOR DIAGONAL MESH TOPOLOGY

Elhajji Majdi , Brahim Attia , Abdelkrim Zitouni , Rached Tourki , Samy Meftali , et al.
Conference on Design and Architectures for Signal and Image Processing, Nov 2011, Tampere, Finland
Communication dans un congrès inria-00609117v1

Neural Network Scalable Spiking Simulator

Boulet Pierre , Devienne Phillippe , Falez Pierre , Polito Guillermo , Shahsavari Mayhar , et al.
Logiciel hal-04410305v1
Image document

Resource Management in Grids: Overview and a discussion of a possible approach for an Agent-Based Middleware

Mehrdad Senobari , Michal Drozdowicz , Maria Ganzha , Marcin Paprzycki , Richard Olejnik , et al.
Saxe-Coburg Publications, Stirlingshire, UK. PARALLEL, DISTRIBUTED AND GRID COMPUTING FOR ENGINEERING, Saxe-Coburg Publications, Stirlingshire, UK, pp 141-164, 2009, Computational Science, Engineering & Technology Series, ISSN 1759-3158. ⟨10.4203/csets.21.8⟩
Chapitre d'ouvrage hal-00834409v1
Image document

A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics

Benoit Combemale , Laure Gonnord , Vlad Rusu
Seventh European Conference on Modelling Foundations and Applications, Jun 2011, Birmingham, United Kingdom. pp.35-51
Communication dans un congrès hal-00593425v1
Image document

Propriétés de latence, fraîcheur et réactivité dans un programme synchrone multi-périodique

Rémy Wyss , Frédéric Boniol , Julien Forget , Claire Pagetti
Approches Formelles dans l'Assistance au Développement de Logiciels, Apr 2013, Nancy, France
Communication dans un congrès hal-00830675v1
Image document

Test Harness on a Preconditioned Conjugate Gradient Solver on GPUs: An Efficiency Analysis

Antonio Wendell de Oliveira Rodrigues , Loïc Chevallier , Yvonnick Le Menach , Frédéric Guyomarch
CEFC - 2012, Nov 2012, Oita, Japan. pp.1729 - 1729, ⟨10.1109/TMAG.2013.2243830⟩
Communication dans un congrès hal-01581063v1