Filtrer vos résultats
- 18
- 2
- 17
- 3
- 20
- 1
- 3
- 6
- 5
- 2
- 1
- 1
- 1
- 19
- 1
- 15
- 6
- 6
- 6
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 20
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
20 résultats
|
|
|
triés par
|
|
|
Mitigating vulnerability windows with hypervisor transplantEuroSys 2021 - European Conference on Computer Systems, Apr 2021, Edinburgh / Virtual, United Kingdom. pp.1-14, ⟨10.1145/3447786.3456235⟩
Communication dans un congrès
hal-03183856v1
|
||
|
|
BMC: Accelerating Memcached using Safe In-kernel Caching and Pre-stack ProcessingNSDI'21 - 18th USENIX Symposium on Networked Systems Design and Implementation, Apr 2021, Virtual event, United States. pp.487-501
Communication dans un congrès
hal-03361644v1
|
||
|
|
SPINFER: Inferring Semantic Patches for the Linux KernelUSENIX Annual Technical Conference, Jul 2020, Boston / Virtual, United States
Communication dans un congrès
hal-02906912v1
|
||
|
|
Formal Methods Meet Domain Specific LanguagesIFM 2005 - 5th International Conference on Integrated Formal Methods, Nov 2005, Eindhoven, Netherlands. pp.187-206, ⟨10.1007/11589976_12⟩
Communication dans un congrès
hal-00457182v1
|
||
|
|
Towards User-Programmable Schedulers in the Operating System KernelSPMA 22 - 11th workshop on Systems for Post-Moore Architectures, Apr 2022, Rennes, France. pp.1-4
Communication dans un congrès
hal-03750209v1
|
||
|
|
Provable Multicore Schedulers with Ipanema: Application to Work ConservationEurosys 2020 - European Conference on Computer Systems, Apr 2020, Heraklion / Virtual, Greece. ⟨10.1145/3342195.3387544⟩
Communication dans un congrès
hal-02554342v1
|
||
|
|
Automating Program Transformation with Coccinelle2022 NASA Formal Methods - 14th International Symposium, May 2022, Pasadena, CA, USA, United States
Communication dans un congrès
hal-03791022v1
|
||
|
|
AndroEvolve: Automated Update for Android Deprecated-API Usages2021 IEEE/ACM 43rd International Conference on Software Engineering, May 2021, Madrid / Virtual, Spain. pp.1-4, ⟨10.1109/ICSE-Companion52605.2021.00021⟩
Communication dans un congrès
hal-03504710v1
|
||
|
|
(No)Compromis: Paging Virtualization Is Not a FatalityVEE 2021 - 17th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, Apr 2021, Détroit, Michigan / Virtual, United States. pp.1-12
Communication dans un congrès
hal-03183858v1
|
||
|
|
Vérification automatique de propriétés d'ordonnanceurs BossaAFADL 2006 - Conférence Francophone sur les Approches formelles pour le développement de logiciels, Groupe sur les Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2006, Paris, France. pp.95-109
Communication dans un congrès
hal-00457181v1
|
||
|
|
OS Scheduling with Nest: Keeping Tasks Close Together on Warm CoresEuroSys 2022 - Seventeenth European Conference on Computer Systems, Apr 2022, Rennes, France. ⟨10.1145/3492321.3519585⟩
Communication dans un congrès
hal-03612592v1
|
||
|
|
WE-HML: hybrid WCET estimation using machine learning for architectures with cachesRTCSA 2021 - 27th IEEE International Conference on Embedded Real-Time Computing Systems and Applications, Aug 2021, Online Virtual Conference, France. pp.1-10
Communication dans un congrès
hal-03280177v1
|
||
WebCal -- A Domain Specific Language for Web CachingComputer Communications, 2001, 17, pp.191--201
Article dans une revue
inria-00475685v1
|
|||
|
|
Automatic Verification of Bossa Scheduler Properties6th International Workshop on Automated Verification of Critical Systems (AVoCS 2006), Sep 2006, Nancy, France. pp.17-32, ⟨10.1016/j.entcs.2007.05.026⟩
Communication dans un congrès
inria-00089493v1
|
||
|
|
HyperTP: A unified approach for live hypervisor replacement in datacentersJournal of Parallel and Distributed Computing, 2023, 181, pp.104733. ⟨10.1016/j.jpdc.2023.104733⟩
Article dans une revue
hal-04477700v1
|
||
|
|
Tell me when you are sleepy and what may wake you up!SoCC 2021 - ACM Symposium on Cloud Computing, Nov 2021, Seattle WA USA, United States. pp.562-569, ⟨10.1145/3472883.3487013⟩
Communication dans un congrès
hal-03503825v1
|
||
|
|
Automatic Android Deprecated-API Usage Update by Learning from Single Updated ExampleICPC 2020 - 28th IEEE/ACM International Conference on Program Comprehension - ERA track, Jul 2020, Seoul / Virtual, South Korea. ⟨10.1145/3387904.3389285⟩
Communication dans un congrès
hal-02889835v1
|
||
|
|
Automated Deprecated-API Usage Update for Android Apps: How Far Are We?SANER 2020 - 27th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER, RENE track), Feb 2020, London, Ontario, Canada. pp.602-611, ⟨10.1109/SANER48275.2020.9054860⟩
Communication dans un congrès
hal-02889832v1
|
||
Static and Dynamic Program Compilation by Interpreter SpecializationHigher-Order and Symbolic Computation, 2000, 13 (3), pp.161--178
Article dans une revue
inria-00475687v1
|
|||
|
|
Fewer Cores, More Hertz: Leveraging High-Frequency Cores in the OS Scheduler for Improved Application Performance2020 USENIX Annual Technical Conference, USENIX, Jul 2020, Boston / Virtual, United States
Communication dans un congrès
hal-02901169v1
|