Publications

Affichage de 4521 à 4530 sur 5639


  • Ouvrages

Trends in Practical Applications of Agents and Multiagent Systems

Philippe Mathieu, Emmanuel Adam

Springer, pp.210, 2013. ⟨hal-00826623⟩

  • Communication dans un congrès

Optimization of matching and scheduling on heterogeneous CPU/FPGA architectures

Omar Souissi, Rabie Ben Atitallah, David Duvivier, Abdelhakim Artiba

The continuous improvements in several application domains such as telecommunications, aerospace or multimedia lead to additional design constraints on power budget and architecture scalability. The heterogeneous CPU/FPGA (Central Processing Unit/Field-Programmable Gate Array) architecture is one…

7th IFAC Conference on Manufacturing Modelling, Management, and Control, Jun 2013, Saint-Pétersbourg, Russia. pp.1678-1683, ⟨10.3182/20130619-3-RU-3018.00196⟩. ⟨hal-03472671⟩

  • Communication dans un congrès

A Web questionnaire generating tool to aid for interactive systems quality subjective assessment

Ahlem Assila, Houcine Ezzedine, Mohamed Salim Bouhlel

This paper is related to the Human-Computer Interaction (HCI) field and more specifically to the interactive system quality evaluation using a subjective method known by the questionnaire. Efforts and research have been performed to enhance subjective usability evaluation of Human — Computer…

CoDIT’2013, IEEE International Conference on Control, Decision and Information Technologies, May 2013, Hammamet, Tunisia. ⟨10.1109/CoDIT.2013.6689648⟩. ⟨hal-03577042⟩

  • 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⟩