Search - Archive ouverte HAL Access content directly

Filter your results

346 Results
Image document

The Energy/Frequency Convexity Rule: Modeling and Experimental Validation on Mobile Devices

Karel de Vogeleer , Gérard Memmi , Pierre Jouvelot , Fabien Coelho
Workshop on Power and Energy Aspects of Computation, In conjunction with the 10th International Conference on Parallel Processing and Applied Mathematics (PPAM'2013), Sep 2013, Varsovie, Poland. pp 793-803, ⟨10.1007/978-3-642-55224-3_74⟩
Conference papers hal-00919414v1
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

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

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

Controlling self-organising software applications with archetypes

Bassem Debbabi , Ada Diaconescu , Philippe Lalanda
IEEE International Conference on Self-Adaptive and Self-Organizing Systems, Sep 2012, Lyon, France. ⟨10.1109/SASO.2012.21⟩
Conference papers hal-02286412v1

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

Modeling and Validation of ARINC653 architectures

Julien Delange , Laurent Pautet , Fabrice Kordon
ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France. pp.1-8
Conference papers hal-02269428v1
Image document

Code Generation Strategies from AADL Architectural Descriptions Targeting the High Integrity Domain

Julien Delange , Jérôme Hugues , Laurent Pautet , Bechir Zalila
Embedded Real Time Software and Systems (ERTS2008), Jan 2008, toulouse, France
Conference papers insu-02270097v1

Validate, Simulate and Implement ARINC653 Systems using the AADL

Julien Delange , Laurent Pautet , Alain Plantec , Mickael Kerboeuf , Frank Singhoff et al.
ACM SIGAda Ada Letters, 2009, 29 (3), pp.31-44. ⟨10.1145/1653616.1647435⟩
Journal articles hal-00745370v1

Set-Consensus Collections are Decidable

Carole Delporte-Gallet , Hugues Fauconnier , Eli Gafni , Petr Kuznetsov
OPODIS, Dec 2016, MADRID, Spain
Conference papers hal-01416981v1
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

Sensemaking in the autonomic smart-home

Robin Despouys , Rémi Sharrock , Isabelle Demeure
UBICOMP Ubiquitous computing, Sep 2014, Seattle, United States
Conference papers hal-02288439v1

Efficiency vs Creativity as Organising Principles of Socio-Technical Systems

Ada Diaconescu
IEEE Technology and Society Magazine, 2019
Journal articles hal-03023532v1

Self-awareness and Decision-taking in Socio-Cyber-Physical Systems. An Architectural Perspective

Ada Diaconescu , Jeremy Pitt
3rd International Workshop on Self-Awareness in Cyber-Physical Systems (SelPhyS'18), Apr 2018, Birmingham, United Kingdom
Conference papers hal-02287875v1

Self-integrating Organic Control Systems: from Crayfish to Smart Homes

Ada Diaconescu , Pembe Mata , Kirstie Bellman
2018
Other publications hal-01996515v1

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

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

Technological Impacts in Socio-Technical Communities. Values and Pathologies

Ada Diaconescu , Jeremy Pitt
IEEE Technology and Society Magazine, 2017
Journal articles hal-02287625v1

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

Exogenous coordination in multi-scale systems: How information flows and timing affect system properties

Ada Diaconescu , Louisa Jane Di Felice , Patricia Mellodge
Future Generation Computer Systems, 2021
Journal articles hal-03023050v1

Multi-Scale Feedbacks for Large-Scale Coordination in Self-Systems

Ada Diaconescu , Louisa Jane Di Felice , Patricia Mellodge
2019 IEEE 13th International Conference on Self-Adaptive and Self-Organizing Systems (SASO), Jun 2019, Umea, France. pp.137-142, ⟨10.1109/SASO.2019.00025⟩
Conference papers hal-02449657v1

Efficiency Versus Creativity as Organizing Principles of Socio-Technical Systems: Why Do We Build (Intelligent) Systems? [Commentary]

Ada Diaconescu
IEEE Technology and Society Magazine, 2019, 38 (1), pp.13-22. ⟨10.1109/MTS.2019.2894455⟩
Journal articles hal-02449500v1

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

Hierarchical Self-awareness and Authority for Scalable Self-integrating Systems

Ada Diaconescu , Barry Porter , Roberto Rodrigues , Evangelos Pournaras
2018
Other publications hal-01996481v1

CoRA: a scalable Collective Remote Attestation protocol for sensor networks

Aida Diop , Maryline Laurent , Jean Leneutre , Jacques Traoré
ICISSP 2020: 6th International Conference on Information Systems Security and Privacy, Feb 2020, Valletta, Malta. pp.84-95, ⟨10.5220/0008962700840095⟩
Conference papers hal-03024074v1
Image document

Questioning the security and efficiency of the ESIoT approach

Aida Diop , Said Gharout , Maryline Laurent , Jean Leneutre , Jacques Traoré et al.
WISEC 2018: 11th ACM Conference on Security and Privacy in Wireless and Mobile Networks, Jun 2018, Stockholm, Sweden. pp.202 - 207, ⟨10.1145/3212480.3212491⟩
Conference papers hal-01850383v1

Data Integrity and Availability Verification Game in Untrusted Cloud Storage

Brahim Djebaili , Christophe Kiennert , Jean Leneutre , Lin Chen
GameSec, Nov 2014, Los Angeles, United States
Conference papers hal-01110522v1
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

The weakest failure detector for eventual consistency

Swan Dubois , Rachid Guerraoui , Petr Kuznetsov , Franck Petit , Pierre Sens et al.
Distributed Computing, 2019, 32 (6), pp.479-492. ⟨10.1007/s00446-016-0292-9⟩
Journal articles hal-02413314v1

The Weakest Failure Detector for Eventual Consistency

Swan Dubois , Rachid Guerraoui , Petr Kuznetsov , Franck Petit , Pierre Sens et al.
34th Annual ACM Symposium on Principles of Distributed Computing (PODC-2015), Donostia-San Sebastián, Spain, Jul 2015, Donostia-San Sebastián, Spain. pp.375-384, ⟨10.1145/2767386.2767404⟩
Conference papers hal-01213330v1