Dominique Geniet

According to our database1, Dominique Geniet authored at least 20 papers between 1989 and 2017.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Validation of the actual behaviour of a real-time application.
IJCCBS, 2017

2014
A Query Beehive Algorithm for Data Warehouse Buffer Management and Query Scheduling.
IJDWM, 2014

2013
RouPar: Routinely and Mixed Query-Driven Approach for Data Partitioning.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2013 Conferences, 2013

La Fragmentation Horizontale Revisitée: Prise en Compte de l'Interaction de Requêtes.
Proceedings of the Actes des 9èmes journées francophones sur les Entrepôts de Données et l'Analyse en ligne, 2013

Database Technology: A World of Interaction.
Proceedings of the Database and Expert Systems Applications, 2013

2012
Observation tools for effective schedules in a RTOS.
SIGBED Review, 2012

Exploitation de l'Interaction des Requêtes OLAP pour la Gestion de Cache et l'Ordonnancement de Traitements.
Proceedings of the Actes des 8èmes journées francophones sur les Entrepôts de Données et l'Analyse en ligne, 2012

Queen-Bee: Query Interaction-Aware for Buffer Allocation and Scheduling Problem.
Proceedings of the Data Warehousing and Knowledge Discovery, 2012

Simultaneous Resolution of Buffer Allocation and Query Scheduling Problems.
Proceedings of the Sixth International Conference on Complex, 2012

2008
Quantification du taux d'invalidité d'applications temps-réel à contraintes strictes.
Technique et Science Informatiques, 2008

2007
Une approche markovienne pour l'étude de systèmes temps-réel à contraintes strictes.
Technique et Science Informatiques, 2007

WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model.
Theor. Comput. Sci., 2007

2005
Discrete Geometry Applied in Hard Real-Time Systems Validation.
Proceedings of the Discrete Geometry for Computer Imagery, 12th International Conference, 2005

2004
Scheduling hard sporadic tasks with regular languages and generating functions.
Theor. Comput. Sci., 2004

2002
Term Validation of Distributed Hard Real-Time Applications.
Proceedings of the Implementation and Application of Automata, 2002

2001
Scheduling Hard Sporadic Tasks by Means of Finite Automata and Generating Functions.
Proceedings of the Implementation and Application of Automata, 2001

1996
A Markovian Concurrency Measure.
ITA, 1996

Exhaustive Computation of the Scheduled Task Execution Sequences of a Real-Time Application.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996

1990
A Markovian Concurrency Measure.
Proceedings of the CAAP '90, 1990

1989
Using Generating Functions to Compute Concurrency.
Proceedings of the Fundamentals of Computation Theory, 1989


  Loading...