Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• Seminar/2009-05-27  + (Avec l'avènement du Web et des application … Avec l'avènement du Web et des applications réparties, les machines</br>virtuelles applicatives sont devenues le support d'exécution de choix</br>pour la plupart des applications. Développer et optimiser une machine</br>virtuelle est un travail long et difficile qui requiert plusieurs</br>années. Il s'avère que la plupart des machines virtuelles possèdent</br>des composants communs: compilateur à la volée, ramasse-miettes,</br>vérifieur de type, gestionnaire de threads, gestionnaire</br>d'entrées/sorties, éditeur de liens paresseux, chargeur dynamique de</br>code.</br></br>AutoVM est une machine virtuelle générique qui factorise ces</br>composants communs et facilite le développement de nouvelles machines</br>virtuelles, ou l'amélioration de machines virtuelles existantes.</br></br>Dans cet exposé, je présenterai l'architecture logicielle de notre</br>prototype AutoVM et montrerai sa généricité et son extensibilité.trerai sa généricité et son extensibilité.)

• Seminar/2009-05-27  + (La Low-Level Virtual Machine (LLVM) est un … La Low-Level Virtual Machine (LLVM) est un ensemble de bibliothèques</br>et d'outils qui facilitent le développement et l'optimisation de</br>compilateurs, de générateurs de code et de machines virtuelles. Clang</br>et VMKit utilisent LLVM pour leur générateur de code à différents</br>niveaux: l'un pour la compilation statique de langages de la famille C</br>(C/C++/ObjectiveC), et l'autre pour la compilation dynamique</br>d'applications Java ou .Net.</br></br>Dans cet exposé, je présenterai ces trois projets, et rentrerai dans</br>les détails de VMKit, que j'ai développée dans le cadre de ma</br>thèse. Je finirai par montrer les exemples de recherche auxquels</br>nous nous adressons avec l'aide de VMKit, au sein de l'équipe de</br>recherche INRIA/Regal.sein de l'équipe de recherche INRIA/Regal.)