Publications

Affichage de 1731 à 1740 sur 5525

ART

Application Source Code Modification for Processor Architecture Lifetime Improvement

Montassir Bensaada, Ahmed Jedidi, Smail Niar, Mohamed Abid

In the optimal functioning of SoCs, two significant metrics of quality are the most important; lifetime and reliability. The context of this paper focuses on methods to increase the lifetime of a processor. Two methods are presented: relax point injection (RPI) and code structure adaptation (CSA).…

International Journal of Embedded Systems, 2019, 11 (2), pp.125 - 138. ⟨10.1504/IJES.2019.098289⟩. ⟨hal-03479566⟩

ART

Analysis and Formal Modeling of Systems Behavior Using UML/Event-B

Kenza Kraibi, Rahma Ben Ayed, Simon Collart-Dutilleul, Philippe Bon, Dorian Petit

The verification of safety properties of critical systems, such as railway signaling systems, is better achieved by formal reasoning. Event-B as a formal method, allows to get safe and reliable systems. Nevertheless, modeling with Event-B method requires some knowledge on mathematical logic and set…

Journal of Communications, 2019, 14 (10), pp.980-986. ⟨10.12720/jcm.14.10.980-986⟩. ⟨hal-02483113⟩

COMM

On the Eco-driving Trajectory for Tramway System

Simon Enjalbert, Yassine Boukal

In this work, the problem of reduction of energy consumption based on calculated speed, called eco-driving trajectory for tramway system is investigated, where some constraints on the states, control input and travel time are considered. Thanks to the operating speed range of the tramway, the non-…

14th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human-Machine Systems HMS 2019, Sep 2019, Tallinn, Estonia. pp.115-120, ⟨10.1016/j.ifacol.2019.12.121⟩. ⟨hal-03519034⟩

ART

On Challenges in Engineering IoT Software Systems

Rebeca Campos Motta, Káthia Marçal de Oliveira, Guilherme Horta Travassos

Contemporary software systems, such as the Internet of Things (IoT), Industry 4.0, and Smart Cities represent a technology changing that offer challenges for their construction since they are calling into question our traditional form of developing software. They are a promising paradigm for the…

Journal of Software Engineering Research and Development, 2019, 7, pp.5. ⟨10.5753/jserd.2019.15⟩. ⟨hal-03400380⟩

COMM

Optimization of Maintenance Planning and Routing Problems

Lamiaa Dahite, Abdeslam Kadrani, Rachid Benmansour, Rym Nesrine Guibadj, Cyril Fonlupt

This paper addresses a problem that maintenance service providers often face: determining the best routing-maintenance policy for all technicians and machines. It consists of defining for each technician the sequence of the maintenance operations to perform so that the total expected costs are…

ICVNS 2019 - 7th International Conference on Variable Neighborhood Search, Oct 2019, Rabat, Morocco. pp.95-111, ⟨10.1007/978-3-030-44932-2_7⟩. ⟨hal-03573450⟩

ART

Horizontal collaborative transport: survey of solutions and practical implementation issues

Shenle Pan, Damien Trentesaux, Eric Ballot, George Q. Huang

Horizontal collaboration has been considered as effective practice for sustainable logistics and freight transport and it has gained increased attention in recent years. This paper aims to provide a survey of the development of horizontal collaborative transport (HCT) over the past ten years, to…

International Journal of Production Research, 2019, 57 (15-16), pp.5340-5361. ⟨10.1080/00207543.2019.1574040⟩. ⟨hal-02008934⟩

ART

Data-Efficient Reinforcement Learning for Energy Optimization Under Human Fatigue Constraints of Power-Assisted Wheelchairs

Guoxi Feng, Lucian Buşoniu, Thierry-Marie Guerra, Sami Mohammad

The objective of this paper is to develop a method for assisting users to push Power-Assisted Wheelchairs (PAW) in such a way that the electrical energy consumption over a predefined distance-to-go is optimal, while at the same time bringing users to a desired fatigue level. This assistive task is…

IEEE Transactions on Industrial Electronics, 2019, 66 (12), pp.9734-9744. ⟨10.1109/TIE.2019.2903751⟩. ⟨hal-03468370⟩

ART

A rolling horizon approach for the integrated multi-quays berth allocation and crane assignment problem for bulk ports

Issam Krimi, Rachid Benmansour, Abdessamad Ait El Cadi, Laurent Deshayes, David Duvivier, Nizar Elhachemi

In this paper, an efficient rolling horizon-based heuristic is presented to solve the integrated berth allocation and crane assignment problem in bulk ports. We were guided by a real case study of a multi-terminal port, owned by our Moroccan industrial partner, under several restrictions as high…

International Journal of Industrial Engineering Computations, 2019, 10 (4), pp.577-591. ⟨10.5267/j.ijiec.2019.4.003⟩. ⟨hal-03576770⟩

ART

Machine Learning in Production Planning and Control: A Review of Empirical Literature

Juan Pablo Usuga Cadavid, Samir Lamouri, Bernard Grabot, Arnaud Fortin

Proper Production Planning and Control (PPC) is capital to have an edge over competitors, reduce costs and respect delivery dates. With regard to PPC, Machine Learning (ML) provides new opportunities to make intelligent decisions based on data. Therefore, this paper provides an initial systematic…

IFAC-PapersOnLine, 2019, 52 (13), pp.385-390. ⟨10.1016/j.ifacol.2019.11.155⟩. ⟨hal-03467620⟩

ART

Less than one millimeter under the great toe is enough to change balance ability in elite women handball players

Frédéric Viseux, Franck Barbier, Rodolfo Parreira, Antoine Lemaire, Philippe Villeneuve, Sebastien Leteneur

Team handball is a complex intermittent sport game, which requires several motor abilities and effective postural control. Objective evaluation of stabilometric variables may be interesting to assess and improve functional parameters by postural control management. The purpose of the study was to…

Journal of Human Kinetics, 2019, 69 (1), pp.69-77. ⟨10.2478/hukin-2019-0024⟩. ⟨hal-03413188⟩