Models & Optimisation and Mathematical Analysis Journal
Volume 2, Numéro 1, Pages 10-16

Formal Approach For Gpu Architecture Schedulability

Authors : Zouaneb Imane . Belarbi Mostefa . Chouarfia Abdellah .


Parallel application modelling and specifying is not an easy task to do because it treats tasks scheduling and time evolution. Graphics processing Unit is one of the main architectures that guaranties parallel execution. Event B is a skilled formal language based on sets theories. Our goal is to model and to specify the parallel execution of programs on GPU using Event B & RODIN platform. We are interesting to timing and scheduling of tasks on GPU.


Parallel application, GPU, Formal specification, Timing, Scheduling, Event B.

Validating Timing And Scheduling Mar-te‟s Profils Using Event B: Case Study Of A Gpu Architecture

Zouaneb Imane .  Belarbi Mostefa .  Chouarfia Abdellah . 
pages 30-43.

Formal Verification Of Fault Tolerant Noc-base Architecture

Manamiary Bruno Andriamiarina .  Daoud Hayat .  Belarbi Mostefa .  Méry Dominique .  Tanougast Camel . 
pages 1-7.

Tabu Search & Gpu-based Genetic Algorithm To Solve The Job Shop Scheduling Problem With Blocking

Aitzai Abdelhakim .  Dabah Adel .  Boudhar Mourad . 
pages 949-961.