Publications related to Virtual machine

Performance and Energy Trade-offs Analysis of L2 on-Chip Cache Architectures for Embedded MPSoCs

Martino Ruggiero, Mohamed Mostafa Sabry Aly, Pablo Garcia del Valle

On-chip memory organization is one of the most important aspects that can influence the overall system behavior in multi-processor systems. Following the trend set by high-performance processors, high-end embedded cores are moving from single-level on chip ...

2010

Haptic/VR Assessment Tool for Fine Motor Control

Hannes Bleuler, Roger Gassert, Olivier Lambercy, Evren Samur, Christophe Emery

The Nine Hole Peg Test (NHPT) is routinely used in clinical environments to evaluate a patient’s fine hand control. A physician measures the total time required to insert nine pegs into nine holes and obtains information on the dexterity of the patient. Ev ...

Springer Berlin / Heidelberg2010

Lightweight Modular Staging: A Pragmatic Approach to Runtime Code Generation and Compiled DSLs

Martin Odersky, Tiark Rompf

Software engineering demands generality and abstraction, performance demands specialization and concretization. Generative programming can provide both, but the effort required to develop high-quality program generators likely offsets their benefits, even ...

2010

Lightweight Modular Staging: A Pragmatic Approach to Runtime Code Generation and Compiled DSLs

Martin Odersky, Tiark Rompf

Software engineering demands generality and abstraction, performance demands specialization and concretization. Generative programming can provide both, but the effort required to develop high-quality program generators likely offsets their benefits, even ...

2010

Precise static analysis of untrusted driver binaries

Johannes Kinder

Most closed source drivers installed on desktop systems today have never been exposed to formal analysis. Without vendor support, the only way to make these often hastily written, yet critical programs accessible to static analysis is to directly work at t ...

IEEE2010

Conditional hardness of precedence constrained scheduling on identical machines

Ola Nils Anders Svensson

Already in 1966, Graham showed that a simple procedure called list scheduling yields a 2-approximation algorithm for the central problem of scheduling precedence constrained jobs on identical machines to minimize makespan. Till this date it has remained th ...

ACM2010

Scheduling periodic tasks in a hard real-time environment

Friedrich Eisenbrand, Martin Niemeier, Nicolai Hähnle

We give a rigorous account on the complexity landscape of an important real-time scheduling problem that occurs in the design of software-based aircraft control. The goal is to distribute tasks

\tau_i=(c_i,p_i)

on a minimum number of identical machines a ...

Springer-Verlag2010

Optimizing network performance in virtual machines

Aravind Menon

In recent years, there has been a rapid growth in the adoption of virtual machine technology in data centers and cluster environments. This trend towards server virtualization is driven by two main factors: the savings in hardware cost that can be achieved ...

EPFL2009

Scala actors: Unifying thread-based and event-based programming

Martin Odersky, Philipp Haller

There is an impedance mismatch between message-passing concurrency and virtual machines, such as the JVM. VMs usually map their threads to heavyweight OS processes. Without a lightweight process abstraction, users are often forced to write parts of concurr ...

2009

Turing Machine Emulator

Ludovic Favre

Ce document vous présente mon pro jet de semestre dont le titre original est Turing machine emulator. Le but de ce projet a été d'implémenter un système capable d'émuler certaines abstractions des machines de Turing. La première étape était de mettre en pl ...

2009

Virtual machine

Graph Chatbot

Chat with Graph Search

Performance and Energy Trade-offs Analysis of L2 on-Chip Cache Architectures for Embedded MPSoCs

Haptic/VR Assessment Tool for Fine Motor Control

Lightweight Modular Staging: A Pragmatic Approach to Runtime Code Generation and Compiled DSLs

Lightweight Modular Staging: A Pragmatic Approach to Runtime Code Generation and Compiled DSLs

Precise static analysis of untrusted driver binaries

Conditional hardness of precedence constrained scheduling on identical machines

Scheduling periodic tasks in a hard real-time environment

Optimizing network performance in virtual machines

Scala actors: Unifying thread-based and event-based programming

Turing Machine Emulator

Lightweight Modular Staging: A Pragmatic Approach to Runtime Code Generation and Compiled DSLs

Scala actors: Unifying thread-based and event-based programming

Optimizing network performance in virtual machines

Scheduling periodic tasks in a hard real-time environment

Performance and Energy Trade-offs Analysis of L2 on-Chip Cache Architectures for Embedded MPSoCs

Haptic/VR Assessment Tool for Fine Motor Control

Precise static analysis of untrusted driver binaries

Lightweight Modular Staging: A Pragmatic Approach to Runtime Code Generation and Compiled DSLs

Conditional hardness of precedence constrained scheduling on identical machines

Turing Machine Emulator