Recherche simple :
Ressources pédagogiques
Ressources diverses
Thèses
Toutes les ressources
Thèses > Par auteur en fr
  • Nouveautés
  • Recherche avancée
  • Par auteur
  • Par date
  • Par laboratoire
  • Recherche thématique
Thèses -> Auteurs
Auteurs > L > Law Tony
Niveau supérieur
  • 1 ressource a été trouvée.
  |< << Page précédente 1 Page suivante >> >| documents par page
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
Tri :   Date de référencement Editeur Auteur Titre

Mechanized semantics for circuits : from dataflow to hardware


  • Consulter la notice
  • Date de publication : 
  • 20-02-2026  | 
  • Auteur(s) : 
  • Law Tony  | 
  • Editeur(s) : 
  • Université de Rennes  | 
  • Origine de la fiche : 
  • Université de Rennes 1
  • La synthèse de haut-niveau (HLS) est une méthode pour produire une description de matériel à partir d'une spécification haut-niveau, en général écrite en C. Elle fait ainsi intervenir deux modèles d'exécution différents : en entrée, des programmes séquentiels dirigés par leur flot de contrôle, et en sortie, des circuits parallèles dirigés par leurs flots de données. Des techniques d'ordonnancement...


  • Référencé le  : 
  • 03-06-2026
    |< << Page précédente 1 Page suivante >> >| documents par page
    © 2006-2010 ORI-OAI