Rapports de Recherche
(49)
Nassima BENAMMAR, Frédéric RIDOUARD, Henri BAUER, Pascal RICHARD, Forward End-To-End delay Analysis for AFDX networks, (2017-01)
@TECHREPORT{26367, author="Benammar Nassima and Ridouard Frédéric and Bauer Henri and Richard Pascal", title="Forward End-To-End delay Analysis for AFDX networks", year="2017", number="2017-01", month="2017",}
Pascal RICHARD, Joël Goossens, On the correctness of Gang EDF Scheduling of Parallel Task Systems, (2016-01)
@TECHREPORT{21721, author="Richard Pascal and Goossens Joël", title="On the correctness of Gang EDF Scheduling of Parallel Task Systems", year="2016", number="2016-01", month="2016",}
Chen Jian-Jia, Nelissen Geoffrey, Huang Wen-Hung, Yang Maolin, Brandenburg Bjorn, Bletsas Konstantinos, Liu Cong, Pascal RICHARD, Frédéric RIDOUARD, Audsley Neil, Rajkumar Raj, Niz Dionisio, Many Suspensions, Many Problems: A Review of Self-Suspending Tasks in Real-Time Systems, (854)
@TECHREPORT{22993, author="Jian-Jia Chen and Geoffrey Nelissen and Wen-Hung Huang and Maolin Yang and Bjorn Brandenburg and Konstantinos Bletsas and Cong Liu and Richard Pascal and Ridouard Frédéric and Neil Audsley and Raj Rajkumar and Dionisio Niz", title="Many Suspensions, Many Problems: A Review of Self-Suspending Tasks in Real-Time Systems", year="2016", number="854", month="2016",}
Djamal BELKASMI, Allel HADJALI, Hamid Azzoune, Relaxation des Requêtes Skyline: Une Approche Centrée Utilisateur, (103)
@TECHREPORT{20408, author="Belkasmi Djamal and Hadjali Allel and Azzoune Hamid", title="Relaxation des Requêtes Skyline: Une Approche Centrée Utilisateur", year="2015", number="103", month="2015",}
Guillaume PHAVORIN, Pascal RICHARD, Cache-Related Preemption Delays and Real-Time Scheduling: A Survey for Uniprocessor Systems, (3)
@TECHREPORT{19295, author="Phavorin Guillaume and Richard Pascal", title="Cache-Related Preemption Delays and Real-Time Scheduling: A Survey for Uniprocessor Systems", year="2015", number="3", month="2015",}
Guillaume PHAVORIN, Pascal RICHARD, Claire Maiza, Complexity of scheduling real-time tasks subjected to cache-related preemption delays, (02-2015)
@TECHREPORT{18118, author="Phavorin Guillaume and Richard Pascal and Maiza Claire", title="Complexity of scheduling real-time tasks subjected to cache-related preemption delays", year="2015", number="02-2015", month="2015",}
Géraud FOKOU, Stéphane JEAN, Allel HADJALI, Mickael BARON, Cooperative Techniques for SPARQL Query Relaxation in RDF Databases, (2.0)
@TECHREPORT{21356, author="Fokou Géraud and Jean Stéphane and Hadjali Allel and Baron Mickael", title="Cooperative Techniques for SPARQL Query Relaxation in RDF Databases", year="2015", number="2.0", month="2015",}
Zahira CHOUIREF, Karim Benouaret, Allel HADJALI, Abdelkader Belkhir, Multi Matchmaking Approach for Semantic Web Services Selection based on Fuzzy Inference, (17032014)
@TECHREPORT{16420, author="Chouiref Zahira and Benouaret Karim and Hadjali Allel and Belkhir Abdelkader", title="Multi Matchmaking Approach for Semantic Web Services Selection based on Fuzzy Inference", year="2014", number="17032014", month="2014",}
Géraud FOKOU, Stéphane JEAN, Allel HADJALI, Endowing Semantic Query Languages with Advanced Relaxation Capabilities, (1.0)
@TECHREPORT{21361, author="Fokou Géraud and Jean Stéphane and Hadjali Allel", title="Endowing Semantic Query Languages with Advanced Relaxation Capabilities", year="2014", number="1.0", month="2014",}
Emmanuel GROLLEAU, Joël Goossens, Liliana Cucu-Grosjean, On the periodic behavior of real-time schedulers on identical multiprocessor platforms, (arXiv 1305.3849)
@TECHREPORT{14568, author="Grolleau Emmanuel and Goossens Joël and Cucu-Grosjean Liliana", title="On the periodic behavior of real-time schedulers on identical multiprocessor platforms", year="2013", number="arXiv 1305.3849", month="2013",}
Amira KERKAD, Ladjel BELLATRECHE, Dominique GENIET, Heuristics for Solving the Integrated Buffer Management and Query Scheduling Problem, (1), December, 2011
@TECHREPORT{14289, author="Kerkad Amira and Bellatreche Ladjel and Geniet Dominique", title="Heuristics for Solving the Integrated Buffer Management and Query Scheduling Problem", year="2011", number="1", month="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
@TECHREPORT{9564, author="Bellatreche Ladjel and Benkrid Soumia and Ghazal Ahmad and Crolotte Alain and Cuzzocrea Alfredo", title="Verification of Partitioning & Allocation Techniques on Teradata DBMS", institution="LISI/ENSMA", year="2011", address="LISI/ENSMA, 1 Avenue Clément Ader, 86960 Futuroscope", month="2011",}
Chedlia CHAKROUN, Ladjel BELLATRECHE, Yamine AIT-AMEUR, Ontological Concept Dependencies driven Approach to Design Ontology-Based Databases, LISI/ENSMA(3), February , 2011
@TECHREPORT{9444, author="Chakroun Chedlia and Bellatreche Ladjel and Ait-Ameur Yamine", title="Ontological Concept Dependencies driven Approach to Design Ontology-Based Databases", institution="LISI/ENSMA", year="2011", number="3", month="2011",}
Henry Valéry TEGUIAK, Yamine AIT-AMEUR, Eric SARDET, Ladjel BELLATRECHE, MQL: an extension of SQL for mappings manipulation, LIAS/ISAE-ENSMA, 2011
@TECHREPORT{9740, author="Teguiak Henry Valéry and Ait-Ameur Yamine and Sardet Eric and Bellatreche Ladjel", title="MQL: an extension of SQL for mappings manipulation", institution="LIAS/ISAE-ENSMA", year="2011", month="2011",}
Rima BOUCHAKRI, Kamel BOUKHALFA, Ladjel BELLATRECHE, Requêtes Utilisées dans la Partie Expérimentale, LISI, 2011
@TECHREPORT{9439, author="Bouchakri Rima and Boukhalfa Kamel and Bellatreche Ladjel", title="Requêtes Utilisées dans la Partie Expérimentale", institution="LISI", year="2011", month="2011",}
Christian FOTSING, Annie CHOQUET-GENIET, Guy Vidal-Naquet, Définition Formelle et Construction des Arbres d'Ordonnancement, LISI, ENSMA, Janvier, 2011
@TECHREPORT{9493, author="Fotsing Christian and Choquet-Geniet Annie and Vidal-Naquet Guy", title="Définition Formelle et Construction des Arbres d'Ordonnancement", institution="LISI, ENSMA", year="2011", month="2011",}
Rima BOUCHAKRI, Ladjel BELLATRECHE, ASADD: Attribute Similarity-Aware Database Designer for Partitioning and Indexes, LISI/ENSMA, September, 2010
@TECHREPORT{9396, author="Bouchakri Rima and Bellatreche Ladjel", title="ASADD: Attribute Similarity-Aware Database Designer for Partitioning and Indexes", institution="LISI/ENSMA", year="2010", month="2010",}
Annie CHOQUET-GENIET, The scheduling algorithms PF and PD2 are monotonous, LISI(1), Juin, 2010
@TECHREPORT{9167, author="Choquet-Geniet Annie", title="The scheduling algorithms PF and PD2 are monotonous", institution="LISI", year="2010", number="1", month="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
@TECHREPORT{9382, author="Fotsing Christian and Choquet-Geniet Annie and Vidal-Naquet Guy", title="Modélisation de la Prise en Compte de la Sémantique dans les Applications Temps-Réel: Concepts et Outils", institution="LISI, ENSMA", year="2010", month="2010",}
Sadouanouan MALO, Annie CHOQUET-GENIET, Moustapha BIKIENGA, PFairness for late released tasks with constrainde deadlines, LISI, 2010
@TECHREPORT{9311, author="Malo Sadouanouan and Choquet-Geniet Annie and Bikienga Moustapha", title="PFairness for late released tasks with constrainde deadlines", institution="LISI", year="2010", month="2010",}
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
@TECHREPORT{16870, author="Choquet-Geniet Annie and Fotsing Christian and Malo Sadouanouan", title="Scheduling of real-time applications with variable utilization factor using a PFair based aperiodic server", year="2009", number="1", month="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
@TECHREPORT{8908, author="Ait-Ameur Yamine and Ait-Sadoune Idir and Baron Mickael and Fankam Chimène and Jean Stéphane and Pierra Guy and Sardet Eric", title="Rapport Evaluation - Lot 1 (Tache 1.3) - Projet E-Wok-Hub", institution="LISI / ENSMA", year="2009", month="2009",}
Annie CHOQUET-GENIET, Sadouanouan MALO, Finding cyclic behaviour in multiprocessor scheduling, LISI, 2009
@TECHREPORT{8361, author="Choquet-Geniet Annie and Malo Sadouanouan", title="Finding cyclic behaviour in multiprocessor scheduling", institution="LISI", year="2009", month="2009",}
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
@TECHREPORT{8012, author="Boukhalfa Kamel and Bellatreche Ladjel and Richard Pascal", title="Fragmentation Primaire et Dérivée: Étude de Complexité, Algorithmes de Sélection et Validation sous ORACLE10g", institution="LISI", year="2008", number="Rapport de Recherche, N° 01 -2008", month="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
@TECHREPORT{8166, author="Rahni Ahmed and Grolleau Emmanuel and Richard Michael", title="A Survey on Schedulability Analysis of Multiframe Tasks and Tasks with Offset", institution="LISI/ENSMA , Université de Poitiers", year="2008", number="2008-002", month="2008",}
Guy PIERRA, Eric SARDET, Proposal for a XML representation of the PLIB ontology Model: OntoML, LISI/ENSMA(2007-01), Avril, 2007
@TECHREPORT{7751, author="Pierra Guy and Sardet Eric", title="Proposal for a XML representation of the PLIB ontology Model: OntoML", institution="LISI/ENSMA", year="2007", number="2007-01", month="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
@TECHREPORT{8892, author="Ait-Ameur Yamine and Fankam Chimène and Jean Stéphane and Pierra Guy and Sardet Eric", title="Outils et Services de gestion des Ontologies - Lot 2 - Projet ANR E-Wok-Hub", institution="LISI / ENSMA", year="2007", month="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
@TECHREPORT{8899, author="Ait-Ameur Yamine and Dehainsala Hondjack and Jean Stéphane and Pierra Guy and Sardet Eric", title="Persistance des données ontologiques avec OntoDB et langage d'exploitation OntoQL - Lot 3 - Projet E-Wok-Hub", institution="LISI / ENSMA", year="2007", month="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
@TECHREPORT{8161, author="Rahni Ahmed and Richard Michael and Grolleau Emmanuel", title="Nouvelle approche approximative d'analyse de temps de réponse", institution="LISI/ENSMA , Université de Poitiers", year="2007", number="2007-001", month="2007",}
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
@TECHREPORT{7547, author="Dehainsala Hondjack and Pierra Guy and Bellatreche Ladjel", title="Managing Instance Data in Ontology-based Databases", institution="LISI-ENSMA", year="2006", number="003", address="LISI/ENSMA, Téléport 2, 1, ave. Clément Ader 86960 Futuroscope - France", month="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
@TECHREPORT{7871, author="Ait-Ameur Yamine and Ait-Sadoune Idir and Baron Mickael and Mota Jean-Marc", title="Démarche de Modélisation d'IHM3 avec B et CTT : LOT 3 (LISI/ENSMA)", institution="Projet RNRT VERBATIM", year="2006", month="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
@TECHREPORT{7865, author="Ait-Ameur Yamine and Ait-Sadoune Idir and Baron Mickael and Kamel Nadjet and Mota Jean-Marc", title="Démarche de Modélisation d'IHM avec B : LOT 2 (LISI/ENSMA)", institution="Projet RNRT VERBATIM", year="2006", month="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
@TECHREPORT{7394, author="Traore Karim and Grolleau Emmanuel and Cottet Francis", title="Efficient Scheduling Analysis of Serial Transactions", institution="LISI", year="2006", number="06-001", address="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", month="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
@TECHREPORT{7878, author="Ait-Ameur Yamine and Ait-Sadoune Idir and Mota Jean-Marc and Van-Aertryck Lionel", title="Validation d'IHM3 par animation de modèles B : LOT 4 (LISI/ENSMA)(SILICOMP/AQL)", institution="Projet RNRT VERBATIM", year="2006", month="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
@TECHREPORT{7657, author="Fankam Chimène", title="Vers une intégration des differentes approches de modélisation à base ontologique : application aux modèles PLIB et OWL", institution="LISI", year="2006", month="2006",}
Yamine AIT-AMEUR, Idir AIT-SADOUNE, Mickael BARON, Modélisation et Validation formelles d'IHM : LOT 1 (LISI/ENSMA), LISI/ENSMA, 2005
@TECHREPORT{7228, author="Ait-Ameur Yamine and Ait-Sadoune Idir and Baron Mickael", title="Modélisation et Validation formelles d'IHM : LOT 1 (LISI/ENSMA)", institution="LISI/ENSMA", year="2005", month="2005",}
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
@TECHREPORT{7033, author="Bellatreche Ladjel and Pierra Guy and Nguyen Xuan Dung and Dehainsala Hondjack", title="An a Priori Approach for Automatic Integration of Heterogeneous and Autonomous Data Sources", institution="LISI-ENSMA", year="2004", number="04-003", month="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
@TECHREPORT{7027, author="Pierra Guy and Dehainsala Hondjack and Ait-Ameur Yamine and Bellatreche Ladjel and Chochon Jérome and Mimoune Mourad", title="Base de Données à Base Ontologique : le modèle OntoDB", institution="LISI-ENSMA", year="2004", number="04-002", month="2004",}
Guy PIERRA, Context-explication in conceptual ontologies: PLIB ontologies and their use for industrial data, LISI-ENSMA(04-001), 2004
@TECHREPORT{7016, author="Pierra Guy", title="Context-explication in conceptual ontologies: PLIB ontologies and their use for industrial data", institution="LISI-ENSMA", year="2004", number="04-001", month="2004",}
Michael RICHARD, Pascal RICHARD, Francis COTTET, Ordonnancement monoprocesseur à priorité fixe avec contraintes de précédence, LISI -- ENSMA(2001-003), novembre, 2001
@TECHREPORT{5917, author="Richard Michael and Richard Pascal and Cottet Francis", title="Ordonnancement monoprocesseur à priorité fixe avec contraintes de précédence", institution="LISI -- ENSMA", year="2001", number="2001-003", month="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
@TECHREPORT{6683, author="Chochon Jérome and Sardet Eric", title="Confrontation et intégration des pouvoirs d'expression des approches modélisation conceptuelle et structuration documentaire", institution="LISI-ENSMA", year="2001", number="01 004", month="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
@TECHREPORT{5899, author="Richard Michael and Richard Pascal and Cottet Francis", title="Méthode Optimale d'Affectation des Priorités des Tâches et Messages dans les Systèmes Temps Réel Distribués", institution="LISI -- ENSMA", year="2001", number="2001-01", month="2001",}
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
@TECHREPORT{5894, author="Richard Michael and Richard Pascal and Cottet Francis", title="Analyse Holistique des Systèmes Temps Réels Distribués", institution="LISI -- ENSMA", year="2000", number="2000-006", address="www.lisi.ensma.fr", month="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
@TECHREPORT{5941, author="Ait-Ameur Yamine and Bréholée Benoit and Girard Patrick and Guittet Laurent and Jambon Francis", title="Formal verification and validation of interactive systems specifications", institution="Laboratory of Applied Computer Science (LISI/ENSMA)", year="2000", number="LISI 00-007", month="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
@TECHREPORT{5884, author="David Laurent and Cottet Francis", title="Traitement de la gigue temporelle de tâches périodiques dans un contexte ordonnancement temps réel en ligne", institution="LISI-ENSMA, Futuroscope, France", year="2000", number="TR 00 009", month="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
@TECHREPORT{5880, author="David Laurent and Cottet Francis and Grolleau Emmanuel", title="Maîtrise de la gigue temporelle avec les algorithmes d'ordonnancement DM et ED", institution="LISI-ENSMA, Futuroscope, France", year="2000", number="TR 00 004", month="2000",}
Emmanuel GROLLEAU, Bases de Tcl/Tk, LISI-ENSMA(97002), 1997
@TECHREPORT{5672, author="Grolleau Emmanuel", title="Bases de Tcl/Tk", institution="LISI-ENSMA", year="1997", number="97002", month="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
@TECHREPORT{5727, author="Grolleau Emmanuel and Choquet-Geniet Annie and Cottet Francis", title="Cyclicité des séquences d'ordonnancement au plus tôt des systèmes de tâches temps réel à contraintes strictes", institution="LISI-ENSMA", year="1997", number="97007", month="1997",}
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
@TECHREPORT{5989, author="Bass L and Hardy E. and Hoyt K. and Little R. and Seacord R.", title="The ARCH Model : SEEHEIM Revisited, The Serpent run time architecture and dialog model", institution="Carnegie Melon University", year="1988", number="CMU/SEI-88-TR-6", month="1988",}