 |
|
|
||
|---|---|---|
|
hal-00450292v1
Communication dans un congrès
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Exact aggregation of absorbing Markov processes using quasi-stationary distribution Journal of Applied Probability, Applied Probability Trust, 1994, 31 (3), pp.626-634 |
||
|
hal-00852084v1
Article dans une revue
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
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
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
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
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
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
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
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-00653071v1
Article dans une revue
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
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
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
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
Performance Analysis of Work Stealing for Streaming Systems and Optimizations [Research Report] RR-6988, INRIA. 2009 |
||
|
inria-00601093v1
Article dans une revue
Earliness-tardiness minimization on a single machine to schedule preventive maintenance tasks Journal of Intelligent Manufacturing, Springer Verlag (Germany), 2010, 〈10.1007/s10845-010-0425-0〉 |
||
|
|
||
