Rapports de Recherche
(52)
2019
Abdallah KHELIL, Amin MESMOUDI, Jorge GALICIA AUYON, Ladjel BELLATRECHE, Combining Graph Exploration and Fragmentation for RDF Processing, (2019.01)
Jorge GALICIA AUYON, Appendix queries: Reverse Partitioning, (002)
Abdallah KHELIL, Combining graph exploration and fragmentation for scalable RDF query processing, technical report, (2019.01)
Jorge GALICIA AUYON, Amin MESMOUDI, Ladjel BELLATRECHE, A logic dimension on RDF partitioning, technical report, (2019.03.1)
2017
Nassima BENAMMAR, Frédéric RIDOUARD, Henri BAUER, Pascal RICHARD, Forward End-To-End delay Analysis for AFDX networks, (2017-01)
2016
Pascal RICHARD, Joël Goossens, On the correctness of Gang EDF Scheduling of Parallel Task Systems, (2016-01)
2015
Djamal BELKASMI, Allel HADJALI, Hamid Azzoune, Relaxation des Requêtes Skyline: Une Approche Centrée Utilisateur, (103)
Guillaume PHAVORIN, Pascal RICHARD, Cache-Related Preemption Delays and Real-Time Scheduling: A Survey for Uniprocessor Systems, (3)
Guillaume PHAVORIN, Pascal RICHARD, Claire Maiza, Complexity of scheduling real-time tasks subjected to cache-related preemption delays, (02-2015)
Géraud FOKOU, Stéphane JEAN, Allel HADJALI, Mickael BARON, Cooperative Techniques for SPARQL Query Relaxation in RDF Databases, (2.0)
2014
Zahira CHOUIREF, Karim Benouaret, Allel HADJALI, Abdelkader Belkhir, Multi Matchmaking Approach for Semantic Web Services Selection based on Fuzzy Inference, (17032014)
Géraud FOKOU, Stéphane JEAN, Allel HADJALI, Endowing Semantic Query Languages with Advanced Relaxation Capabilities, (1.0)
2013
Emmanuel GROLLEAU, Joël Goossens, Liliana Cucu-Grosjean, On the periodic behavior of real-time schedulers on identical multiprocessor platforms, (arXiv 1305.3849)alt="http://arxiv.org/abs/1305.3849"http://arxiv.org/abs/1305.3849
2011
Amira KERKAD, Ladjel BELLATRECHE, Dominique GENIET, Heuristics for Solving the Integrated Buffer Management and Query Scheduling Problem, (1), December, 2011
Ladjel BELLATRECHE, Soumia BENKRID, Ahmad Ghazal, Alain Crolotte, Alfredo Cuzzocrea, Verification of Partitioning & Allocation Techniques on Teradata DBMS, LISI/ENSMA, LISI/ENSMA, 1 Avenue Clément Ader, 86960 Futuroscope, August, 2011
Chedlia CHAKROUN, Ladjel BELLATRECHE, Yamine AIT-AMEUR, Ontological Concept Dependencies driven Approach to Design Ontology-Based Databases, LISI/ENSMA(3), February , 2011
Christian FOTSING, Annie CHOQUET-GENIET, Guy Vidal-Naquet, Définition Formelle et Construction des Arbres d'Ordonnancement, LISI, ENSMA, Janvier, 2011
Rima BOUCHAKRI, Kamel BOUKHALFA, Ladjel BELLATRECHE, Requêtes Utilisées dans la Partie Expérimentale, LISI, 2011
Henry Valéry TEGUIAK, Yamine AIT-AMEUR, Eric SARDET, Ladjel BELLATRECHE, MQL: an extension of SQL for mappings manipulation, LIAS/ISAE-ENSMA, 2011
2010
Rima BOUCHAKRI, Ladjel BELLATRECHE, ASADD: Attribute Similarity-Aware Database Designer for Partitioning and Indexes, LISI/ENSMA, September, 2010
Annie CHOQUET-GENIET, The scheduling algorithms PF and PD2 are monotonous, LISI(1), Juin, 2010
Christian FOTSING, Annie CHOQUET-GENIET, Guy Vidal-Naquet, Modélisation de la Prise en Compte de la Sémantique dans les Applications Temps-Réel: Concepts et Outils, LISI, ENSMA, Juin, 2010
Sadouanouan MALO, Annie CHOQUET-GENIET, Moustapha BIKIENGA, PFairness for late released tasks with constrainde deadlines, LISI, 2010
2009
Annie CHOQUET-GENIET, Christian FOTSING, Sadouanouan MALO, Scheduling of real-time applications with variable utilization factor using a PFair based aperiodic server, (1), Mars, 2009
Annie CHOQUET-GENIET, Sadouanouan MALO, Finding cyclic behaviour in multiprocessor scheduling, LISI, 2009
Yamine AIT-AMEUR, Idir AIT-SADOUNE, Mickael BARON, Chimène FANKAM, Stéphane JEAN, Guy PIERRA, Eric SARDET, Rapport Evaluation - Lot 1 (Tache 1.3) - Projet E-Wok-Hub, LISI / ENSMA, 2009
2008
Kamel BOUKHALFA, Ladjel BELLATRECHE, Pascal RICHARD, Fragmentation Primaire et Dérivée: Étude de Complexité, Algorithmes de Sélection et Validation sous ORACLE10g, LISI(Rapport de Recherche, N° 01 -2008), Mars, 2008
Ahmed RAHNI, Emmanuel GROLLEAU, Michael RICHARD, A Survey on Schedulability Analysis of Multiframe Tasks and Tasks with Offset, LISI/ENSMA , Université de Poitiers(2008-002), 2008
2007
Guy PIERRA, Eric SARDET, Proposal for a XML representation of the PLIB ontology Model: OntoML, LISI/ENSMA(2007-01), Avril, 2007
Yamine AIT-AMEUR, Chimène FANKAM, Stéphane JEAN, Guy PIERRA, Eric SARDET, Outils et Services de gestion des Ontologies - Lot 2 - Projet ANR E-Wok-Hub, LISI / ENSMA, 2007
Yamine AIT-AMEUR, Hondjack DEHAINSALA, Stéphane JEAN, Guy PIERRA, Eric SARDET, Persistance des données ontologiques avec OntoDB et langage d'exploitation OntoQL - Lot 3 - Projet E-Wok-Hub, LISI / ENSMA, 2007
Ahmed RAHNI, Michael RICHARD, Emmanuel GROLLEAU, Nouvelle approche approximative d'analyse de temps de réponse, LISI/ENSMA , Université de Poitiers(2007-001), 2007
2006
Hondjack DEHAINSALA, Guy PIERRA, Ladjel BELLATRECHE, Managing Instance Data in Ontology-based Databases, LISI-ENSMA, LISI/ENSMA, Téléport 2, 1, ave. Clément Ader 86960 Futuroscope - France(003), august, 2006
Yamine AIT-AMEUR, Idir AIT-SADOUNE, Mickael BARON, Jean-Marc MOTA, Démarche de Modélisation d'IHM3 avec B et CTT : LOT 3 (LISI/ENSMA), Projet RNRT VERBATIM, 2006
Yamine AIT-AMEUR, Idir AIT-SADOUNE, Mickael BARON, Nadjet KAMEL, Jean-Marc MOTA, Démarche de Modélisation d'IHM avec B : LOT 2 (LISI/ENSMA), Projet RNRT VERBATIM, 2006
Karim TRAORE, Emmanuel GROLLEAU, Francis COTTET, Efficient Scheduling Analysis of Serial Transactions, LISI, LISI/ENSMA Laboratoire d’Informatique Scientifique et Industrielle École Nationale de Mécanique et d’Aérotechnique Téléport 2 – BP 40109 F-86961 Chasseneuil Futuroscope Cedex, France(06-001), Janvier, 2006
Yamine AIT-AMEUR, Idir AIT-SADOUNE, Jean-Marc MOTA, Lionel Van-Aertryck, Validation d'IHM3 par animation de modèles B : LOT 4 (LISI/ENSMA)(SILICOMP/AQL), Projet RNRT VERBATIM, 2006
Chimène FANKAM, Vers une intégration des differentes approches de modélisation à base ontologique : application aux modèles PLIB et OWL, LISI, 2006
2005
Yamine AIT-AMEUR, Idir AIT-SADOUNE, Mickael BARON, Modélisation et Validation formelles d'IHM : LOT 1 (LISI/ENSMA), LISI/ENSMA, 2005
2004
Ladjel BELLATRECHE, Guy PIERRA, Dung NGUYEN XUAN, Hondjack DEHAINSALA, An a Priori Approach for Automatic Integration of Heterogeneous and Autonomous Data Sources, LISI-ENSMA(04-003), 2004
Guy PIERRA, Hondjack DEHAINSALA, Yamine AIT-AMEUR, Ladjel BELLATRECHE, Jérome CHOCHON, Mourad MIMOUNE, Base de Données à Base Ontologique : le modèle OntoDB, LISI-ENSMA(04-002), 2004
Guy PIERRA, Context-explication in conceptual ontologies: PLIB ontologies and their use for industrial data, LISI-ENSMA(04-001), 2004
2001
Michael RICHARD, Pascal RICHARD, Francis COTTET, Ordonnancement monoprocesseur à priorité fixe avec contraintes de précédence, LISI -- ENSMA(2001-003), novembre, 2001
Jérome CHOCHON, Eric SARDET, Confrontation et intégration des pouvoirs d'expression des approches modélisation conceptuelle et structuration documentaire, LISI-ENSMA(01 004), Octobre, 2001
Michael RICHARD, Pascal RICHARD, Francis COTTET, Méthode Optimale d'Affectation des Priorités des Tâches et Messages dans les Systèmes Temps Réel Distribués, LISI -- ENSMA(2001-01), Avril, 2001
2000
Michael RICHARD, Pascal RICHARD, Francis COTTET, Analyse Holistique des Systèmes Temps Réels Distribués, LISI -- ENSMA, www.lisi.ensma.fr(2000-006), august, 2000
Yamine AIT-AMEUR, Benoit Bréholée, Patrick GIRARD, Laurent GUITTET, Francis JAMBON, Formal verification and validation of interactive systems specifications, Laboratory of Applied Computer Science (LISI/ENSMA)(LISI 00-007), May, 2000
Laurent DAVID, Francis COTTET, Traitement de la gigue temporelle de tâches périodiques dans un contexte ordonnancement temps réel en ligne, LISI-ENSMA, Futuroscope, France(TR 00 009), 2000
Laurent DAVID, Francis COTTET, Emmanuel GROLLEAU, Maîtrise de la gigue temporelle avec les algorithmes d'ordonnancement DM et ED, LISI-ENSMA, Futuroscope, France(TR 00 004), 2000
1997
Emmanuel GROLLEAU, Bases de Tcl/Tk, LISI-ENSMA(97002), 1997
Emmanuel GROLLEAU, Annie CHOQUET-GENIET, Francis COTTET, Cyclicité des séquences d'ordonnancement au plus tôt des systèmes de tâches temps réel à contraintes strictes, LISI-ENSMA(97007), 1997
1988
L Bass, E. Hardy, K. Hoyt, R. Little, R. Seacord, The ARCH Model : SEEHEIM Revisited, The Serpent run time architecture and dialog model, Carnegie Melon University(CMU/SEI-88-TR-6), 1988