Filtrer vos résultats
- 48
- 3
- 33
- 17
- 1
- 50
- 1
- 1
- 2
- 1
- 2
- 5
- 2
- 2
- 5
- 2
- 5
- 5
- 5
- 2
- 1
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 48
- 3
- 36
- 23
- 21
- 6
- 5
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 51
- 21
- 10
- 9
- 8
- 7
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
51 résultats
|
|
triés par
|
Aggregation for Computing Multi-Modal Stationary Distributions in 1-D Gene Regulatory NetworksIEEE/ACM Transactions on Computational Biology and Bioinformatics, 2018, 15 (3), pp.813 - 827. ⟨10.1109/TCBB.2017.2699177⟩
Article dans une revue
hal-01817338v1
|
|||
Bounding techniques for transient analysis of G-networks with catastrophesVALUETOOLS 2011 : 5th International ICST Conference on Performance Evaluation Methodologies and Tools, May 2011, Paris France. pp.197 - 206
Communication dans un congrès
hal-01301868v1
|
|||
Weak stochastic comparisons for performability verificationASMTA 2009 : 16th International Conference on Analytical and Stochastic Modeling Techniques and Applications , Jun 2009, Madrid, Spain. pp.294 - 308, ⟨10.1007/978-3-642-02205-0_21⟩
Communication dans un congrès
istex
hal-01369734v1
|
|||
Strong and weak stochastic bounds for multidimensional Markov chainsInternational Journal of Critical Computer-Based Systems, 2014, 5 (1/2), pp.148 - 168. ⟨10.1504/IJCCBS.2014.059592⟩
Article dans une revue
hal-01260059v1
|
|||
Stochastic bounds for switched Bernoulli batch arrivals observed through measurementsASMTA 2017 : international conference on Analytical and Stochastic Modeling Techniques and Applications, Jul 2017, Newcastle-Upon-Tyne, United Kingdom. pp.1 - 15, ⟨10.1007/978-3-319-61428-1_1⟩
Communication dans un congrès
hal-01685254v1
|
|||
Stochastic monotonicity in queueing networksEPEW 2009 : 6th European Performance Engineering Workshop, Jul 2009, Imperial College London United Kingdom. pp.116 - 130, ⟨10.1007/978-3-642-02924-0_10⟩
Communication dans un congrès
istex
hal-01366211v1
|
|||
Improving Stochastic Model Cheking With Stochastic BoundsJan 2005, pp.264-267
Communication dans un congrès
hal-00155166v1
|
|||
Modelling Buffer Admission Mechanisms using Stochastic Automata NetworksAnnals of Telecommunications - annales des télécommunications, 1994, Special Issue, ATM-CESAME
Article dans une revue
hal-01310045v1
|
|||
Réseaux généralisés multiclasses avec synchronisations cycliquesRAIRO, 1998, 32 (3), pp.353-372
Article dans une revue
hal-01310042v1
|
|||
A Numerical Analysis of Dynamical Fault Trees based on Stochastic BoundsIEEE QEST, Javier Campos and Boudewijn R. Haverkort, 2015, Madrid, Spain. pp.176-191
Communication dans un congrès
hal-01309364v1
|
|||
|
Performance analysis of a queue by combining stochastic bounds, real traffic traces and histogramsThe Computer Journal, 2016, 59 (12), pp.1817 - 1830. ⟨10.1093/comjnl/bxw032⟩
Article dans une revue
hal-01449268v1
|
||
Quantitative Analysis of Attack Defense TreesVALUETOOLS 2021, Oct 2021, Guangzhou (online), China
Communication dans un congrès
hal-04345146v1
|
|||
Polynomials of a Stochastic Matrix and Strong Stochastic Bounds2006, pp.211-228
Communication dans un congrès
hal-00155426v1
|
|||
Steady-state Property Verification: a Comparison Study4th International Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS, 2010, Paris, France
Communication dans un congrès
hal-00788886v1
|
|||
Steady state property verification of very large systemsInternational Journal of Critical Computer-Based Systems, 2011, 2, pp.309―331
Article dans une revue
hal-00788769v1
|
|||
A Brief Introduction to an Algorithmic Approach for Strong stochastic BoundsProceedings of the First Workshop on New Trends in Modeling, Quantitative Methods and Measurements, xxxx, pp.57-74, 2004, Zakopane
Chapitre d'ouvrage
hal-00155127v1
|
|||
Worst Case Analysis of Batch Arrivals with the Increasing Convex OrderingJun 2006, Budapest, Hungary. pp.196-210
Communication dans un congrès
hal-00155001v1
|
|||
Stochastic Bounds for some Stochastic Optimisation ProblemsVALUETOOLS 2020, May 2020, Tsukuba (virtual conference), Japan
Communication dans un congrès
hal-04345206v1
|
|||
Stochastic comparisons applied to G-Networks with catastrophesISCIS2010, Sep 2010, London, United Kingdom. www.springerlink.com
Communication dans un congrès
hal-00545738v1
|
|||
Strong and weak orderings for an accurate resource dimensioningVECoS 2011 : 5th International Workshop on Verification and Evaluation of Computer and Communication Systems, Sep 2011, Tunis, Tunisia. pp.1 - 12
Communication dans un congrès
hal-01303049v1
|
|||
|
An algorithm approach to bounding aggregations of multidimensional Markov chainsTheoretical Computer Science, 2012, 452, pp.12-20. ⟨10.1016/j.tcs.2012.05.030⟩
Article dans une revue
hal-00807451v1
|
||
|
HASL: A new approach for performance evaluation and model checking from concepts to experimentationPerformance Evaluation, 2015, 90, pp.53-77. ⟨10.1016/j.peva.2015.04.003⟩
Article dans une revue
hal-01221815v1
|
||
Increasing Convex Monotone Markov Chains: Theory, Algorithm and Applications2006, Boson Books, Raleigh, North Carolina, United States. pp.189-210
Communication dans un congrès
hal-00152199v1
|
|||
Pontryagin principles for bounded discrete-time processesOptimization, 2013, pp.1 - 16. ⟨10.1080/02331934.2013.766991⟩
Article dans une revue
hal-01817341v1
|
|||
On the choice of the stochastic comparison method for multidimensional Markov chains analysisVALUETOOLS 2011 : 5th International ICST Conference on Performance Evaluation Methodologies and Tools, May 2011, Paris, France. pp.418 - 424
Communication dans un congrès
hal-01301870v1
|
|||
Une approche combinant bornes stochastiques, traces et histogrammes pour l'analyse de performance des réseauxMSR 2013 : Modélisation des Systèmes Réactifs, Nov 2013, Rennes, France. pp.165 - 179, ⟨10.3166/jesa.47.165-179⟩
Communication dans un congrès
istex
hal-01269928v1
|
|||
Stochastic bounds and histograms for network performance analysisEPEW '13 : 10th European Workshop on Performance Engineering, Sep 2013, Venice, Italy. pp.13-27, ⟨10.1007/978-3-642-40725-3_3⟩
Communication dans un congrès
istex
hal-00859795v1
|
|||
Modeling networks and active queues management with stochastic bounds and histogramsVECoS 2013 : 7th International Workshop on Verification and Evaluation of Computer and Communication Systems, Nov 2013, Florence, Italy
Communication dans un congrès
hal-01335668v1
|
|||
Transforming stochastic matrices for stochastic comparison with the st-orderRAIRO - Operations Research, 2003, 37, pp.85-97
Article dans une revue
hal-01309493v1
|
|||
|
Using Stochastic Comparison for Efficient Model Checking of Uncertain Markov ChainsProceedings of the 6th International Conference on Quantitative Evaluation of Systems (QEST'09), Sep 2009, Budapest, Hungary, Hungary. pp.177-186, ⟨10.1109/QEST.2009.42⟩
Communication dans un congrès
hal-00772668v1
|
- 1
- 2