.:. Browse > List by subject > Performance and Reliability .:.

10 documents ordered by : Date Title first author name document type Submit date

Robust methods for LTE and WiMAX dimensioning Decreusefond L., Ferraz E., Martins P., Vu T.-T. Dans Valuetools - Valuetools 2012, France (2012) [hal-00685272 - version 1]

An analytical model for evaluating outage and handover probability of cellular wireless networks Decreusefond L., Martins P., Vu T.-T. Dans WPMC 2012 Conference Proceedings - 15th International Symoposium on Wireless Personal Multimedia Communications, Taïwan, Province De Chine (2012) [hal-00514212 - version 1]

Terminaison basée sur les types et filtrage dépendant pour le calcul des constructions inductives Sacchini J. Luis École Nationale Supérieure des Mines de Paris (29/06/2011), Gilles Barthe et Benjamin Grégoire (Dir.) [pastel-00622429 - version 1]

Proceedings of the Eighth International Conference on Quantitative Evaluation of SysTems Palamidessi C., Riska A. (2011) 276 pages [hal-00655524 - version 1]

Allocation efficace et non contraignante des ressources de grilles de calcul à l'aide d'environnements virtuels Xavier G. Télécom ParisTech (02/09/2010), Isabelle Demeure (Dir.) [pastel-00569373 - version 1]

Conversion by Evaluation Boespflug M. Twelfth International Symposium on Practical Aspects of Declarative Languages, Spain (2010) [inria-00434282 - version 1]

Efficient normalization by evaluation Boespflug M. 2009 Workshop on Normalization by Evaluation, États-Unis (2009) [inria-00434283 - version 1]

Non-linear estimation is easy Fliess M., Join C., Sira-Ramirez H. Int. J. Modelling Identification and Control 4, 1 (2008) 12-27 [inria-00158855 - version 2]

On optimal hybrid ARQ control schemes for HSDPA with 16QAM Bliudze S., Billy N., Krob D. In Proc. of the IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob 2005) - International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob 2005), Canada (2005) [hal-00283000 - version 1]

A Static Analyzer for Large Safety-Critical Software Blanchet B., Cousot P., Cousot R., Feret J., Mauborgne L., Miné A., Monniaux D., Rival X. in PLDI: Conference on Programming Language Design and Implementation - (2003) [hal-00128135 - version 1]