Filter your results
- 248
- 97
- 1
- 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
- 21
- 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
Auditing a Cloud Provider's Compliance with Data Backup Requirements: A Game Theoretical AnalysisIEEE Transactions on Information Forensics and Security, 2016, 11, pp.1685-1699. ⟨10.1109/tifs.2016.2549002⟩
Journal articles
hal-01418390v1
|
|||
Set-Consensus Collections are DecidableOPODIS, Dec 2016, MADRID, Spain
Conference papers
hal-01416981v1
|
|||
On the Uncontended Complexity of Anonymous Consensus19th 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[Research Report] LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2016
Reports
hal-01365304v1
|
||
|
On some bounds for symmetric tensor rank of multiplication in finite fieldsAlp 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
|
||
|
Complexité du consensus anonyme en l'absence de concurrenceALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2016, Bayonne, France
Conference papers
hal-01304268v2
|
||
Efficient Context Switching for the Stack CacheProceedings 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
|
|||
A Comparative Study of the Precision of Stack Cache Occupancy Analyses9th Junior Researcher Workshop on Real-Time Computing, Julien Forget, Nov 2015, Lille, France. pp.4
Conference papers
hal-01246343v1
|
|||
|
Translating ATL Model Transformations to Algebraic Graph Transformations8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015, Jul 2015, L'Aquila, Italy. pp.183-198, ⟨10.1007/978-3-319-21155-8_14⟩
Conference papers
hal-01229113v1
|
||
|
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
|
||
Data Protection: combining fragmentation, encryption, and dispersion2015 International Conference on Cyber Security of Smart Cities, Industrial Control System and Communications, Aug 2015, Shanghai, China
Conference papers
hal-01212158v1
|
|||
Fast Selective Encryption Methods for Bitmap ImagesInternational Journal of Multimedia Data Engineering and Management (IJMDEM), 2015, 6 (51-69), pp.18
Journal articles
hal-01212143v1
|
|||
Fast Selective Encryption Method for Bitmaps Based on GPU Acceleration2014 IEEE International Symposium on Multimedia (ISM), Dec 2014, Taichung, Taiwan
Conference papers
hal-01212126v1
|
|||
|
Brief Announcement: On the Uncontended Complexity of Anonymous ConsensusDISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan
Conference papers
hal-01207895v1
|
||
|
Brief Announcement: A Concurrency-Optimal List-Based SetDISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan
Conference papers
hal-01207872v1
|
||
|
Grasping the Gap between Blocking and Non-Blocking Transactional MemoriesDISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan. ⟨10.1007/978-3-662-48653-5_16⟩
Conference papers
hal-01206451v1
|
||
|
Inherent Limitations of Hybrid Transactional MemoryDISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan. ⟨10.1007/978-3-662-48653-5_13⟩
Conference papers
hal-01206434v1
|
||
|
Teaching Real-Time Scheduling Analysis with Cheddar9ème édition de l’Ecole d’Eté « Temps Réel », Aug 2015, Rennes, France
Conference papers
hal-01166136v1
|
||
|
On the Uncontended Complexity of Anonymous Consensus[Research Report] University of Bordeaux LaBRI, UMR 5800, F-33400 Talence, France Telecom ParisTech. 2015
Reports
hal-01180864v1
|
||
|
Gardening Cyber-Physical SystemsUnconventionnal Computation and Natural Computation (UCNC'2012), Sep 2012, Orléans, France. pp.1-1
Conference papers
hal-01161014v1
|
||
Deterministic Implementation of Periodic-Delayed Communications and Experimentation in AADL17th IEEE Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC 2013), Jun 2013, Paderborn, Germany
Conference papers
hal-01121244v1
|
|||
Architecture Models Refinement for Fine Grain Timing Analysis of Embedded SystemsIEEE International Symposium on Rapid System Prototyping, Oct 2014, New Dehli, India
Conference papers
hal-01121019v1
|
|||
Architecture Models Refinement for Fine Grain Timing Analysis of Embedded SystemsInternational Symposium on Rapid System Prototyping, Oct 2014, New Delhi, India. pp.44-50
Conference papers
hal-01115723v1
|
|||
Precondition Analysis in Algebraic Graph Transformation to Support the Testing of Model Transformation ChainsMODELS workshop on Analysis of Model Transformations, Oct 2014, Valencia, Spain. pp.34-43
Conference papers
hal-01115716v1
|
|||
Automatic Production of Transformation Chains Using Structural Constraints on Output ModelsEuromicro Conference on Software Engineering and Advanced Applications, Aug 2014, Verona, Italy. pp.158 - 165
Conference papers
hal-01115708v1
|
|||
PDP 4PS : Periodic-Delayed Protocol for Partitioned SystemsInternational Conference on Reliable Software Technologies, Jun 2014, Paris, France. pp.149-165
Conference papers
hal-01115671v1
|
|||
A Game-Theoretical Model for Security Risk Management of Interdependent ICT and Electrical InfrastructuresIEEE 16th International Symposium on High Assurance Systems Engineering (HASE), Jan 2015, Daytona Beach Shores, FL, United States. ⟨10.1109/HASE.2015.24⟩
Conference papers
hal-01113223v1
|
|||
A Game Theoretical Analysis of Data Confidentiality Attacks on Smart-Grid AMIIEEE Journal on Selected Areas in Communications, 2014, 32 (7), pp.12. ⟨10.1109/JSAC.2014.2332095⟩
Journal articles
hal-01113214v1
|
|||
|
Modeling the Temperature Bias of Power Consumption for Nanometer-Scale CPUs in Application ProcessorsEmbedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), Jul 2014, Samos, Greece. pp 172-180, ⟨10.1109/SAMOS.2014.6893209⟩
Conference papers
hal-01111647v1
|
||
A Game-Theoretical Model for Security Risk Management of Interdependent ICT and Electrical InfrastructuresHASE, IEEE, Jan 2015, Daytona Beach, United States
Conference papers
hal-01110552v1
|
|||
Data Integrity and Availability Verification Game in Untrusted Cloud StorageGameSec, Nov 2014, Los Angeles, United States
Conference papers
hal-01110522v1
|
|||
|
Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL)[Technical Report] RT-0446, INRIA. 2014, pp.27
Reports
hal-00970244v2
|
||
|
Mixed-Criticality Multiprocessor Real-Time Systems: Energy Consumption vs Deadline MissesFirst Workshop on Real-Time Mixed Criticality Systems (ReTiMiCS), Aug 2013, Taipei, Taiwan. pp.1-6
Conference papers
hal-00922522v1
|
||
|
Réduction de la consommation statique des systèmes temps-réel multiprocesseursÉcole d’Été Temps Réel (ETR‘13), Aug 2013, Toulouse, France. pp.1-4
Conference papers
hal-00922521v1
|
||
|
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
|
||
|
An off-line multiprocessor real-time scheduling algorithm to reduce static energy consumptionFirst Workshop on Highly-Reliable Power-Efficient Embedded Designs (HARSH), Feb 2013, Shenzhen, China. pp.7-12
Conference papers
hal-00919169v1
|
||
|
A Decentralised Architecture for Multi-Objective Autonomic Management4th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2010), 2010, pp.267. ⟨10.1109/SASO.2010.34⟩
Journal articles
hal-00879548v1
|
||
Autonomic Computing - Principles, Design and ImplementationSpringer, pp.288, 2013, Undergraduate Topics in Computer Science, 978-1-4471-5007-7. ⟨10.1007/978-1-4471-5007-7⟩
Books
hal-00854882v1
|
|||
|
Flex-eWare: a Flexible MDE-based Solution for Designing and Implementing Embedded Distributed SystemsSoftware: Practice and Experience, 2012, 42 (12), pp.1467-1494. ⟨10.1002/spe.1143⟩
Journal articles
istex
inria-00628310v1
|
||
|
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
|
||
|
Sélection des brokers dans un réseau de capteurs en mode publication / souscription14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2012, La Grande Motte, France. pp.1-4
Conference papers
hal-00690477v1
|
||
Panel session on AADL and its annexes15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2010), Mar 2010, Oxford, United Kingdom
Conference papers
hal-00652435v1
|
|||
|
Scénarios pour un Micro Smart Grid Autonomique.UbiMob, Jun 2011, Toulouse, France. pp.88-95
Conference papers
hal-00639077v1
|
||
|
Configuration et Reconfiguration des Systèmes Temps-Reél Répartis Embarqués Critiques et AdaptatifsSystèmes embarqués. Télécom ParisTech, 2009. Français. ⟨NNT : ⟩
Theses
pastel-00563947v1
|
||
|
Early Error Detection for Fault Tolerance Strategies18th International Conference on Real-Time and Network Systems, Nov 2010, Toulouse, France. pp.159-168
Conference papers
hal-00546934v1
|
||
Complementing Ada with other programming languagesACM SIGAda international conference on Ada, 2009, St. Petersburg, United States. pp.105-114
Conference papers
hal-00479569v1
|