Filter your results
- 249
- 104
- 2
- 210
- 80
- 25
- 14
- 11
- 4
- 4
- 3
- 2
- 2
- 6
- 5
- 347
- 30
- 9
- 5
- 5
- 2
- 1
- 1
- 1
- 6
- 32
- 39
- 30
- 42
- 29
- 41
- 23
- 37
- 24
- 21
- 10
- 5
- 6
- 5
- 3
- 1
- 1
- 339
- 16
- 317
- 22
- 9
- 9
- 8
- 8
- 7
- 7
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 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
- 50
- 50
- 45
- 38
- 35
- 22
- 21
- 20
- 18
- 17
- 16
- 13
- 11
- 11
- 10
- 10
- 9
- 9
- 9
- 9
- 9
- 8
- 8
- 7
- 7
- 7
- 7
- 6
- 6
- 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
- 5
- 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
355 Results
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
|
|||
RTNS 2022: The 30th International Conference on Real-Time Networks and SystemsACM, 2022, ⟨10.1145/3534879⟩
Proceedings
hal-03951192v1
|
|||
|
Software Artifact Mining in Software Engineering Conferences: A Meta-AnalysisACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2022), Sep 2022, Helsinki, Finland. ⟨10.1145/3544902.3546239⟩
Conference papers
hal-03723556v1
|
||
|
The General Index of Software Engineering PapersMSR 2022 - The 2022 Mining Software Repositories Conference, May 2022, Pittsburgh, Pennsylvania, United States. ⟨10.1145/3524842.3528494⟩
Conference papers
hal-03623109v1
|
||
|
Brief Announcement: Malicious Security Comes for Free in Consensus with LeadersPODC '21: ACM Symposium on Principles of Distributed Computing, Jul 2021, Virtual Event Italy, France. pp.195-198, ⟨10.1145/3465084.3467953⟩
Conference papers
hal-03800650v1
|
||
|
Asymptotically Good Multiplicative LSSS over Galois Rings and Applications to MPC over Z/pkZAdvances in Cryptology – ASIACRYPT 2020, 12493, Springer International Publishing, pp.151-180, 2020, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-64840-4_6⟩
Book sections
hal-03800662v1
|
||
|
A Concurrency-Optimal Binary Search Tree23rd International European Conference on Parallel and Distributed Computing - Euro-Par 2017, Aug 2017, Santiago de Compostella, Spain
Conference papers
hal-01664898v1
|
||
Parallel Combining: Making Use of Free CyclesCoRR, 2017, abs/1710.07588
Journal articles
hal-02287770v1
|
|||
|
On Helping and StacksThe International Conference on Networked Systems, May 2018, Essaouira, Morocco
Conference papers
hal-01888607v1
|
||
|
Brief Announcement: Performance Prediction for Coarse-Grained LockingPODC 2018 - ACM Symposium on Principles of Distributed Computing, Jul 2018, Egham, United Kingdom. ⟨10.1145/3212734.3212785⟩
Conference papers
hal-01887733v1
|
||
Parallel Combining: Benefits of Explicit Synchronization22nd 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
|
|||
|
Framework to Relate / Combine Modeling Languages and Techniques[Technical Report] COST European Cooperation in Science and Technology. 2019
Reports
hal-03168831v1
|
||
|
Framework to Relate / Combine Modeling Languages and Techniques[Technical Report] COST European Cooperation in Science and Technology. 2017
Reports
hal-03168845v1
|
||
|
Inherent limitations of hybrid transactional memoryDistributed Computing, 2018, 31 (3), pp.167-185. ⟨10.1007/s00446-017-0305-3⟩
Journal articles
hal-02364297v1
|
||
|
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
|
||
|
Lightweight blockchain processing: case study: scanned document tracking on Tezos blockchainApplied Sciences, 2021, 11 (15), pp.7169:1-7169:17. ⟨10.3390/app11157169⟩
Journal articles
hal-03559645v1
|
||
Protocol for preserving privacy in distributed system (PPDS)2017 13th International Wireless Communications and Mobile Computing Conference (IWCMC), Jun 2017, Valencia, France. pp.1885-1890, ⟨10.1109/IWCMC.2017.7986571⟩
Conference papers
hal-02354923v1
|
|||
Preserving privacy in distributed system (PPDS) protocol: Security analysis2017 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 TracesAdvances in E-Business Engineering for Ubiquitous Computing, pp.561-571, 2020, ⟨10.1007/978-3-030-34986-8_39⟩
Book sections
hal-03042197v1
|
|||
Privacy as a Service: Anonymisation of NetFlow Traces16th International Conference on e-Business Engineerin,(ICEBE 2019), Oct 2019, Shanghai, China
Conference papers
hal-03035791v1
|
|||
Eager Stack Cache Memory TransfersWorkshop on Worst-Case Execution Time Analysis, Jul 2016, Toulouse, France
Conference papers
hal-02287376v1
|
|||
A Comparative Study of the Precision of Stack Cache Occupancy Analyses9th Junior Researcher Workshop on Real-Time Computing, Nov 2015, Lille, France. pp.13-16
Conference papers
hal-02287276v1
|
|||
Towards a Formal Specification of Multi-paradigm ModellingFirst International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems, Sep 2019, Munich, Germany
Conference papers
hal-03022707v1
|
|||
|
Multi-paradigm modelling for cyber–physical systems: a descriptive frameworkSoftware and Systems Modeling, 2021, 20, pp.611 - 639. ⟨10.1007/s10270-021-00876-z⟩
Journal articles
hal-03572782v1
|
||
Compressed Σ-Protocols for Bilinear Group Arithmetic Circuits and Application to Logarithmic Transparent Threshold SignaturesAdvances in Cryptology – ASIACRYPT 2021, 13093, Springer International Publishing, pp.526-556, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-92068-5_18⟩
Book sections
hal-03800630v1
|
|||
Safety and Deferred Update in Transactional MemoryTransactional Memory. Foundations, Algorithms, Tools, and Applications - COST Action Euro-TM IC1001, pp.50-71, 2015, ⟨10.1007/978-3-319-14720-8_3⟩
Book sections
hal-02287873v1
|
|||
Run or Hide? Both! A Method Based on IPv6 Address Switching to Escape While Being Hiddenthe 6th ACM Workshop, Nov 2019, London, France. pp.47-56, ⟨10.1145/3338468.3356827⟩
Conference papers
hal-02449676v1
|
|||
Moving Target Defense Strategy in Critical Embedded Systems: A Game-theoretic Approach2021 IEEE 26th Pacific Rim International Symposium on Dependable Computing (PRDC), Dec 2021, Perth, Australia. pp.27-36, ⟨10.1109/PRDC53464.2021.00014⟩
Conference papers
hal-03758375v1
|
|||
|
Finding Optimal Moving Target Defense Strategies: A Resilience Booster for Connected CarsInformation, 2022, 13 (5), pp.242. ⟨10.3390/info13050242⟩
Journal articles
hal-03670106v1
|
||
Structure informatique perfectionnée d’un objet connectéFrance, N° de brevet: B2665. RB-EN-BT:Brevet16. 2016
Patents
hal-02412544v1
|