829 résultats  enregistrer la recherche

hal-00450292v1  Communication dans un congrès
Karine AltisenYanhong LuiMatthieu 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 LaprieChristian BeounesMohamed KaânicheKarama 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. MatthiesenOssama HamoudaMohamed KaânicheHans-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 KashnikovPablo De Oliveira CastroEmmanuel OseretWilliam 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 CastroEric PetitJean Christophe BeylerWilliam 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〉
hal-00851876v1  Communication dans un congrès
Ossama HamoudaMohamed KaânicheErling Moller MatthiesenJakob Gulddahl RasmussenHans-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 CastroYuriy KashnikovChadi AkelMihail PopovWilliam 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 CastroEric PetitAsma FarjallahWilliam 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 AkelYuriy KashnikovPablo De Oliveira CastroWilliam 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 KanounMohamed KaânicheJean-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 HamoudaMohamed KaânicheKarama 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 HamoudaMohamed KaânicheKarama 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 FourneauBrigitte PlateauWilliam 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 LedouxGerardo RubinoBruno 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 LedouxLaurent 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 LedouxGerardo 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 LedouxPatrice 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 ZinenkoStéphane HuotCé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-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-00653071v1  Article dans une revue
Ubiquitous Computing and Communication Journal, UBICC publishers, 2011, 6, pp.21, 34
hal-01302416v1  Communication dans un congrès
Luca BortolussiNicolas 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 SimacheMohamed 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