Publications

Affichage de 4521 à 4530 sur 5639


  • Article dans une revue

A survey of cross-layer power-reliability tradeoffs in multi and many core systems-on-chip

Ahmed Eltawil, Michael Engel, Bibiche Geuskens, Amin Khajeh Djahromi, Fadi Kurdahi, Peter Marwedel, Smail Niar, Mazen Saghir

As systems-on-chip increase in complexity, the underlying technology presents us with significant challenges due to increased power consumption as well as decreased reliability. Today, designers must consider building systems that achieve the requisite functionality and performance using components…

Microprocessors and Microsystems: Embedded Hardware Design , 2013, Embedded Hardware Design, 37 (8), pp.760-771. ⟨10.1016/j.micpro.2013.07.008⟩. ⟨hal-03469465⟩

  • Chapitre d'ouvrage

BRILLANT/BCaml - Une plateforme d’outils libres pour la méthode B

Samuel Colin, Dorian Petit

Boulanger, Jean-Louis. Mise en oeuvre de la méthode B, Hermès, pp.359-368, 2013, Informatique et systèmes d'information. Recherche, technologie, applications, 9782746238107. ⟨hal-03517848⟩

  • Article dans une revue

Benchmarking Flexible Job-Shop Scheduling and Control Systems

Damien Trentesaux, Cyrille Pach, Abdelghani Bekrar, Yves Sallez, Thierry Berger, Thérèse Bonte, Paulo Leitão, José Barbosa

Benchmarking is comparing the output of different systems for a given set of input data in order to improve the system's performance. Faced with the lack of realistic and operational benchmarks that can be used for testing optimization methods and control systems in flexible systems, this…

Control Engineering Practice, 2013, 21 (9), pp.1204-1225. ⟨10.1016/j.conengprac.2013.05.004⟩. ⟨hal-03405597⟩