Publicaciones

• Rapport

Correct and Energy-Efficient Design of a Multimedia Application on SoCs

Adolf Abdallah, Abdoulaye Gamatié, Rabie Ben Atitallah, Jean-Luc Dekeyser

This report presents the design and analysis of multimedia applications such as the JPEG encoder on multiprocessor architectures. A model-based approach is adopted by using the UML Marte specifications. An abstract clock analysis is proposed to deal with the correctness of system behaviors and to..., Ce rapport présente la conception et l'analyse d'applications multimédia telles qu'un encodeur JPEG sur une architecture multiprocesseur. Une approche basée sur des modèles est adoptée en considérant des spécifications en UML Marte. Une analyse reposant sur des horloges abstraites...

[Research Report] RR-7715, INRIA. 2011. ⟨inria-00616223⟩

• Article dans une revue

Simulation‐based approach to joint production and preventive maintenance scheduling on a failure‐prone machine

Rachid Benmansour, Hamid Allaoui, Abdelhakim Artiba, Serguei Iassinovski, Robert Pellerin

Purpose The purpose of this study is to propose and model an integrated production‐maintenance strategy for a failure‐prone machine in a just‐in‐time context. Design/methodology/approach The proposed integrated policy is defined and a simulation model is developed to investigate it. Findings The...

Journal of Quality in Maintenance Engineering, 2011, 17 (3), pp.254-267. ⟨10.1108/13552511111157371⟩. ⟨hal-04194407⟩

• Communication dans un congrès

Levels of automation and human-machine cooperation: Application to human-robot interaction

M.-P. Pacaux-Lemoine, Serge Debernard, A. Godin, B. Rajaonah, F. Anceaux, F. Vanderhaegen

The objective of the paper is to present an approach used in order to define task sharing between human operator and robot, when new functions have to be defined for human operator and new autonomous functions are available for robot. A study of complementarities between levels of automation and...

18th IFAC World Congress, Aug 2011, Milan, Italy, Italy. ⟨hal-03960477⟩

• Poster de conférence

Human Body Modelling: Simplified Model of the Thorax

Olivier Mayeur

3rd International Conference on Impact Loading of Lightweight Structures, Aug 2011, Valenciennes, France. 2011. ⟨hal-01753225⟩

• Communication dans un congrès

Integration of a SE-HCI expert in a usability lab

Stéphanie Bernonville, Christophe Kolski, Saliha Hamek, Marie-Catherine Beuscart-Zephir

Ergonomists are more and more involved in design or re-engineering projects of software to support user-centered design (UCD) approach. Thus ergonomists and the development team have to work in collaboration to achieve this objective. However, there exist difficulties to optimize the ergonomic...

5th Human Factors Engineering in Health Informatics Symposium, Aug 2011, Trondheim, Norway. ⟨hal-03408671⟩

• Communication dans un congrès

Improving the 01 Multi Dimensional Knapsack Bounds

Michel Vasquez, Said Hanafi, Yannick Vimont

In this work, we propose an hybrid approach which combines tabu search, relaxation, pseudo--cuts and decomposition for the 01 Multi Dimensional Knapsack problem. Our first investigations give promising results for both the lower--bounds and the upper--bounds for large instances with 30 constraints...

9th Metaheuristics International Conference, Jul 2011, Italy. ⟨hal-00819834⟩

• Communication dans un congrès

Several versions of the Devour Digest Tidy-up Heuristic for Unconstrained Binary Quadratic Problems

Said Hanafi, Ahmed-Riadh Rebai, Michel Vasquez

The unconstrained binary quadratic minimization problem is known to be NP hard and due to its computational challenge and application capability, it becomes more and more considered and involved by the recent research studies, including both exact and heuristic solution approaches. Our work is in...

9th Metaheuristics International Conference, Jul 2011, Italy. ⟨hal-00819831⟩

• Communication dans un congrès

Combining Resolution Search and Dynamic Programming for the 0-1 Multidimensional Knapsack Problem.

Michel Vasquez, Sylvain Boussier, Said Hanafi, Yannick Vimont, Christophe Wilbaut

We propose an exact method which combines resolution search, branch and bound, and dynamic programming algorithm for solving the 0-1 Multidimensional Knapsack Problem. Our method is a multi-level search strategy where the top level branches of the search tree are enumerated using Resolution Search...

International Federation of Operational Research Societies, Jul 2011, Australia. ⟨hal-00819826⟩

• Thèse

Démarche centrée utilisateur pour la conception de SIAD basés sur un processus d'Extraction de Connaissances à partir de Données, Application à la lutte contre les infections nosocomiales, User-centred approach for the design of decision support systems based on knowledge discovery in databases process, application to the fight against nosocomial infections.

Hela Ltifi

Ce mémoire contribue au domaine de l'interaction homme-machine (IHM), en proposant un cadre méthodologique global en vue de la conception et la réalisation de systèmes interactifs d'aide à la décision basés sur l'extraction de connaissances à partir de données (SIAD/ECD). Dans ce..., This thesis presents a contribution to the human-computer interaction (HCI) field, which consists of a proposal of a global framework towards the design and the realization of interactive Decision Support Systems based on Knowledge Discovery in Databases technology (KDD-based DSS). In this...

Informatique [cs]. Université de Valenciennes et du Hainaut-Cambresis; Ecole Nationale d'Ingénieurs de Sfax, 2011. Français. ⟨NNT : ⟩. ⟨tel-00630296⟩

• Communication dans un congrès

Towards ergonomic guidelines integration within graphical interface controls for the evaluation of the interactive system

Selem Charfi, Abdelwaheb Trabelsi, Houcine Ezzedine, Christophe Kolski

In this paper, a new approach for interactive system evaluation is presented. It is based on the ergonomic guidelines integration within Graphical User Interface (GUI) controls. These controls provide assistance to the evaluator for the interfaces design according to a set of ergonomic guidelines....

MSLT 2011, First IEEE International Conference on Mobility, Security and Logistics in Transport, May 2011, Hammamet, France. pp.76-82, ⟨10.1109/LOGISTIQUA.2011.5939406⟩. ⟨hal-03428823⟩