Concept

Implementation

Related publications (170)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

STMBench7: A Benchmark for Software Transactional Memory

Rachid Guerraoui, Michal Kapalka

Software transactional memory (STM) is a promising technique for controlling concurrency in modern multi-processor architectures. STM aims to be more scalable than explicit coarse-grained locking and easier to use than fine-grained locking. However, STM im ...

2007

Autonomic Resource Provisioning for Software Business Processes

Thomas Heinis

Software development nowadays involves several levels of abstraction: starting from the programming of single objects, to their combination into components, to their publication as services and the overall architecture linking elements at each level. As a ...

2007

Building the capacity to experiment in schools: a case study of the Institute of Educational Sciences in the U.S. department of Education

Dominique Foray

This article is about building new research capacities to foster a fundamental shift in research methods. It examines in detail the new R&D policy of the US Department of Education, which is designed to dramatically increase the number of experiments condu ...

2007

Synchronizing without Locks is Inherently Expensive

Rachid Guerraoui, Hagit Albo Attiya

It has been considered bon ton to blame locks for their fragility, especially since researchers identified obstruction-freedom: a progress condition that precludes locking while being weak enough to raise the hope for good performance. This paper attenuate ...

2006

Fibonacci Heaps

Ali Chekir, Mohamed Slim Slama

Binomial heaps are data structures implemented as a collection of binomial trees, (A binomial tree of order K can be constructed from two trees of order (K-1)). They can implement several methods: Min, Insert, Union, ExtractMin, DecreaseKey and Delete. Fib ...

2006

Explicit Passive Analysis in Electronic Catalogs

Martin Rajman, David Portabella Clotet

We consider example-critiquing systems that help people search for their most preferred item in a large catalog. We compare 6 existing approaches in terms of user or system-centric, implicit or explicit use of preferences, assumptions used and their behavi ...

2006

INTERACTIVE APPLICATIONS IN A MANDATORY CONTROL COURSE

Roland Longchamp, Yves Henri Philippe Piguet

This paper describes how a mandatory control course is enhanced with interactive applications. Basic concepts of automatic control, different ways to assess performance and robustness of a controlled system, and limits of closed- loop systems are illustrat ...

2006

Distributed Subtyping

Rachid Guerraoui, João Barreto

One of the most frequent operations in object-oriented programs is the "instanceof" test, also called the "subtyping" test or the "type inclusion" test. This test determines if a given object is an instance of some type. Surprisingly, despite a lot of rese ...

2006

Language Support for Fast and Reliable Message Based Communication in Singularity OS

James Richard Larus

Message-based communication offers potential benefits of providing stronger specification and cleaner separation between components. Compared with shared-memory interactions, message passing has the potential disadvantages of being more expensive (no direc ...

2006

Prospects on Brain-Machine Interfaces for Space System Control

José del Rocio Millán Ruiz, Anna Buttfield, Pierre Ferrez

The dream of controlling and guiding computer-based systems using human brain signals has slowly but steadily become a reality. The available technology allows real-time implementation of systems that measure neuronal activity, convert their signals, and t ...

2006