Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-10 ل  284 نتائج ل ""Virtual machine""

فلترة النتائج

Subject : [info]computer science [cs]
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

End-to-End Mechanized Proof of a JIT-Accelerated eBPF Virtual Machine for IoT

Subjects: mechanized proof; virtual machines; JIT compilerMontrealMontreal, Canada

  • Source: CAV 2024 - 36th International Conference on Computer Aided Verification ; https://inria.hal.science/hal-04762503 ; CAV 2024 - 36th International Conference on Computer Aided Verification, Jul 2024,

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Virtual Machine and Integrated Developer Environment for Sleptsov Net Computing

Subjects: Sleptsov net computing; concurrent programming; efficient computing

  • Source: ISSN: 0129-6264.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Simulating the Network Environment of Sandboxes to Hide Virtual Machine Introspection Pauses

Subjects: Evasive malware; Virtualization; Network simulationAthène; Greece

  • Source: EuroSec 2024 - 17th European Workshop on Systems Security ; https://inria.hal.science/hal-04537165 ; EuroSec 2024 - 17th European Workshop on Systems Security, Apr 2024, Athène, Greece. pp.1-7,

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Making an eBPF Virtual Machine Faster on Microcontrollers: Verified Optimization and Proof Simplification

Subjects: BPF; Optimization; VerificationNanjing (Chine); China

  • Source: SETTA 2023 - 9th International Symposium Dependable Software Engineering. Theories, Tools, and Applications ; https://inria.hal.science/hal-04376380 ; SETTA 2023 - 9th International Symposium

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Nitro: Network-Aware Virtual Machine Image Management in Geo-Distributed Clouds

Subjects: data transfer; deduplication; Geo-distributionWashington D.C.; United StatesWashington D.C., United States

  • Source: CCGrid 2018 - 18th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing ; https://inria.hal.science/hal-01745405 ; CCGrid 2018 - 18th IEEE/ACM International Symposium on Cluster,

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Report

Hiding Virtual Machine Introspection Pauses in Networked Sandboxes with Network Simulation ; Dissimulation des pause d’introspection de VM dans des bacs à sable utilisant un réseau simulé

Subjects: virtualization; network simulation; virtualisation

  • Source: https://inria.hal.science/hal-04282253 ; RR-9528, Inria Rennes - Bretagne Atlantique & IRISA. 2023, pp.1-14.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

End-to-end Mechanized Proof of an eBPF Virtual Machine for Micro-controllers

Subjects: mechanized proof virtual machines fault isolation; mechanized proof; virtual machinesHaifa; Israel

  • Source: CAV 2022 - 34th International Conference on Computer Aided Verification ; https://inria.hal.science/hal-03888082 ; CAV 2022 - 34th International Conference on Computer Aided Verification, Aug 2022,

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

A Virtual Machine Approach for High-level FPGA Programming

Subjects: [INFO]Computer Science [cs]New York City; United States

  • Source: 2022 IEEE 30th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM)https://hal.sorbonne-universite.fr/hal-039210902022 IEEE 30th Annual International

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Quality Estimation of Virtual Machine Placement in Cloud Infrastructures

Subjects: Quality estimation; Distance functions; Integer linear programmingSt. Petersburg; Russia

  • Source: Lecture Notes in Computer Science ; 29th IFIP International Conference on Testing Software and Systems (ICTSS) ; https://inria.hal.science/hal-01678958 ; 29th IFIP International Conference on Testing

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Virtual Machine Boot Time Model

Subjects: Resource management; Computational modeling; Cloud computingSt Peterbourg; Russia

  • Source: PDP 2017 - 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing ; https://hal.inria.fr/hal-01586932 ; PDP 2017 - 25th Euromicro International Conference on

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
  • 1-10 ل  284 نتائج ل ""Virtual machine""