• Filtres
• Structure : Identifiant HAL de la structure  ×
• Tous  ×

62 résultats  enregistrer la recherche

 Rechercher

 Recherche avancée…  Recherche simple…

 

Champ de recherche par défaut (multicritères) 

• Champ de recherche par défaut (multicritères)
• Champ de recherche par défaut (multicritères) + texte intégral des PDF
• Titres
• Sous-titre
• Titre de l'ouvrage
• Titre du volume (Série)
• Résumé
• Texte intégral indexé des documents PDF
• Mots-clés
• Tous les identifiants du document
• Identifiant HAL du dépôt
• Langue du document (texte)
• Pays (Texte)
• Ville
• À paraître (true ou false)
• Auteur (multicritères)
• Auteur : Nom complet
• Auteur : Nom de famille
• Auteur : Prénom
• Auteur : Complément de nom, deuxième prénom
• Auteur : Organisme payeur
• Auteur : IdHal (chaîne de caractères)
• Auteur : Fonction
• Auteur : idHal numérique
• Auteur : Identifiant
• Auteur : Identifiant de l'organisme payeur
• Auteur : Identifiant de la structure
• Directeur de thèse
• Éditeur
• Éditeur scientifique
• Éditeur de la série
• Revues (multicritères)
• Revue : Éditeur
• Revue : Titre abrégé
• Revue : Titre
• Revue : Identifiant interne
• Revue : Date de début de publication
• Revue : ISSN électronique
• Revue : ISSN
• Revue : Éditeur
• Revue : Couleur dans SHERPA/RoMEO
• Revue : État dans le référentiel
• Colloque (multicritères)
• Colloque : Titre
• Colloque : Organisateur
• Colloque : date de début (Année)
• Colloque : date de fin (Année)
• Conférence invitée (oui/non)
• Projets ANR (multicritères)
• Projet ANR : Acronyme
• Projet ANR : Acronyme de l'appel à projet
• Projet ANR : Nom de l'appel à projet
• Projet ANR : Référence
• Projet ANR : Nom
• Projet ANR : Identifiant interne
• Projet ANR : État dans le référentiel
• Projets européens (multicritères)
• Projet européen : Acronyme
• Projet européen : Identifiant de l'appel à projet
• Projet européen : Référence
• Projet européen : Nom
• Projet européen : Date de fin
• Projet européen : Financement
• Projet européen : Date de début
• Projet européen : État dans le référentiel
• Projet européen : Identifiant interne
• Structure (multicritères)
• Structure : Acronyme
• Structure : Nom
• Structure : Code
• Structure : Pays
• Structure : Type
• Structure : État dans le référentiel
• Structure : Identifiant HAL de la structure
• Structure/équipe de recherche : Pays
• Structure/regroupement d'équipes : Pays
• Structure/laboratoire : Pays
• Structure/regroupement de laboratoires : Pays
• Structure/institution : Pays
• Structure/regroupement d'institutions : Pays
• Date de production : année
• Date de mise en ligne : année
• Date d'écriture : année
• Date de modification du dépôt : année
• Date de dépôt : année
• Date de publication électronique : année
• Collection HAL (multicritères)
• Collection HAL : catégorie
• Collection HAL : Code
• Collection HAL : Nom
• Collection HAL : Identifiant interne
• Identifiant interne du contributeur/déposant
• Nom complet du contributeur/déposant
• Domaines
• Domaine primaire
• Domaine racine
• Sous-domaine niveau 1
• Sous-domaine niveau 2
• Sous-domaine niveau 3
• Statut du document
• Version du document
• Type de dépôt
• Type de document
• ISBN
• Numéro - référence
• Identifiant DOI
• Classification
• Audience
• Vulgarisation
• Comité de lecture - texte (oui ou non)
• Actes de colloque
• Référence interne
• Financement
• Collaborations

 

	1 2 3	Tri  Pertinence  Auteur A→Z  Auteur Z→A  Titre A→Z  Titre Z→A  Date de publication croissante  Date de publication décroissante  Date de dépôt croissante  Date de dépôt décroissante Nombre 30 résultats par page 50 résultats par page 100 résultats par page × Merci d'indiquer la raison de votre demande Annuler Envoyer la demande  Outils  Pour les 62 documents  Exporter XML-TEI BibTeX EndNote CSV PDF RTF  Export avancé...  Syndication RSS ATOM
	hal-01326520v1  Communication dans un congrès Le Xuan Sang, Loïc Lagadec, Luc Fabresse, Jannik Laval, Noury Bouraqadi. From Smalltalk to Silicon: Towards a methodology to turn Smalltalk code into FPGA IWST 14, Aug 2014, Cambridge, United Kingdom
	hal-01153568v1  Communication dans un congrès Chagun Basha Basheer Ahmed, Sébastien Pillement, Loïc Lagadec, Arnaud Tisserand. Fast Prototyping of a New Reconfigurable Architecture : Toward Tailored Space FPGA Conférence d’informatique en Parallélisme, Architecture et Système (Compas), Jun 2015, Villeneuve d'Ascq, France. pp.10
	hal-01206522v1  Communication dans un congrès Philippe Dhaussy. Approche pour la Vérification Formelle de Propriétés : Application au Développement Industriel de Logiciels Embarqués JDIM’14, Jun 2014, Mostaganem, Algeria
	hal-01206527v1  Communication dans un congrès Philippe Dhaussy. Formal Validation with Model-Checking Techniques ICNTC'2012, Dec 2012, Chlef, Algérie
	hal-01006647v1  Article dans une revue Luka Leroux, Jérôme Delatour, Philippe Dhaussy. Modélisation UML d'un régulateur de vitesse automobile Génie logiciel, C & S, 2014, 109
	hal-01009572v1  Communication dans un congrès Mohamed Ben Hammouda, Philippe Coussy, Loïc Lagadec. Design Approach to Automatically Synthesize ANSI-C Assertions during High-Level Synthesis of Hardware Accelerators ICSAS 2014 - International symposium on circuits and systems, Jun 2014, Melbourne, Australia
	hal-01156537v1  Communication dans un congrès Papa Issa Diallo, Seyed-Hosein Attarzadeh-Niaki, Francesco Robino, Ingo Sander, Joël Champeau et al.  A Formal, Model-driven Design Flow for System Simulation and Multi-core Implementation SIES 2015, University of Siegen, Jun 2015, Siegen, Germany
	hal-01156533v1  Communication dans un congrès Papa Issa Diallo, Joël Champeau, Vincent Leilde. An approach for describing concurrency and communication of heterogeneous systems BM-FA'11, Jun 2011, Birmingham, United Kingdom
	hal-01009551v1  Communication dans un congrès Mohamed Ben Hammouda, Philippe Coussy, Loïc Lagadec. A Design Approach to Automatically Generate On-Chip Monitors during High-Level Synthesis of Hardware Accelerator GLSVLSI 2014, May 2014, Houston, United States
	hal-00862488v1  Chapitre d'ouvrage Frédéric Boniol, Philippe Dhaussy, Luka Le Roux, Jean-Charles Roger. Analyse à partir du modèle Hermes. Modélisation et analyse de systèmes embarqués, Lavoisier, pp.180-206, 2013, SEE, 978-2-7462-3900-5
	hal-00749175v1  Communication dans un congrès Julien Heulot, K. Desnos, Jean-François Nezan, Maxime Pelcat, Raulet Mickaël et al.  AN EXPERIMENTAL TOOLCHAIN BASED ON HIGH-LEVEL DATAFLOW MODELS OF COMPUTATION FOR HETEROGENEOUS MPSOC DASIP, Oct 2012, Karlsruhe, Germany
	hal-00958096v1  Communication dans un congrès Nader Khammassi, Jean-Christophe Le Lann. DESIGN AND IMPLEMENTATION OF A CACHE HIERARCHY-AWARE TASK SCHEDULING FOR PARALLEL LOOPS ON MULTICORE ARCHITECTURES PDCTA 2014, Feb 2014, Sydney, Australia
	hal-00958087v1  Communication dans un congrès Nader Khammassi, Jean-Christophe Le Lann. Tackling Real-Time Signal Processing Applications on Shared Memory Multicore Architectures Using XPU ERTS 2014, Feb 2014, Toulouse, France
	hal-00989661v1  Communication dans un congrès Nader Khammassi, Jean-Christophe Le Lann. A High-Level Programming Model to Ease Pipeline Parallelism Expression On Shared Memory Multicore Architectures HPC 2014, Apr 2014, Tampa, FL, United States. pp.XX
	hal-00771758v1  Communication dans un congrès Jean-Christophe Le Lann, Joël Champeau, Papa Issa Diallo, Pierre-Laurent Lagalaye. From system-level models to heterogeneous embedded systems RITF 2012 - Recherche et Innovation pour les Transports du Futur, Nov 2012, Paris, France. pp.XX
	hal-00913335v1  Communication dans un congrès Jean-Philippe Schneider, Zoé Drey, Jean-Christophe Le Lann. Early exploring design alternatives of smart sensor software with Model of Computation implemented with actors ESUG 2013 - 21th International Smalltalk Conference, Sep 2013, Annecy, France
	hal-01006128v1  Communication dans un congrès Loïc Lagadec, Jean-Christophe Le Lann, Théotime Bollengier. A Prototyping Platform for Virtual Reconfigurable Units RECOSOC 2014, May 2014, Montpellier, France
	hal-00728364v1  Communication dans un congrès Nader Khammassi, Jean-Christophe Le Lann, Jean-Philippe Diguet, Alexandre Skrzyniarz. MHPM : Multi-Scale Hybrid Programming Model A flexible parallelization Medthodology HPCC 2012, Jun 2012, Liverpool, United Kingdom
	hal-00819668v1  Direction d'ouvrage, Proceedings, Dossier Loïc Lagadec, Sébastien Pillement, Arnaud Tisserand. Architecture des ordinateurs Loïc Lagadec and Sébastien Pillement and Arnaud Tisserand. 32, Hermes, pp.150, 2013, Technique et science informatique, 9782746245679
	hal-00782810v1  Direction d'ouvrage, Proceedings, Dossier Alain Plantec, Loïc Lagadec. International workshop on smalltalk technologies 2011 special issue (Journal of Software: Practice and Experience) Wiley, pp.91, 2014, ⟨10.1002/spe.2172⟩
	hal-00912574v1  Communication dans un congrès Papa Issa Diallo, Joël Champeau, Loïc Lagadec. A Model-Driven Approach to Enhance Tool Interoperability using the Theory of Models of Computation SLE 2013 - 6th International Conference on Software Language Engineering, Oct 2013, United States
	hal-00912857v1  Communication dans un congrès Nadia Menad, Philippe Dhaussy. A Transformation Approach for Multiform Time Requirements SEFM'13, Sep 2013, Madrid, Spain. pp.16-30
	hal-00912587v1  Communication dans un congrès Papa Issa Diallo, Joël Champeau, Loïc Lagadec. Enhance the reusability of Models and their Behavioral correctness MODELS 2013 - Workshop GEMOC, Sep 2013, Miami, United States
	hal-01559689v1  Pré-publication, Document de travail Vincent Ribaud, Vincent Leilde. Relating Student, Teacher and Third-Party Assessments in a Bachelor Capstone Project (short paper) 2017
	hal-00914367v1  Communication dans un congrès Joël Champeau, Vincent Leilde, Papa Issa Diallo. Model Federation in toolchains MODELS 2013, Sep 2013, Miami, United States
	hal-00914377v1  Communication dans un congrès Stephen Creff, Joël Champeau. PLiMoS, a DSML to Reify Semantics Relationships: An Application to Model-Based Product Lines MODELS 2013, Sep 2013, Miami, United States
	hal-01326340v1  Communication dans un congrès Obeid Fadi, Dhaussy Philippe. Validation formelle d’implantation de patrons de sécurité : Application aux SCADA AFADL 2016, Jun 2016, Besançon, France
	hal-01326333v1  Communication dans un congrès Djamila Baroudi, Philippe Dhaussy, Nait Bahloul Safia. Formalisation d’une Approche Compositionnelle de Patrons de Propriétés AFADL 2016, i, Jun 2016, Besançon, France
	hal-01118931v1  Communication dans un congrès Charbel Geryes Aoun, Iyas Alloush, Yvon Kermarrec, Oussama Kassem Zein, Joël Champeau. Domain Specific Modeling Language for Object Localization in Marine Observatories SENSORCOMM 2014, IARIA, Nov 2014, Lisbonne, Portugal
	hal-00862485v1  Chapitre d'ouvrage Jérôme Delatour, Joël Champeau. Modélisation de l'étude de cas avec MARTE Hermes. Modélisation et analyse de systèmes embarqués, Lavoisier, pp.161-178, 2013, SEE, 978-2-7462-3900-5
	1 2 3	Tri  Pertinence  Auteur A→Z  Auteur Z→A  Titre A→Z  Titre Z→A  Date de publication croissante  Date de publication décroissante  Date de dépôt croissante  Date de dépôt décroissante Nombre 30 résultats par page 50 résultats par page 100 résultats par page  Outils  Pour les 62 documents  Exporter XML-TEI BibTeX EndNote CSV PDF RTF  Export avancé...  Syndication RSS ATOM