Search - Archive ouverte HAL Access content directly

Filter your results

346 Results

Openflow and on demand networks

Mounira Msahli , Guy Pujolle , Ahmed Serhrouchni , Ahmad Fadlallah , Fouad Guenane et al.
2012 Third International Conference on the Network of the Future (NOF), Nov 2012, Tunis, Tunisia. pp.1-5, ⟨10.1109/NOF.2012.6464006⟩
Conference papers hal-02354918v1

optimal Chudnovsky Chudnovsky multiplication algorithms

Matthieu Rambaud
WAIFI 2014, Jul 2015, gebze, Turkey
Conference papers hal-02287379v1

Optimal Concurrency for List-Based Sets

Petr Kuznetsov , Vitaly Aksenov , Vincent Gramoli , Srivatsan Ravi
Parallel Computing Technologies - 16th International Conference, Sep 2021, Kaliningrad, Russia
Conference papers hal-03560232v1

Optimal Deployment of Security Policies: Application to Industrial Control Systems

Ziad Ismail , Jean Leneutre , Alia Fourati
14th European Dependable Computing Conference (EDCC 2018), Sep 2018, Iasi, Romania
Conference papers hal-02287944v1

Organising Complexity: Hierarchies and Holarchies

Ada Diaconescu
Organic Computing: Technical Systems for Survival in the Real World, Christian Muller-Schloer and Sven Tomforde Edts., (Springer International Publishing), pp.89-106, 2017
Book sections hal-02287626v1

Panel session on AADL and its annexes

J. Hugues , Laurent Pautet , M Filali , Frank Singhoff
15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2010), Mar 2010, Oxford, United Kingdom
Conference papers hal-00652435v1

Parallel Combining: Benefits of Explicit Synchronization

Vitaly Aksenov , Petr Kuznetsov , Anatoly Shalyto
22nd International Conference on Principles of Distributed Systems, OPODIS 2018, December 17-19, 2018, Hong Kong, China, 2018, Hong Kong, China. pp.11:1-11:16, ⟨10.4230/LIPIcs.OPODIS.2018.11⟩
Conference papers hal-02412405v1

Parallel Combining: Making Use of Free Cycles

Vitaly Aksenov , Petr Kuznetsov
CoRR, 2017, abs/1710.07588
Journal articles hal-02287770v1

Parameter sensitivity analysis of the Energy/Frequency Convexity Rule for application processors

Karel de Vogeleer , Gérard Memmi , Pierre Jouvelot
Journal of Sustainable Computing, Informatics and Systems, 2017, 15, pp.16-27
Journal articles hal-02287590v1
Image document

Parameter Sensitivity Analysis of the Energy/Frequency Convexity Rule for Nanometer-scale Application Processors

Karel de Vogeleer , Gerard Memmi , Pierre Jouvelot
Sustainable Computing : Informatics and Systems, 2017, 15, pp.16-27. ⟨10.1016/j.suscom.2017.05.001⟩
Journal articles hal-01531295v1
Image document

PBRE: A Rule Extraction Method from Trained Neural Networks Designed for Smart Home Services

Mingming Qiu , Elie Najm , Rémi Sharrock , Bruno Traverson
Christine Strauss; Alfredo Cuzzocrea; Gabriele Kotsis; A Min Tjoa; Ismail Khalil. Database and Expert Systems Applications. 33rd International Conference, DEXA 2022, Vienna, Austria, August 22–24, 2022, Proceedings, Part II, 13427, Springer International Publishing, pp.158-173, 2022, Lecture Notes in Computer Science, 978-3-031-12425-9. ⟨10.1007/978-3-031-12426-6_13⟩
Book sections hal-03860813v1

PCM in cloud

Mounira Msahli , Ahmed Serhrouchni
IEEE International Conference on Granular Computing (GrC), Oct 2014, Noboribetsu, Japan
Conference papers hal-02288436v1

PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems

Laurent Pautet , Etienne Borde , Thomas Robert , Antoine Jaouen
International Conference on Reliable Software Technologies, Jun 2014, Paris, France. pp.149-165
Conference papers hal-01115671v1

Perfect Failure Detection with Very Few Bits

Pierre Fraigniaud , Sergio Rajsbaum , Corentin Travers , Petr Kuznetsov , Thibault Rieutord et al.
18th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2016, Lyon, France
Conference papers hal-01423637v1

Perfect failure detection with very few bits

Pierre Fraigniaud , Sergio Rajsbaum , Corentin Travers , Petr Kuznetsov , Thibault Rieutord et al.
Information and Computation, 2020, 275, pp.104604. ⟨10.1016/j.ic.2020.104604⟩
Journal articles hal-03559548v1
Image document

Perfect Failure Detection with Very Few Bits

