![]() |
| Richard | |
| Pascal | |
| ... | |
| +33 (0)549498061 | |
| Professeur | |
| Systèmes Temps-Réel | |
| Ordonnancement | |
| - | |
| - |
Ladjel Bellatreche, Kamel Boukhalfa, Pascal Richard and Soumia Benkrid, Data Partitioning dor Designing and Simulating Efficient Huge Databases, Scalable Computing and Communications: Theory and Practice, Samee U. Khan, Lizhe Wang, and Albert Y. Zomaya, Wiley, 2012
Kamel Boukhalfa, Ladjel Bellatreche and Pascal Richard, Primary and Referential Horizontal Partitioning Selection Problems: Concepts, Algorithms and Advisor Tool, To appear in Integrations of Data Warehousing, Data Mining and Database Technologies: Innovative Approaches, In David Taniar and Li Chen (eds), Hershey, PA: IGI Global, 2011
Emmanuel Grolleau, Pascal Richard and Michaël Richard, Scheduling in Distributed Real-Time Systems, Distributed Systems: Design and Algorithms, chapt. 7, Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci, ISTE, Wiley, 2011
Annie Choquet-Geniet and Pascal Richard, Petri nets, An introduction to sofware specification: a case study, 2sd edition, Hermès London, 2006
Pascal Richard and Frédéric Ridouard, Ordonnancement temps réel monoprocesseur, Systèmes Temps Réel : Ordonnancement, Réseaux, Qualité de Service, chapt. 1, Hermès, 2006
Pascal Richard, Michaël Richard and Francis Cottet, Analyse holistique des systèmes temps réel distribués : principes et algorithmes, Ordonnancement pour l'informatique parallèle, Hermès, 2003
Pascal Richard and Christophe Haro, Applications des réseaux de Petri, Techniques de l'ingénieur, Traité Informatique Industrielle(S 7-254), 2001
Annie Choquet-Geniet and Pascal Richard, Petri nets : a graphical tool for system modelling, An Introduction to Formal Specification, Springer Verlag, 2000, pp. 241-257
Ahmed Rahni, Emmanuel Grolleau, Michaël Richard and Pascal Richard, Feasibility analysis of real-time transactions, Real-Time Systems, vol. 48(3), 2012, pp. 320-358
François Dorin, Pascal Richard, Michaël Richard and Joël Goossens, Schedulability and Sensitivity Analysis of Multiple Criticality Tasks with Fixed-Priorities, Real-Time Systems, vol. Accepted for publication, 2010
Ladjel Bellatreche, Kamel Boukhalfa, Pascal Richard and Komla Yamavo Woameno, Referential Horizontal Partitioning Selection Problem in Data Warehouses: Hardness Study and Selection Algorithms , International Journal of Data Warehousing and Mining, vol. 5(4), 2009, pp. 1-23
E. Bini, T.H.C Nguyen, P. Richard and S.K. Baruah, A Response-Time Bound in Fixed-Priority Scheduling with Arbitrary Deadlines, IEEE Transactions on Computers, vol. 58(2), February, 2009, pp. 279-28
Thi Huyen Chau NGuyen, Pascal Richard and Enrico Bini, Approximation techniques for response-time analysis of static-priority tasks, Real-Time Systems, vol. 43, 2009, pp. 147-176
P. Richard and J.F. Raffensperger, Constructive complexity: a metric for operations research spreadsheet model design, Int. J. Information and Operations Management Education, vol. In Press, 2008
Frédéric Ridouard, Pascal Richard and Patrick Martineau, On-line scheduling on a batch processing machine with unbounded batch size to minimize the makespan, European Journal of Operational Research, vol. 189(3), 2008, pp. 1227-1242
Art Lew, John F. Raffensperger and P. Richard, Letter by Art Lew, response by Raffensperger et al., INFORMS Transactions on Education(3), 2007
Frédéric Ridouard, Pascal Richard, Francis Cottet and Karim Traore, Some results on scheduling tasks with self-suspensions, Journal of Embedded Computing, 2006
Joël Goossens and Pascal Richard, Optimisation de performance pour des systèmes temps réel stricts à priorité fixe, Technique et Science Informatiques, vol. 24, 2005, pp. 991-1011
John F. Raffensperger and Pascal Richard, Implementing Dynamic Programs in Spreadsheet, INFORMS Transactions on Education, vol. 5(2), January, 2005
Michael Richard and Pascal Richard, Méthode de placement et d’affectation des priorités pour les systèmes temps réel distribués, TSI(Numéro Spécial), 2003
Francis Cottet, Emmanuel Grolleau and Pascal Richard, Une approche graphique pour l'aide à la conception d'applications temps réel ordonnançables, Revue TSI (Technique et Science Informatiques), vol. 21(3), 2002, pp. 315-343
Pascal Richard, Francis Cottet and Claude Kaiser, Précédences généralisées et ordonnançabilité des tâches de suivi temps réel d'un laminoir, Journal Européen des Systèmes Automatisés, vol. 35(9), 2001, pp. 1055-1071
Pascal Richard, Modelling Integer Linear Programs with Petri nets , RAIRO/Operations Research, vol. 34(3), 2000, pp. 305-312
Julien Forget, Emmanuel Grolleau, Claire Pagetti and Pascal Richard, Dynamic priority scheduling of periodic tasks with extended precedences, IEEE International Conference on Emerging Technology&Factory Automation (ETFA), Toulouse, France, Sept. 5th - 9th, 2011
Yassine Ouhammou, Emmanuel Grolleau, Michael Richard and Pascal Richard, Towards a Simple Meta-Model for Complex Real-Time and Embedded Systems, International Conference on Model & Data Engineering (MEDI), edited by Springer LNCS, Obidos, Portugal, Sept, 2011, pp. 226-236
François DORIN, Joël GOOSSENS, Pascal RICHARD and Michaël RICHARD, Schedulability analysis of multiple criticality real-time tasks, 12th International Workshop on Project Management and Scheduling, edited by EURO Working Group on Project Management and Scheduling, April, 2010, pp. 167--170
François Dorin, Patrick Meumeu Yomsi, Joël Goossens and Pascal Richard, Semi-Partitioned Hard Real-Time Scheduling with Restricted Migrations upon Identical Multiprocessor Plateforms, prroc. Int. Real-Time and Networked Conference, Toulouse, 2010
Thi Huyen Chau Nguyen, Pascal Richard and Nathan Fisher, The Fully Polynomial-Time Approximation Scheme for Feasibility Analysis in Static-Priority Systems with Arbitrary Relative Deadlines Revisited, proc. Int. Conf. on Real-Time and Networked Systems (Toulouse), 2010
Frédéric Ridouard and Pascal Richard, Scheduling of self-suspending tasks: state of art and new insights, RTSOPS - 1st International Real-Time Scheduling Open Problems Seminar , July, 2010
François DORIN, Michael RICHARD, Emmanuel GROLLEAU and Pascal RICHARD, Minimisation du nombre de processeurs pour les systèmes temps réel distribués, dixième conférence de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'09), 2009
François DORIN, Pascal RICHARD, Michaël RICHARD and Joël GOOSSENS, Uniprocessor Schedulability and Sensitivity Analysis of Multiple Criticality Tasks with Fixed-Priorities, Real-Time and Network System, 2009
Pascal Richard, Ordonnancement temps réel : problématique et quelques problèmes, colloque « Informatique temps réel embarquée, recherches en région grand ouest », Les Journées Scientifiques de l’Université de Nantes, 8 juin 2009, 8 juin , 2009
Ladjel Bellatreche, Kamel Boukhalfa and Pascal Richard, Horizontal Partitioning in Data Warehouse: Hardness Study, Selection Algorithms and Validation on ORACLE10G, in 10th International Conference on Data Warehousing and Knowledge Discovery (DaWaK 2008), edited by LNCS, September, 2008, pp. 87-96
Kamel Boukhalfa, Ladjel Bellatreche and Pascal Richard, Fragmentation Primaire et Dérivée: Étude de Complexité, Algorithmes de Sélection et Validation sous ORACLE10g, Revue des Nouvelles Technologies de l'Information (EDA'2008), Juin, 2008
François Dorin, Michaël Richard, Emmanuel Grolleau and Pascal Richard, Minimizing the number of processors for real-time distributed systems, Real-Time and Network Systems (RTNS'08), 2008
Thi Huyen Chau Nguyen, Pascal Richard and Enrico Bini, Improved approximate response time bounds for static priority tasks, Real-Time and Network Systems (RTNS'08), 2008
Sanjoy Baruah, Enrico Bini, Chau Huyen Nguyen and Pascal Richard, Continuity and Approximability of Response Time Bounds, Euromicro Conf. on Real-Time Systems (ECRTS'07), Work-in Progress, Pisa, 2007
Nathan Fisher, Chau Huyen Nguyen, Joel Goossens and Pascal Richard, Parametric Polynomial-Time Algorithms for Computing Response-Time Bounds for Static-Priority Tasks with Release Jitters, 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Daegu, Korea, 2007
Pascal Richard, Joël Gossens and Nathan Fisher, Approximate Feasibility Analysis and Response-Time Bounds of Static-Priority Tasks with Release Jitters, Real-Time and Network Systems (RTNS'07), Nancy, 2007
Pascal Richard, Polynomial-Time Approximate Schedulability Tests for Fixed-Priority Real-Time Tasks: Some Numerical Experimentations, 14th Int. Conf. on Real-Time and Network Systems, 2006, pp. 191-199
Pascal Richard and Joël Goossens, Approximating response times of static-priority tasks with release jitters, Euromicro Int. Conf. on Real-Time Systems (ECRTS'06), Work-in progress, 2006
Frédéric Ridouard and Pascal Richard, Worst-case analysis of feasibility tests for self-suspending tasks, proc. 14th Real-Time and Network Systems, Poitiers, 2006
Pascal Richard, Analyse des temps de réponse et de la demande processeur en ordonnancement temps réel de tâches périodiques, Ecole d'été Temps Réel (ETR'05), 2005
Frédéric Ridouard, Pascal Richard and Francis Cottet, Ordonnancement de tâches indépendantes avec suspension, 13th INTERNATIONAL CONFERENCE ON REAL-TIME SYSTEMS (RTS), Avril, 2005
J. Goossens and P. Richard, Overview of real-time scheduling problems, Euro Workshop on Project Management and Scheduling, Invited Paper, 2004
J. Goossens and P. Richard, Performance Optimization for hard Real-Time Fixed Priority Tasks, proc. Real-Time Embedded Systems, 2004
S. Jeannenot, P. Richard and F. Ridouard, Ordonnancement temps réel avec profils variables de consommation d'énergie, proc. Real-Time Embedded Systems, 2004
F. Ridouard, P. Richard and P. Martineau, On-line minimization of makespan for single batching machine scheduling problems, Euro Workshop on Project Management and Scheduling, 2004
Frédéric Ridouard, Pascal Richard and Francis Cottet, Negative results for scheduling independent hard real-time tasks with self-suspensions, The 25th IEEE International Real-Time Systems Symposium, December, 2004
Michael Richard, Pascal Richard and Francis Cottet, Allocating and Scheduling Tasks in Multiple Fieldbus Real-Time Systems, IEEE Conference on Emerging Technologies and Factory Automation (ETFA), vol. 1, edited by IEEE, Septembre, 2003, pp. 137-144
Michael Richard, Pascal Richard and Francis Cottet, Placement et Validation dans les Systèmes Temps Réel Distribués, RTS'03, edited by Teknea, 2003, pp. 387-410
Pascal Richard, On the complexity of scheduling real-time tasks with self-suspension on one processor, 15th IEEE Int. Euromicro Conferecnce on Real-Time Systems (ECRTS'03), edited by IEEE Computer Press, 2003
Pascal Richard, Analyse du temps de réponse des systèmes temps réel, Actes de l'Ecole d'été Temps Réel, 2003
Pascal Richard, Frédéric Ridouard and Patrick Martineau, On-line scheduling on a single batching machine to minimize the makespan, 6th Int. Conference on Industrial Engineering and Production Management (IEPM'03), 2003
M. Richard, P. Richard, E. Grolleau and F. Cottet, Contraintes de précédences et ordonnancement mono-processeur, Real Time and Embedded Systems, edited by Teknea, 26-28 mars, 2002, pp. 121-138
Pascal Richard, A Tool for Controlling Response Time in Real-Time Systems, Computer Performance Evaluation. Modelling Techniques and Tools.(2324), Lecture Notes in Computer Science, Springer Verlag, April, 2002, pp. 339-348
M. Richard, P. Richard and F. Cottet, Affectation Optimale des Priorités des Tâches et des Messages dans les Systèmes Distribués Temps Réel, Real Time and Embedded Systems, edited by Teknea, mars, 2001, pp. 107-122
M. Richard, P. Richard and F. Cottet, Task and Message Priority Assignment in Automotive Systems, 4th FeT IFAC Conference on Fieldbus Systems and their Applications, edited by Elsevier Science, 2001, pp. 105-112
Pascal Richard, Francis Cottet and Michaël Richard, On-line scheduling of Real-Time Distributed Computers With Complex Communication Constraints, ICECCS'2001, edited by Press, IEEE Computer, Skövde (Sweden), 2001, pp. 26-34
M. Richard, P. Richard and F. Cottet, Affectation des Priorités dans les Systèmes Temps Réel Distribués, MOVEP'2000, 2000
Pascal Richard, Francis Cottet and Claude Kaiser, Validation temporelle d'un logiciel temps réel : application à un laminoir industriel, Conférence Internationale Francophoe d'Automatique, edited by IEEE, 2000, pp. 687-692
Pascal Richard, Optimal shortest path in reachability graph, 7th IEEE Emerging Technologies and Factory Automation, 1999, pp. 303-312
Pascal Richard, Ordonnancement temps réel en-ligne : contraintes, conception et analyses, Habilitation à Diriger des Recherches, Thesis, Université de Poitiers, 2004
Kamel BOUKHALFA, Ladjel BELLATRECHE and 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
M. Richard, P. Richard and F. 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
M. Richard, P. Richard and F. Cottet, Ordonnancement monoprocesseur à priorité fixe avec contraintes de précédence, LISI -- ENSMA, 2001-003, novembre, 2001
M. Richard, P. Richard and F. Cottet, Analyse Holistique des Systèmes Temps Réels Distribués, LISI -- ENSMA, www.lisi.ensma.fr, 2000-006, aout, 2000
Monsieur Nabil BELAID exposera ses travaux pour l'obtention du diplôme de Doctorat de l'ENSMA une thèse ayant pour objet "Modélisation de services et de workflows sémantiques à base d'ontologies de services et d'indexations. Application à la modélisation géologique." le lundi 23 mai 2011 à 11h00 en Amphi A12 à l'ENSMA. |