Dominique Geniet

20 papers B 2C 2Misc 1Journal 8Unranked 7
YearRankTypeTitle / Venue / Authors
2017 J jnl
Validation of the actual behaviour of a real-time application.
Int. J. Crit. Comput. Based Syst.
Moustapha Bikienga, Annie Choquet-Geniet, Dominique Geniet
2014 J jnl
A Query Beehive Algorithm for Data Warehouse Buffer Management and Query Scheduling.
Int. J. Data Warehous. Min.
Amira Kerkad, Ladjel Bellatreche, Pascal Richard, Carlos Ordonez, Dominique Geniet
2013 — conf
Database Technology: A World of Interaction.
DEXA (1)
Amira Kerkad, Ladjel Bellatreche, Dominique Geniet
2013 — conf
La Fragmentation Horizontale Revisitée: Prise en Compte de l'Interaction de Requêtes.
EDA
Amira Kerkad, Ladjel Bellatreche, Dominique Geniet
2013 — conf
RouPar: Routinely and Mixed Query-Driven Approach for Data Partitioning.
OTM Conferences
Ladjel Bellatreche, Amira Kerkad, Sebastian Breß, Dominique Geniet
2012 — conf
Exploitation de l'Interaction des Requêtes OLAP pour la Gestion de Cache et l'Ordonnancement de Traitements.
EDA
Amira Kerkad, Ladjel Bellatreche, Dominique Geniet
2012 J jnl
Observation tools for effective schedules in a RTOS.
SIGBED Rev.
Moustapha Bikienga, Dominique Geniet, Annie Choquet-Geniet
2012 B conf
Queen-Bee: Query Interaction-Aware for Buffer Allocation and Scheduling Problem.
DaWaK
Amira Kerkad, Ladjel Bellatreche, Dominique Geniet
2012 Misc conf
Simultaneous Resolution of Buffer Allocation and Query Scheduling Problems.
CISIS
Amira Kerkad, Ladjel Bellatreche, Dominique Geniet
2008 J jnl
Quantification du taux d'invalidité d'applications temps-réel à contraintes strictes.
Tech. Sci. Informatiques
Gaëlle Largeteau, Dominique Geniet
2007 J jnl
Une approche markovienne pour l'étude de systèmes temps-réel à contraintes strictes.
Tech. Sci. Informatiques
Bernard Chauvière, Dominique Geniet
2007 J jnl
WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model.
Theor. Comput. Sci.
Dominique Geniet, Gaëlle Largeteau
2005 — conf
Discrete Geometry Applied in Hard Real-Time Systems Validation.
DGCI
Gaëlle Largeteau, Dominique Geniet, Eric Andres
2004 J jnl
Scheduling hard sporadic tasks with regular languages and generating functions.
Theor. Comput. Sci.
Dominique Geniet, Jean-Philippe Dubernard
2002 C conf
Term Validation of Distributed Hard Real-Time Applications.
CIAA
Gaëlle Largeteau, Dominique Geniet
2001 C conf
Scheduling Hard Sporadic Tasks by Means of Finite Automata and Generating Functions.
CIAA
Jean-Philippe Dubernard, Dominique Geniet
1996 J jnl
A Markovian Concurrency Measure.
RAIRO Theor. Informatics Appl.
Dominique Geniet, René Schott, Loÿs Thimonier
1996 — conf
Exhaustive Computation of the Scheduled Task Execution Sequences of a Real-Time Application.
FTRTFT
Annie Choquet, Dominique Geniet, Francis Cottet
1990 — conf
A Markovian Concurrency Measure.
CAAP
Dominique Geniet, René Schott, Loÿs Thimonier
1989 B conf
Using Generating Functions to Compute Concurrency.
FCT
Dominique Geniet, Loÿs Thimonier