يعرض 1 - 20 نتائج من 3,042 نتيجة بحث عن '"Virtual machines"', وقت الاستعلام: 0.61s تنقيح النتائج
  1. 1
    Academic Journal
  2. 2
    Academic Journal
  3. 3
    Academic Journal
  4. 4
    Dissertation/ Thesis

    المؤلفون: Deb, Abhishek

    المساهمون: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors

    Thesis Advisors: González Colás, Antonio, Codina Viñas, Josep Mª

    المصدر: TDX (Tesis Doctorals en Xarxa)

    وصف الملف: application/pdf

  5. 5
    Academic Journal
  6. 6
    Dissertation/ Thesis
  7. 7
    Academic Journal
  8. 8
    Academic Journal
  9. 9
    Academic Journal
  10. 10
    Academic Journal
  11. 11
    Academic Journal
  12. 12
    Academic Journal
  13. 13
    Academic Journal
  14. 14
    Academic Journal
  15. 15
    Academic Journal
  16. 16
    Academic Journal
  17. 17
    Academic Journal
  18. 18
    Conference

    المؤلفون: Cadorel, Emile, Saingre, Dimitri

    المساهمون: Davidson Consulting, IEEE, ANR-21-CE25-0022,DISTILLER,Service de recommandation pour des logiciels en ligne plus durables(2021)

    المصدر: Cluster 2024 ; https://hal.science/hal-04720926 ; Cluster 2024, IEEE, Sep 2024, Kobe, Japan

    جغرافية الموضوع: Kobe, Japan

  19. 19
    Academic Journal

    المساهمون: Florian Huemer and David Leopoldseder and Aleksandar Prokopec and Raphael Mosaner and Hanspeter Mössenböck

    وصف الملف: application/pdf

    Relation: Is Part Of LIPIcs, Volume 313, 38th European Conference on Object-Oriented Programming (ECOOP 2024); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2024.20

  20. 20
    Conference

    المساهمون: Analyse sémantique et compilation pour la sécurité des environnements d'exécution (EPICURE), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Institut National de Recherche en Informatique et en Automatique (Inria), Inria Challenge RIOT-fp

    المصدر: 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, Montreal, Canada. pp.325-347, ⟨10.1007/978-3-031-65627-9_16⟩

    جغرافية الموضوع: Montreal

    Time: Montreal, Canada