Publication

Performance Interfaces for Network Functions

Publications associées (32)

Improving Scalability of Symbolic Execution for Software with Complex Environment Interfaces

Manual software testing is laborious and prone to human error. Yet, among practitioners, it is the most popular method for quality assurance. Automating the test case generation promises better effectiveness, especially for exposing corner-case bugs. Symbo ...

EPFL2015

Brain-machine interface control using broadband spectral power from local field potentials

Michael Christoph Gastpar

Recent progress in brain-machine interfaces (BMIs) has shown tremendous improvements in task complexity and degree of control. In particular, closed-loop decoder adaptation (CLDA) has emerged as an effective paradigm for both improving and maintaining the ...

IEEE2013

Automated Debugging for Arbitrarily Long Executions

George Candea, Edouard Bugnion, Johannes Kinder, Cristian Zamfir, Baris Can Cengiz Kasikci

One of the most energy-draining and frustrating parts of software development is playing detective with elusive bugs. In this paper we argue that automated post-mortem debugging of failures is feasible for real, in-production systems with no runtime record ...

2013

Collaborative Control for a Robotic Wheelchair: Evaluation of Performance, Attention and Workload

Tom Edward Carlson

Powered wheelchair users often struggle to drive safely and effectively and in more critical cases can only get around when accompanied by an assistant. To address these issues, we propose a collaborative control mechanism that assists the user as and when ...

2012

Driving a BCI Wheelchair: A Patient Case Study

José del Rocio Millán Ruiz, Robert Leeb, Tom Edward Carlson, Guillaume Monnard

Our brain-actuated wheelchair uses shared control to couple the user input with the contextual information about the surroundings in order to perform natural manoeuvres both safely and efficiently. In this study, we investigate the feasibility of using our ...

2012

Hands-on Symmetry with Augmented Reality on Paper

Pierre Dillenbourg, Frédéric Kaplan, Quentin Bonnard

Computers have been trying to make their way into education, because they can allow learners to manipulate abstract notions and explore problem spaces easily. However, even with the tremendous potential of computers in education, their integration into for ...

2012

An Integrated Framework for Improving the Quality and Reliability of Software Upgrades

Olivier Crameri

Despite major advances in the engineering of maintainable and robust software over the years, upgrading software remains a primitive and error-prone activity. In this dissertation, we argue that several problems with upgrading software are caused by a poor ...

EPFL2011

Extensible Transactional Memory Testbed

Vincent Gramoli, Pascal Felber

Transactional Memory (TM) is a promising abstraction as it hides all synchronization complexities from the programmers of concurrent applications. More particularly the TM paradigm operated a complexity shift from the application programming to the TM prog ...

2010

Experimental and Analytical Performance Evaluation of a Real Opportunistic Wireless Sensor Network

Jorge Miguel Dias Almeida Rodrigues Soares

The use of opportunistic communications, while increasing in popularity, is still limited, due in part to some uncertainty that still exists regarding its performance in real-world conditions. This paper tries to assess the real performance of an opportuni ...

2010

Development and Quantitative Performance Evaluation of a Noninvasive EMG Computer Interface

Silvestro Micera

This paper describes a noninvasive electromyography (EMG) signal-based computer interface and a performance evaluation method based on Fitts' law. The EMG signals induced by volitional wrist movements were acquired from four sites in the lower arm to extra ...

2009

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search