Publicaciones

• Communication dans un congrès

Virtual Platform for Embedded System Power Estimation

Santhosh Kumar Rethinagiri, Rabie Ben Atitallah, Jean-Luc Dekeyser

In this paper, we propose a virtual platform for power estimation of processor based embedded systems. Our platform consists of a combination of Functional Level Power Analysis (FLPA) for power modeling and fast system prototyping for transactional simulation. In this proposal, we aim at esti-...

DATE-2012, Rainer Leupers, Mar 2012, Dresden, Germany. ⟨hal-00673911⟩

• Poster de conférence

Software Implementation vs. Hardware Implementation: The Avionic Test System Case-Study

George Afonso, Rabie Ben Atitallah, Jean-Luc Dekeyser

This paper presents a development methodology that helps designers to map efficiently applications onto a heterogeneous CPU/FPGA system. An industrial case study is presented and aims at meeting performance and real-time requirements with the help of our architecture capabilities and avionic model...

ASPLOS, Mar 2012, London, United Kingdom. ⟨hal-00665162⟩

• Rapport

Outil d’Aide au DEVeloppement d’Applications pour la table interactive TangiSense (DEV-TangiSense)

Maxime Baas, Roman Potarusov, Christophe Kolski, Sébastien Kubicki, Yoann Lebrun, Sophie Lepreux, Emmanuel Adam, René Mandiau

[Rapport de recherche] Laboratoire d'automatique, de mécanique et d'informatique industrielles et humaines. 2012. ⟨hal-03390462⟩

• Article dans une revue

Adding user experience into the interactive service design loop : a persona-based approach

Djilali Idoughi, Ahmed Seffah, Christophe Kolski

Approaches to service design share human–computer interaction's (HCI's) commitment to developing with and for people useful, usable and accessible services. However, there has been little explicit interaction between the emerging service sciences and the interaction design communities....

Behaviour and Information Technology, 2012, 31 (3), pp.287-303. ⟨10.1080/0144929X.2011.563799⟩. ⟨hal-03285380⟩

• Chapitre d'ouvrage

Diagnostic des systèmes à modes multiples de fonctionnement

Taha Boukhobza, Frédéric Hamelin, Benoît Marx, Gilles Mourot, Anca Maria Nagy, José Ragot, Djamel Eddine Chouaib Belkhiat, Kevin Guelton, Dalel Jabri, Noureddine Manamanni, Sinuhé Martinez-Martinez, Nadhir Messai, Vincent Cocquempot, Assia Hakem, Komi Midzodzi Pekpe, Talel Zouari, Michael Defoort, Mohamed Djemai, Jérémy van Gorp

Nada Matta, Yves Vandenboomgaerde et Jean Arlat. Supervision, surveillance et sûreté de fonctionnement des grands systèmes, Hermès Science Publications, pp.115-154, 2012, Traité Information, Commande, Communication, IC2. ⟨hal-00675322⟩

• Thèse

Experimental study of flow behaviour and thermal loads in dual bell nozzles, Étude expérimentale de l'écoulement et des charges thermiques dans une tuyère dual bell

Chloé Génin

The nozzle are currently presenting the most promising optimisation possibilities to supply the increasing needs of the aerospace industry. The dual bell nozzles allow the altitude adaptation of the flow. The inflection forces the flow to a stable and symmetrical separation, gencrating an optimised..., Les tuyères sont actuellement le sous-système présentant les possibilités d'optimisation les plus prometteuses pour répondre aux besoins toujours croissants de l'industrie aérospatiale. Les tuyères dual bell permettent une adaptation à l'altitude. L'écoulement est forcé à...

Engineering Sciences [physics]. Université de Valenciennes et du Hainaut-Cambrésis, 2012. English. ⟨NNT : 2010VALE0004⟩. ⟨tel-03003250⟩

• Article dans une revue

Hybrid approaches for the two-scenario max-min knapsack problem

Saïd Hanafi, Raïd Mansi, Christophe Wilbaut, Arnaud Fréville

In this paper, we deal with the two-scenario max-min knapsack (MNK) problem. First, we consider several formulations of MNK as a mixed integer programming problem. Then, we propose a hybrid method as an alternative to solve the MNK exactly. The approach combines relaxation technique and the...

International Transactions in Operational Research, 2012, 19, pp.353 - 378. ⟨10.1111/j.1475-3995.2011.00836.x⟩. ⟨hal-03723733⟩

• Thèse

Contribution à la formalisation et à l'identification de la stabilité humaine au regard de la sécurité : application aux transports guidés, Contribution to the characterization and identification of human stability in terms of security : application to guided transport

Philippe Richard

Le travail de la thèse propose une contribution originale basée sur le concept de stabilité humaine par l’identification des risques associés dans le cadre de l’évaluation de la sécurité du système. Dans une première partie, les difficultés à prendre en compte les facteurs humains dans les études..., The work of the thesis presents an original contribution based on the concept of human stability by identifying the associated risks as part of the safety system assessment. In a first part, the difficulties to take into account human factors in safety studies are highlighted and definitions of new...

Automatique. Université de Valenciennes et du Hainaut-Cambrésis, 2012. Français. ⟨NNT : 2012VALE0002⟩. ⟨tel-03416367⟩

• Communication dans un congrès

Dynamic slack reclamation strategy for multiprocessor systems

Imen Mhedhbi, Rabie Ben Atitallah, Abderrazak Jemai

Emerging trends in applications with the requirement of considerable computational performance and decreasing time-to-market have urged the need of multiprocessor systems. With the increase in number of processor there is an increased demand to efficiently control the energy and power budget of...

Electrotechnical Conference (MELECON), 2012 16th IEEE Mediterranean, Mar 2012, Hammamet, Tunisia. pp.979 -984, ⟨10.1109/MELCON.2012.6196591⟩. ⟨hal-00699824⟩

• Article dans une revue

Iterative semi-continuous relaxation heuristics for the multiple-choice multidimensional knapsack problem

Igor Crevits, Saïd Hanafi, Raïd Mansi, Christophe Wilbaut

Recently several hybrid methods combining exact algorithms and heuristics have been proposed for solving hard combinatorial optimization problems. In this paper, we propose new iterative relaxation-based heuristics for the 0-1 Mixed Integer Programming problem (0-1 MIP), which generate a sequence...

Computers and Operations Research, 2012, 39, pp.32 - 41. ⟨10.1016/j.cor.2010.12.016⟩. ⟨hal-03723740⟩