Pierre Fraigniaud , Sergio Rajsbaum , Corentin Travers , Petr Kuznetsov , Thibault Rieutord et al.
[Research Report] LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2016
Reports hal-01365304v1

Performance Analysis of an Energy Trading Platform Using the Ethereum Blockchain

Dongmin Son , Sawsan Al Zahr , Gerard Memmi
2021 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), May 2021, Sydney, France. pp.1-3, ⟨10.1109/ICBC51069.2021.9461115⟩
Conference papers hal-03559711v1
Image document

Permissionless and Asynchronous Asset Transfer

Petr Kuznetsov , Yvonne-Anne Pignolet , Pavel Ponomarev , Andrei Tonkikh
DISC, Oct 2021, Strasbourg, France. ⟨10.4230/LIPIcs.DISC.2021.28⟩
Conference papers hal-03559627v1

Poster Abstract: Secure Data Sharing by Means of Fragmentation, Encryption, and Dispersion

Katarzyna Kapusta , Han Qiu , Gérard Memmi
IEEE INFOCOM 2019 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), Apr 2019, Paris, France. pp.1051-1052, ⟨10.1109/INFCOMW.2019.8845243⟩
Conference papers hal-02450308v1

POSTER: A Keyless Efficient Algorithm for Data Protection by Means of Fragmentation

Katarzyna Kapusta , Gérard Memmi , Hassan Noura
ACM Conference on Computer and Communications Security 2016, Oct 2016, Vienna, Austria
Conference papers hal-02287535v1

POSTER: Circular AON: A very fast Scheme to protect Encrypted Data Against Key Exposure

Katarzyna Kapusta , Gérard Memmi
ACM CCS’18, Oct 2018, Toronto, Canada
Conference papers hal-02288015v1

POSTER: Resistance Analysis of Two AES-Like Against the Boomerang Attack

Laetitia Debesse , Sihem Mesnager , Mounira Msahli
Applied Cryptography and Network Security Workshops, 12809, Springer International Publishing, pp.485-489, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-81645-2_27⟩
Book sections hal-03569438v1

Precise and Efficient Analysis of Context-Sensitive Cache Conflict Sets

Florian Brandner , Camille Noûs
RTNS 2020: 28th International Conference on Real-Time Networks and Systems, Jun 2020, Paris France, France. pp.44-55, ⟨10.1145/3394810.3394811⟩
Conference papers hal-02894150v1

Precise, efficient, and context-sensitive cache analysis

Florian Brandner , Camille Noûs
Real-Time Systems, 2021, ⟨10.1007/s11241-021-09372-5⟩
Journal articles hal-03559857v1

Precondition Analysis in Algebraic Graph Transformation to Support the Testing of Model Transformation Chains

Elie Richa , Etienne Borde , Laurent Pautet , Matteo Bordin , José Riuz et al.
MODELS workshop on Analysis of Model Transformations, Oct 2014, Valencia, Spain. pp.34-43
Conference papers hal-01115716v1

Preface to the 1st Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS 2019)

Simon van Mierlo , Eugene Syriani , Dominique Blouin , Moussa Amrani , Julien Deantoni et al.
MODELS Conference 2019 - ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems, Sep 2019, Munich, Germany. pp.2, ⟨10.1109/MODELS-C.2019.00066⟩
Conference papers hal-02428017v1

Preserving privacy in distributed system (PPDS) protocol: Security analysis

Ashref Aloui , Mounira Msahli , Talel Abdessalem , Stephane Bressan , Sihem Mesnager et al.
2017 IEEE 36th International Performance Computing and Communications Conference (IPCCC), Dec 2017, San Diego, France. pp.1-7, ⟨10.1109/PCCC.2017.8280505⟩
Conference papers hal-02353278v1

Privacy as a Service: Anonymisation of NetFlow Traces

Ashref Aloui , Mounira Msahli , Talel Abdessalem , Sihem Mesnager , Stéphane Bressan et al.
16th International Conference on e-Business Engineerin,(ICEBE 2019), Oct 2019, Shanghai, China
Conference papers hal-03035791v1

Privacy as a Service: Anonymisation of NetFlow Traces

Ashref Aloui , Mounira Msahli , Talel Abdessalem , Sihem Mesnager , Stéphane Bressan et al.
Advances in E-Business Engineering for Ubiquitous Computing, pp.561-571, 2020, ⟨10.1007/978-3-030-34986-8_39⟩
Book sections hal-03042197v1
Image document

Privacy-preserving content-based publish/subscribe with encrypted matching and data splitting

Nathanaël Denis , Pierre Chaffardon , Denis Conan , Maryline Laurent , Sophie Chabridon et al.
SECRYPT 2020: 17th International Conference on Security and Cryptography, Jul 2020, Lieusaint - Paris, France. pp.405-414, ⟨10.5220/0009833204050414⟩
Conference papers hal-02910407v1