Browse by search - Archive ouverte HAL

Free and accessible knowledge

	1 2 3 4 5 6 7 8 9 10 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF HTML Advanced export... Syndicated feeds RSS ATOM
	hal-00329562v1 Book sections Serge Haddad, Patrice Moreaux. Verification of probabilistic systems - Methods and tools S. Merz and N. Navet. Modeling and Verification of Real-Time Systems, ISTE - John Wiley & Sons, pp.289-318, 2008
	inria-00090144v1 Conference papers Abdelkader Lahmadi, Laurent Andrey, Olivier Festor. Une approche de benchmarking des pratiques de gestion basées sur un middleware JMX pour les services et les applications Nouvelles Technologies de la Répartion - NOTERE 2006, LAAS-CNRS et l'ENSICA, Jun 2006, Toulouse/France, pp.145-151
	hal-02089661v1 Conference papers Win Thandar Soe, Cécile Belleudy, Aung Ze ya. Load Recognition from Smart Plug Sensor for Energy Management in a Smart Home 2019 IEEE Sensors Applications Symposium (SAS) (SAS 2019), Mar 2019, Sophia-Antipolis, France. pp.1-6, ⟨10.1109/SAS.2019.8706089⟩
	hal-01286541v1 Conference papers Valentin Gauthier, Hakim Belhaouari, Agnès Arnould. Évaluation de la modélisation à base de transformation de graphes avec Jerboa Journées de l'Association Française Graphique (AFIG), Nov 2015, Lyon, France
	hal-01127717v1 Journal articles yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem. Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation Software and Systems Modeling, Springer Verlag, 2015, pp.173-199. ⟨10.1007/s10270-013-0323-y⟩
	hal-01286338v1 Journal articles Thomas Bonald, Minh-Anh Tran. Flow vs. Time Sampling for Throughput Performance Evaluation Performance Evaluation, Elsevier, 2007, ⟨10.1016/j.peva.2007.06.010⟩
	inria-00168530v1 Directions of work or proceedings Isabelle Puaut, Nicolas Navet, Françoise Simonot-Lion. Proceedings of the 15th International Conference on Real-Time and Network Systems (RTNS'07) Isabelle Puaut and Nicolas Navet and Françoise Simonot-Lion. Institut National Polytechnique de Lorraine - Atelier de Reprographie, pp.238, 2007, 2-905267-53-4
	hal-02089835v1 Conference papers Sara Zermani, Catherine Dezan. Generation of a Reconfigurable Probabilistic Decision-Making Engine based on Decision Networks: UAV Case Study Workshop on Autonomous Systems Design (ASD/DATE), Mar 2019, Florence, Italy
	hal-01185238v3 Conference papers Matthieu Renard, yliès Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jéron et al. Enforcement of (Timed) Properties with Uncontrollable Events 12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), Oct 2015, Cali, Colombia. pp.542-560, ⟨10.1007/978-3-319-25150-9_31⟩
	hal-00169959v1 Other publications Ana Bušić. Comparaison stochastique de modèles markoviens : une approche algorithmique et ses applications en fiabilité et en évaluation de performance 2007
	hal-02887463v1 Book sections Jonathan Dabi, Isaac Wiafe, Agnis Stibe, Jamal-Deen Abdulai. Can an Enterprise System Persuade? The Role of Perceived Effectiveness and Social Influence Lecture Notes in Computer Science (LNCS, volume 10809), pp.45-55, 2018, ⟨10.1007/978-3-319-78978-1_4⟩
	hal-01451162v1 Journal articles Stef Graillat, Clothilde Jeangoudoux, Christoph Lauter. MPDI: A Decimal Multiple-Precision Interval Arithmetic Library Reliable Computing Journal, 2017, Volume 25 (Special volume containing refereed papers from SCAN 2016), 25, pp.38-52
	hal-00648628v1 Conference papers Karine Altisen, Matthieu Moy. Causality closure for a new class of curves in real-time calculus Proceedings of the 1st International Workshop on Worst-Case Traversal Time, Nov 2011, Vienna, Austria. pp.3--10, ⟨10.1145/2071589.2071590⟩
	hal-00331430v1 Conference papers Romain Real, Magali Pralus, Maurice Pillet, Ludovic Guizzi. Une première étape vers le Lean dans les entreprises de sous-traitance mécanique (Retour sur 7 ans de pratique) 5ème Conférence Internationale Conception et Production Intégrées CPI'2007, Oct 2007, Rabat, Maroc
	hal-00491275v1 Book sections Fabien Belmonte, Jean-Louis Boulanger, Walter Schon, Karim Berkani. Role of supervision systems in railway safety G. Sciutto. Safety and Security in Railway Engineering, WITPress, pp.59-68, 2010
	hal-01131424v1 Conference papers Lotfi Zaouche, Sofiane Aitarab, Anfel Khireddine, Mawloud Omar, Enrico Natalizio et al. A reputation-based approach using collaborative indictment/exculpation for detecting and isolating selfish nodes in MANETs International conference on advanced Networking, Distributed Systems and applications (INDS 2014), Jun 2014, Béjaia, Algeria
	hal-01130478v1 Reports David Beniamine, youenn Corre, Damien Dosimont, Guillaume Huard. Memory Organisation Cartography & Analysis [Research Report] RR-8694, INRIA Grenoble; INRIA. 2015
	hal-01930324v1 Journal articles Kossi Tiassou, Karama Kanoun, Mohamed Kaâniche, Christel Seguin, Chris Papadopoulos. Fiabilité de mission d’un avion. évaluation stochastique en opération Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2014, 33 (9-10), pp.777 - 807. ⟨10.3166/tsi.33.777-807⟩
	hal-01773674v1 Conference papers Thomas Bonald, Céline Comte, Fabien Mathieu. Un seul serveur vous manque, et tout est découplé ! ALGOTEL 2018 - 20èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2018, Roscoff, France
	hal-02490956v1 Journal articles Anne Benoit, Joanna Jongwane. Quand des erreurs se produisent dans les supercalculateurs Interstices, INRIA, 2020
	hal-03454318v1 Conference papers Sadek Rayan Aktouche, Mohamed Sallak, Abdelmadjid Bouabdallah, Walter Schön. Towards a Relational Model for Collaborative Safety and Security Risk Assessment Processes 31st European Safety and Reliability Conference (ESREL 2021), Sep 2021, Angers, France. pp.2673-2678, ⟨10.3850/978-981-18-2016-8_535-cd⟩
	in2p3-00907381v1 Conference papers R. Bardenet, Balázs Kégl, M. Brendel, Michèle Sebag. Collaborative hyperparameter tuning 30th International Conference on Machine Learning (ICML 2013), Jun 2013, Atlanta, United States. pp.199-207
	hal-03051751v1 Conference papers Guilherme Iecker Ricardo, Giovanni Neglia, Thrasyvoulos Spyropoulos. Caching Policies for Delay Minimization in Small Cell Networks with Joint Transmissions ICC 2020 - IEEE International Conference on Communications (ICC), Jun 2020, Dublin, Ireland. pp.1-6, ⟨10.1109/ICC40277.2020.9149237⟩
	hal-01131239v1 Conference papers Julien Iguchi-Cartigny, Pierrick Buret, Gilles Grimaud. Genetic Algorithm for DWCET Evaluation on Complex Platform 9th IEEE International Symposium on Industrial Embedded Systems, Jun 2014, Pisa, Italy
	hal-01408979v1 Conference papers Manuel Selva, Lionel Morel, Kevin Marquet. numap: A Portable Library For Low-Level Memory Profiling Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS), Jul 2016, Samos, Greece. ⟨10.1109/SAMOS.2016.7818331⟩
	hal-02890500v1 Conference papers Matthieu Journault, Antoine Miné, Raphaël Monat, Abdelraouf Ouadjaout. Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer VSTTE 2019 : 11th Working Conference on Verified Software: Theories, Tools, and Experiments, Jul 2019, New York, United States. pp.1-18, ⟨10.1007/978-3-030-41600-3_1⟩
	hal-01372672v1 Conference papers Divya Gupta, Lucas Perronne, Sara Bouchenak. BFT-Bench: A Framework to Evaluate BFT Protocols The 7th ACM/SPEC on International Conference on Performance Engineering (ICPE 2016), Mar 2016, Delft, Netherlands. pp.109-112, ⟨10.1145/2851553.2858667⟩
	hal-00908447v1 Journal articles George Bosilca, Aurélien Bouteiller, Elisabeth Brunet, Franck Cappello, Jack Dongarra et al. Unified Model for Assessing Checkpointing Protocols at Extreme-Scale Concurrency and Computation: Practice and Experience, Wiley, 2013, 26 (17), pp.2727-2810. ⟨10.1002/cpe.3173⟩
	hal-00180751v1 Journal articles Wojtek Bigos, Stéphane Gosselin, Bernard Cousin, Morgane Le Foll, Hisao Nakajima. Optimized Design of Survivable MPLS over Optical Transport Networks Optical Switching and Networking, Elsevier, 2006, 3 (3-4), pp.202-218. ⟨10.1016/j.osn.2006.08.001⟩
	hal-00818836v1 Journal articles Pierre Olivier, Jalil Boukhobza. Un système de cache hiérarchique pour les E/S présentant des motifs séquentiels pour les mémoires flash NAND Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2013, 32 (2), pp.203-228. ⟨10.3166/tsi.32.203-228⟩
	1 2 3 4 5 6 7 8 9 10 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF HTML Advanced export... Syndicated feeds RSS ATOM

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Keyword Minimize

Type of deposit Minimize

Year Minimize