1. Recherche
829 résultats  enregistrer la recherche
...
hal-00450292v1  Communication dans un congrès
Karine Altisen, Yanhong Lui, Matthieu Moy. Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata
8th Workshop on Quantitative Aspects of Programming Languages, Mar 2010, Paphos, Cyprus. pp.166, 2010, 〈10.4204/EPTCS〉
hal-00851871v1  Communication dans un congrès
Jean-Claude Laprie, Christian Beounes, Mohamed Kaâniche, Karama Kanoun. The transformation approach to the modeling and evaluation of the reliability and availability growth
IEEE Computer Society. The 20th International Symposium on Fault-Tolerant Computing (FTCS-20), Jun 1990, Newcastle Upon Tyne, United Kingdom. pp.364 - 371, 1990, 〈10.1109/FTCS.1990.89390〉
...
hal-00851873v1  Communication dans un congrès
Erling V. Matthiesen, Ossama Hamouda, Mohamed Kaâniche, Hans-Peter Schwefel. Dependability Evaluation of a Replication Service for Mobile Applications in Dynamic Ad-Hoc Networks
5th International Service Availability Symposium, ISAS 2008, May 2008, Tokyo, Japan. Springer, pp.171-186, 2008, 〈10.1007/978-3-540-68129-8_14〉
hal-00952298v1  Communication dans un congrès
Yuriy Kashnikov, Pablo De Oliveira Castro, Emmanuel Oseret, William Jalby. Evaluating Architecture and Compiler Design through Static Loop Analysis
2013 International Conference on High Performance Computing and Simulation (HPCS), Jul 2013, Finland. pp.535 - 544, 2013, 〈10.1109/HPCSim.2013.6641465〉
hal-00952307v1  Communication dans un congrès
Pablo De Oliveira Castro, Eric Petit, Jean Christophe Beyler, William Jalby. ASK: Adaptive Sampling Kit for Performance Characterization
Euro-Par 2012 Parallel Processing, 2012, Greece. 7484, pp.89-101, 2012, 〈10.1007/978-3-642-32820-6_11〉
...
tel-01054555v1  HDR
Matthieu Moy. Modélisation à haut niveau d'abstraction pour les systèmes embarqués
Systèmes embarqués. Université de Grenoble, 2014
...
hal-00851876v1  Communication dans un congrès
Ossama Hamouda, Mohamed Kaâniche, Erling Moller Matthiesen, Jakob Gulddahl Rasmussen, Hans-Peter Schwefel. Connectivity dynamics in vehicular freeway scenarios
Global Information Infrastructure Symposium (GIIS '09), Jun 2009, Hammamet, Tunisia. pp.1-8, 2009, 〈10.1109/GIIS.2009.5307090〉
hal-00952256v1  Communication dans un congrès
Pablo De Oliveira Castro, Yuriy Kashnikov, Chadi Akel, Mihail Popov, William Jalby. Fine-grained Benchmark Subsetting for System Selection
ACM. Annual IEEE/ACM International Symposium on Code Generation and Optimization, Feb 2014, Orlando, FL, United States. pp.132:132--132:142, 2014, 〈10.1145/2544137.2544144〉
hal-00952288v1  Article dans une revue
Pablo De Oliveira Castro, Eric Petit, Asma Farjallah, William Jalby. Adaptive Sampling for Performance Characterization of Application Kernels
Concurrency and Computation: Practice and Experience, Wiley, 2013, 25 (17), pp.2345-2362. 〈10.1002/cpe.3097〉
hal-00952290v1  Communication dans un congrès
Chadi Akel, Yuriy Kashnikov, Pablo De Oliveira Castro, William Jalby. Is Source-code Isolation Viable for Performance Characterization?
International Workshop on Parallel Software Tools and Tool Infrastructures (PSTI), Oct 2013, Lyon, France. pp.977 - 984, 2013, 〈10.1109/ICPP.2013.116〉
...
hal-00851758v1  Communication dans un congrès
Karama Kanoun, Mohamed Kaâniche, Jean-Claude Laprie. Experience in Software Reliability: From Data Collection to Quantitative Evaluation
Fourth International Symposium on Software Reliability Engineering (ISSRE-1993), Nov 1993, Denver, United States. IEEE Computer Society, pp.234-245, 1993
...
hal-00851779v1  Communication dans un congrès
Ossama Hamouda, Mohamed Kaâniche, Karama Kanoun. Safety modeling and evaluation of Automated Highway Systems
The IEEE/IFIP International Conference on Dependable Systems & Networks (DSN '09), Jun 2009, Lisbonne, Portugal. IEEE Computer Society, pp.73 - 82, 2009, 〈10.1109/DSN.2009.5270352〉
...
hal-00852263v1  Communication dans un congrès
Ossama Hamouda, Mohamed Kaâniche, Karama Kanoun. Availability Modelling of a Virtual Black Box for Automotive Systems
The 2nd International Workshop on Software Engineering for Resilient Systems (SERENE'10), Apr 2010, Londres, United Kingdom. ACM, pp.52-60, 2010, 〈10.1145/2401736.2401742〉
...
hal-00203526v1  Communication dans un congrès
Jean-Michel Fourneau, Brigitte Plateau, William Stewart. Product form for Stochastic Automata Networks
2nd International Conference on Performance Evaluation Methodologies and Tools, Oct 2007, Nantes, France. ACM, pp.1-10, 2007, ISBN 978-1-59593-819-0
...
hal-00852327v1  Article dans une revue
James Ledoux, Gerardo Rubino, Bruno Sericola. Exact aggregation of absorbing Markov processes using quasi-stationary distribution
Journal of Applied Probability, Applied Probability Trust, 1994, 31 (3), pp.626-634
...
hal-00852402v1  Article dans une revue
James Ledoux, Laurent Truffet. Markovian bounds on functions of finite Markov chains
Advances in Applied Probability, Applied Probability Trust, 2001, 33, pp.505-519
...
hal-00852084v1  Article dans une revue
James Ledoux, Gerardo Rubino. Simple Formulas for Counting Processes in Reliability Models
Advances in Applied Probability, Applied Probability Trust, 1997, 29 (4), pp.1018-1038
...
hal-00852656v1  Article dans une revue
James Ledoux. Availability Modeling of Modular Software
IEEE Transactions on Reliability, Institute of Electrical and Electronics Engineers, 1999, 48 (2), pp.159-168
...
hal-00852842v1  Article dans une revue
James Ledoux. A necessary condition for weak lumpability in finite Markov processes
Operations Research Letters, Elsevier, 1993, 13 (3), pp.165-168. 〈10.1016/0167-6377(93)90006-3〉
...
hal-00852730v1  Article dans une revue
James Ledoux, Patrice Leguesdron. Weak lumpability and pseudo-stationarity of finite Markov chains
Stochastic Models, INFORMS (Institute for Operations Research and Management Sciences), 2000, 16 (1), pp.49-67
...
hal-01055788v1  Communication dans un congrès
Oleksandr Zinenko, Stéphane Huot, Cédric Bastoul. Clint: A Direct Manipulation Tool for Parallelizing Compute-Intensive Program Parts
IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Jul 2014, Melbourne, Australia. IEEE, pp.109-112, 2014
...
hal-01102936v1  Article dans une revue
Jonatha Anselmi, Bruno Gaujal, Tommaso Nesti. Control of parallel non-observable queues: asymptotic equivalence and optimality of periodic policies
stochastic systems, INFORMS Applied Probability Society, 2015, 5 (1), 〈10.1214/14-SSY146〉
...
hal-00853317v1  Chapitre d'ouvrage
James Ledoux. Software Reliability Modeling
Hoang Pham. Handbook of Reliability Engineering, Springer-Verlag London, pp.213-234, 2003, Reliability, 1-85233-453-3
...
hal-01102977v1  Article dans une revue
Jonatha Anselmi, Bruno Gaujal. Efficiency of simulation in monotone hyper-stable queueing networks
Queueing Systems, Springer Verlag, 2014, 76 (1), pp.51-72. 〈10.1007/s11134-013-9357-7〉
...
hal-00853047v1  Rapport
James Ledoux. Modèles d'évaluation de la fiabilité du logiciel et techniques de validation de systèmes de prédiction : étude bibliographique
1992
...
hal-00653071v1  Article dans une revue
Vincent Labatut, Hocine Cherifi. EVALUATION OF PERFORMANCE MEASURES FOR CLASSIFIERS COMPARISON
Ubiquitous Computing and Communication Journal, UBICC publishers, 2011, 6, pp.21, 34
...
hal-01302416v1  Communication dans un congrès
Luca Bortolussi, Nicolas Gast. Mean Field Approximation of Uncertain Stochastic Models
46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2016), Jun 2016, Toulouse, France
...
hal-00852425v1  Communication dans un congrès
Cristina Simache, Mohamed Kaâniche. Measurement-based availability analysis of Unix systems in a distributed environment
12th International Symposium on Software Reliability Engineering (ISSRE 2001), Nov 2001, Hong-Kong, Hong Kong SAR China. IEEE Computer Society, pp.346 - 355, 2001, 〈10.1109/ISSRE.2001.989489〉
...
hal-00853687v1  Communication dans un congrès
James Ledoux. Towards a filter-based EM-algorithm for parameter estimation of Littlewood's software reliability model
Jacques Janssen and Philippe Lenca. Applied Stochastic Models and Data Analysis, May 2005, Brest, France. pp.1224-1231, 2005
...
inria-00404223v1  Rapport
Jonatha Anselmi, Bruno Gaujal. Performance Analysis of Work Stealing for Streaming Systems and Optimizations
[Research Report] RR-6988, INRIA. 2009