Filter your results
- 247
- 97
- 2
- 207
- 76
- 25
- 13
- 10
- 4
- 4
- 3
- 2
- 2
- 338
- 30
- 8
- 5
- 4
- 2
- 1
- 1
- 1
- 1
- 29
- 39
- 30
- 42
- 29
- 40
- 23
- 37
- 24
- 21
- 10
- 5
- 6
- 5
- 3
- 1
- 1
- 330
- 16
- 308
- 22
- 9
- 8
- 8
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 49
- 49
- 44
- 38
- 35
- 21
- 21
- 20
- 17
- 17
- 16
- 13
- 11
- 11
- 10
- 10
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
346 Results
|
The Energy/Frequency Convexity Rule: Modeling and Experimental Validation on Mobile DevicesWorkshop 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
|
||
|
Parameter Sensitivity Analysis of the Energy/Frequency Convexity Rule for Nanometer-scale Application ProcessorsSustainable 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 ProgramsInternational 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 processorsJournal of Sustainable Computing, Informatics and Systems, 2017, 15, pp.16-27
Journal articles
hal-02287590v1
|
|||
|
Controlling self-organising software applications with archetypesIEEE 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 AttackApplied 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
|
|||
|
Modeling and Validation of ARINC653 architecturesERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France. pp.1-8
Conference papers
hal-02269428v1
|
||
|
Code Generation Strategies from AADL Architectural Descriptions Targeting the High Integrity DomainEmbedded Real Time Software and Systems (ERTS2008), Jan 2008, toulouse, France
Conference papers
insu-02270097v1
|
||
|
Validate, Simulate and Implement ARINC653 Systems using the AADLACM SIGAda Ada Letters, 2009, 29 (3), pp.31-44. ⟨10.1145/1653616.1647435⟩
Journal articles
hal-00745370v1
|
||
Set-Consensus Collections are DecidableOPODIS, Dec 2016, MADRID, Spain
Conference papers
hal-01416981v1
|
|||
|
Privacy-preserving content-based publish/subscribe with encrypted matching and data splittingSECRYPT 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-homeUBICOMP Ubiquitous computing, Sep 2014, Seattle, United States
Conference papers
hal-02288439v1
|
|||
Efficiency vs Creativity as Organising Principles of Socio-Technical SystemsIEEE Technology and Society Magazine, 2019
Journal articles
hal-03023532v1
|
|||
Self-awareness and Decision-taking in Socio-Cyber-Physical Systems. An Architectural Perspective3rd 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 Homes2018
Other publications
hal-01996515v1
|
|||
Goal-oriented Holonics for Complex System (Self-)Integration: Concepts and Case Studies10th 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 SystemsOrganic 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 PathologiesIEEE Technology and Society Magazine, 2017
Journal articles
hal-02287625v1
|
|||
Holonic Institutions for Multi-Scale Polycentric Self-GovernanceLecture Notes in Computer Science, 2015, 9372, pp.19-35
Journal articles
hal-02287383v1
|
|||
|
Exogenous coordination in multi-scale systems: How information flows and timing affect system propertiesFuture Generation Computer Systems, 2021
Journal articles
hal-03023050v1
|
||
Multi-Scale Feedbacks for Large-Scale Coordination in Self-Systems2019 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]IEEE Technology and Society Magazine, 2019, 38 (1), pp.13-22. ⟨10.1109/MTS.2019.2894455⟩
Journal articles
hal-02449500v1
|
||
Organising Complexity: Hierarchies and HolarchiesOrganic 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 Systems2018
Other publications
hal-01996481v1
|
|||
|
CoRA: a scalable Collective Remote Attestation protocol for sensor networksICISSP 2020: 6th International Conference on Information Systems Security and Privacy, Feb 2020, Valletta, Malta. pp.84-95, ⟨10.5220/0008962700840095⟩
Conference papers
hal-03024074v1
|
||
|
Questioning the security and efficiency of the ESIoT approachWISEC 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 StorageGameSec, Nov 2014, Los Angeles, United States
Conference papers
hal-01110522v1
|
|||
|
DUX4-induced constitutive DNA damage and oxidative stress contribute to aberrant differentiation of myoblasts from FSHD patientsFree 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 consistencyDistributed Computing, 2019, 32 (6), pp.479-492. ⟨10.1007/s00446-016-0292-9⟩
Journal articles
hal-02413314v1
|
||
|
The Weakest Failure Detector for Eventual Consistency34th 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
|