Search - Archive ouverte HAL Access content directly

Filter your results

346 Results
Image document

Brief Announcement: On the Uncontended Complexity of Anonymous Consensus

Claire Capdevielle , Colette Johnen , Petr Kuznetsov , Alessia Milani
DISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan
Conference papers hal-01207895v1
Image document

Brief Announcement: A Concurrency-Optimal List-Based Set

Vincent Gramoli , Petr Kuznetsov , Srivatsan Ravi , Di Shang
DISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan
Conference papers hal-01207872v1
Image document

Grasping the Gap between Blocking and Non-Blocking Transactional Memories

Petr Kuznetsov , Srivatsan Ravi
DISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan. ⟨10.1007/978-3-662-48653-5_16⟩
Conference papers hal-01206451v1
Image document

Inherent Limitations of Hybrid Transactional Memory

Dan Alistarh , Justin Kopinsky , Petr Kuznetsov , Srivatsan Ravi , Nir Shavit et al.
DISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan. ⟨10.1007/978-3-662-48653-5_13⟩
Conference papers hal-01206434v1

A Comparative Study of the Precision of Stack Cache Occupancy Analyses

Naji Amine , Florian Brandner
9th Junior Researcher Workshop on Real-Time Computing, Nov 2015, Lille, France. pp.13-16
Conference papers hal-02287276v1

Holonic Institutions for Multi-Scale Polycentric Self-Governance

Ada Diaconescu , Jeremy Pitt
Lecture Notes in Computer Science, 2015, 9372, pp.19-35
Journal articles hal-02287383v1

Generalized mixed-criticality scheduling based on RUN

