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

Formal Approach For Gpu Architecture Schedulability



Authors : Zouaneb Imane . Belarbi Mostefa . Chouarfia Abdellah .

Abstract

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.

Keywords

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

Les articles similaires

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.

L’histoire De L’architecture, Le Patrimoine, Les Archives. Une Approche Methodologique Pour L’enseignement De L’architecture.

Boufenara Khjedidja .  Labii Belkacem . 
pages 15-22.

سلاطين المماليك في الهند ودورهم في العمارة الاسلامية(603-933هـ/ 1206-1526م ) ;les Sultans Mamelouks En Inde Et Leur Rôle Dans L'architecture Islamique;mamluk Sultans In India And Their Role In Islamic Architecture(603-933 Ah / 1206-1526 Ad)

جعيرن معمر . 
ص 199-213.

Formats de citation