Romain Gratia , Thomas Robert , Laurent Pautet
23rd International Conference on Real-Time Networks and Systems (RTNS '15), Nov 2015, Lille France, France. pp.267-276, ⟨10.1145/2834848.2834873⟩
Conference papers hal-03629047v1

A Comparative Study of the Precision of Stack Cache Occupancy Analyses

Amine Naji , Florian Brandner
9th Junior Researcher Workshop on Real-Time Computing, Julien Forget, Nov 2015, Lille, France. pp.4
Conference papers hal-01246343v1

Efficient Context Switching for the Stack Cache

Sahar Abbaspour , Florian Brandner , Amine Naji , Mathieu Jan
Proceedings of the 23rd International Conference on Real Time and Networks Systems, Julien Forget (Université de Lille, France), Nov 2015, Lille, France. pp.10, ⟨10.1145/2834848.2834861⟩
Conference papers hal-01246348v1

CALCULATEUR COMPRENANT UN PROCESSEUR MULTICOEUR ET PROCEDE DE CONTROLE D'UN TEL CALCULATEUR

Xavier Jean , Marc Gatti , David Faura , Thomas Robert
France, N° de brevet: FR20130002040 20130903. XJTR:BrevMulDet-2015. 2015, pp.31
Patents hal-02412552v1

Multi-objectives Refinement of AADL Models for the Synthesis Embedded Systems (mu-RAMSES)

Smail Rahmoun , Etienne Borde , Laurent Pautet
ICECCS, Dec 2015, Gold Coast, Australia. pp.21-30
Conference papers hal-02292449v1

Digital safe: Secure synchronization of shared files

Mayssa Jemel , Mounira Msahli , Ahmed Serhrouchni
2015 11th International Conference on Information Assurance and Security (IAS), Dec 2015, Marrakech, France. pp.67-72, ⟨10.1109/ISIAS.2015.7492747⟩
Conference papers hal-02354919v1

On the Uncontended Complexity of Anonymous Consensus

Claire Capdevielle , Colette Johnen , Petr Kuznetsov , Alessia Milani
19th International Conference on Principles of Distributed Systems - OPODIS 2015, Dec 2015, Rennes, France. ⟨10.4230/LIPIcs.OPODIS.2015.12⟩
Conference papers hal-01411528v1

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
Image document

Formal semantics of behavior specifications in the architecture analysis and design language standard

Loïc Besnard , Thierry Gautier , Paul Le Guernic , Clément Guy , Jean-Pierre Talpin et al.
[Research Report] RR-8950, INRIA. 2016, pp.30 - 39
Reports hal-01419973v1

SyncDS: A digital safe based file synchronization approach

Mayssa Jemel , Mounira Msahli , Ahmed Serhrouchni
2016 13th IEEE Annual Consumer Communications & Networking Conference (CCNC), Jan 2016, Las Vegas, France. pp.317-318, ⟨10.1109/CCNC.2016.7444796⟩
Conference papers hal-02354922v1

A Model-Based Testing Process for Enhancing Structural Coverage in Functional Testing

Yanjun Sun , Gérard Memmi , Sylvie Vignes
Int. Conf. CSDM Asia, Feb 2016, Singapore, Singapore. pp.171-180
Conference papers hal-02287374v1

In-Band Synchronization for Distributed SDN Control Planes

Liron Schiff , Stefan Schmid , Petr Kuznetsov
Computer Communication Review, 2016, 46 (1), pp.37-43
Journal articles hal-02287556v1
Image document

Complexité du consensus anonyme en l'absence de concurrence

Claire Capdevielle , Colette Johnen , Petr Kuznetsov , Alessia Milani
ALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2016, Bayonne, France
Conference papers hal-01304268v2

Thermal behavior and Energy/Frequency Convexity Rule of Energy Consumption for Programs

Karel de Vogeleer , Pierre Jouvelot , Gerard Memmi
International Conference on Software & Systems Engineering and their Applications (ICSSEA'16) , May 2016, Paris, France
Conference papers hal-01531505v1

Modélisation de la consommation énergétique des programmes : aspects thermiques et loi de convexité énergie-fréquence

Pierre Jouvelot , Karel de Vogeleer , Gerard Memmi
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2016, 117, pp 47-59
Journal articles hal-01531341v1

Eager Stack Cache Memory Transfers

Naji Amine , Florian Brandner
Workshop on Worst-Case Execution Time Analysis, Jul 2016, Toulouse, France
Conference papers hal-02287376v1

Auditing a Cloud Provider's Compliance with Data Backup Requirements: A Game Theoretical Analysis

Ziad Ismail , Christophe Kiennert , Jean Leneutre , David Bateman , Lin Chen et al.
IEEE Transactions on Information Forensics and Security, 2016, 11, pp.1685-1699. ⟨10.1109/tifs.2016.2549002⟩
Journal articles hal-01418390v1

Model-Based Verification Directed by Structural Coverage and Functional Requirements

Yanjun Sun , Gérard Memmi , Sylvie Vignes
Model-Based Verification & Validation (MVV), Aug 2016, Vienna, Austria
Conference papers hal-02287373v1

Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies

Istvan David , Eugene Syriani , Clark Verbrugge , Didier Buchs , Dominique Blouin et al.
1st Int. Workshop on Collaborative Modelling in MDE, Sep 2016, St-Malo, France
Conference papers hal-02287520v1

Goal-oriented Holonics for Complex System (Self-)Integration: Concepts and Case Studies

Ada Diaconescu , Sylvain Frey , Christian Müller-Schloer , Jeremy Pitt , Sven Tomforde et al.
10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2016), Sep 2016, Augsburg, Germany. pp.10
Conference papers hal-02287380v1

Interactive Self-Governance and Value-Sensitive Design for Self-Organising Socio-Technical Systems

Jeremy Pitt , Ada Diaconescu
Fourth International Workshop on Self-Adaptive and Self-Organising Socio-Technical Systems (SASO^ST@SASO2016), Sep 2016, Ausgburg, Germany
Conference papers hal-02288465v1

Structure informatique perfectionnée d’un objet connecté

Rayhana Baghli , Elie Najm , Bruno Traverson
France, N° de brevet: B2665. RB-EN-BT:Brevet16. 2016
Patents hal-02412544v1
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
Image document

DUX4-induced constitutive DNA damage and oxidative stress contribute to aberrant differentiation of myoblasts from FSHD patients

Petr Dmitriev , Yara Bou Saada , Carla Dib , Eugénie Ansseau , Ana Barat et al.
Free Radical Biology and Medicine, 2016, 99, pp.244 - 258. ⟨10.1016/j.freeradbiomed.2016.08.007⟩
Journal articles hal-01804819v1

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
Image document

Formal semantics of behavior specifications in the architecture analysis and design language standard

Loïc Besnard , Thierry Gautier , Clément Guy , Paul Le Guernic , Jean-Pierre Talpin et al.
HLDVT 2016 - 18th IEEE International High-Level Design Validation and Test Workshop, Oct 2016, Santa Cruz, United States. pp.30-39, ⟨10.1109/HLDVT.2016.7748252⟩
Conference papers hal-01419968v1

Dynamic Cluster Size Optimization in Hybrid Cellular-Vehicular Networks

Julian Garbiso , Ada Diaconescu , Marceau Coupechoux , Bertrand Leroy
IEEE Intelligent Transportation Systems Conference, Nov 2016, Rio de Janeiro, Brazil. pp.1-7
Conference papers hal-02287402v1

A Methodology to Apply a Game Theoretic Model of Security Risks Interdependencies Between ICT and Electric Infrastructures

Ziad Ismail , Jean Leneutre , David Bateman , Lin Chen
GameSec, Nov 2016, New York, United States
Conference papers hal-01418446v1

Extending TLS with KMIP Protocol for Cloud Computing

Mounira Msahli , Ahmed Serhrouchni , Mohamad Badra
2016 8th IFIP International Conference on New Technologies, Mobility and Security (NTMS), Nov 2016, Larnaca, France. pp.1-6, ⟨10.1109/NTMS.2016.7792452⟩
Conference papers hal-02343631v1

Set-Consensus Collections are Decidable

Carole Delporte-Gallet , Hugues Fauconnier , Eli Gafni , Petr Kuznetsov
OPODIS, Dec 2016, MADRID, Spain
Conference papers hal-01416981v1

Parallel Combining: Making Use of Free Cycles

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

On the uncontended complexity of anonymous agreement

Claire Capdevielle , Colette Johnen , Petr Kuznetsov , Alessia Milani
Distributed Computing, 2017, 30 (6), pp.459-468. ⟨10.1007/s00446-017-0297-z⟩
Journal articles hal-02287767v1

Non-interference and local correctness in transactional memory

Petr Kuznetsov , Sathya Peri
Theor. Comput. Sci., 2017, 688, pp.103-116. ⟨10.1016/j.tcs.2016.06.021⟩
Journal articles hal-02287768v1

The notion of self-aware computing

Samuel Kounev , Peter Lewis , Kirstie Bellman , Nelly Bencomo , Javier Camara et al.
Self-Aware Computing Systems, S. Kounev, J. O. Kephart, A. Milenkoski, and X. Zhu, pp.3-16, 2017
Book sections hal-02287557v1

On some bounds for symmetric tensor rank of multiplication in finite fields

Stéphane Ballet , Julia Pieltant , Matthieu Rambaud , Jeroen Sijsling
Alp Bassa, Alain Couvreur and David Kohel. ARITHMETIC, GEOMETRY, CRYPTOGRAPHY AND CODING THEORY, 686, AMER MATHEMATICAL SOC, pp.93 - 121, 2017, Contemporary Mathematics, 978-1-4704-2810-5. ⟨10.1090/conm/686/13779⟩
Book sections hal-01318315v1

Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard

Loic Besnard , Thierry Gautier , Paul Le Guernic , Clément Guy , Jean-Pierre Talpin et al.
Cyber-Physical System Design from an Architecture Analysis Viewpoint, Springer, 2017, Cyber-Physical System Design from an Architecture Analysis Viewpoint, ⟨10.1007/978-981-10-4436-6_3⟩
Book sections hal-01615143v1
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

Towards a framework for the levels and aspects of selfaware computing systems

Peter Lewis , Kirstie Bellman , Chris Landauer , Lukas Esterle , Kyrre Glette et al.
Self-Aware Computing Systems, S. Kounev, J. O. Kephart, A. Milenkoski, and X. Zhu, editors; Spinger International Publishing, pp.51-85, 2017
Book sections hal-02287558v1

Goal-oriented Holonic Systems

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

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
Image document

Note sur la cryptanalyse de Diffie-Hellman

Gerard Memmi , Matthieu Rambaud
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2017
Journal articles hal-03022599v1

Note sur la cryptanalyse de Diffie-Hellman

Matthieu Rambaud , Gérard Memmi
Génie Logiiel, 2017, 120, pp.56-60
Journal articles hal-02287591v1

Towards an Efficient File Synchronization between Digital Safes

Mayssa Jemel , Mounira Msahli , Ahmed Serhrouchni
2017 IEEE 31st International Conference on Advanced Information Networking and Applications (AINA), Mar 2017, Taipei, France. pp.136-143, ⟨10.1109/AINA.2017.115⟩
Conference papers hal-02354920v1

Incentive-oriented Task Assignment in Holonic Organic Systems

Jan Kantert , Sven Tomforde , Ada Diaconescu , Christian Müller-Schloer
5th International Workshop on "Self-Optimisation in Autonomic and Organic Computing Systems, SAOS@ARCS 2017, Apr 2017, Vienna, Austria
Conference papers hal-02287560v1