Concept

Type abstrait

Publications associées (134)

On Integrating Deductive Synthesis and Verification Systems

Viktor Kuncak, Etienne Kneuss, Ivan Kuraj, Philippe Paul Henri Suter

We describe techniques for synthesis and verification of recursive functional programs over unbounded domains. Our techniques build on top of an algorithm for satisfiability modulo recursive functions, a framework for deductive synthesis, and complete synt ...

2013

Meet the Walkers: Accelerating Index Traversals for In-Memory Databases

Babak Falsafi, Boris Robert Grot, Yusuf Onur Koçberber, Javier Picorel Obando, Kevin Lim

The explosive growth in digital data and its growing role in real-time decision support motivate the design of high-performance database management systems (DBMSs). Meanwhile, slowdown in supply voltage scaling has stymied improvements in core performance ...

2013

Rigorous implementation of real-time systems – from theory to application

Joseph Sifakis

The correct and efficient implementation of general real-time applications remains very much an open problem. A key issue is meeting timing constraints whose satisfaction depends on features of the execution platform, in particular its speed. Existing rigo ...

2013

Updating and curating metabolic pathways of TB

Jocelyne Lew

The sequencing of complete genomes has accelerated biomedical research by providing information about the overall coding capacity of bacterial chromosomes. The original TB annotation resulted in putative functional assignment of similar to 60% of the genes ...

Churchill Livingstone2013

The aperiodic nature of incommensurately modulated structures

Gervais Chapuis, Alla Arakcheeva

The discovery of aperiodic crystals is perhaps one of the most important event which has changed our vision on crystalline architectures since the discovery of diffraction 100 years ago. It was the merit of a Dutch crystallographer, P.M. de Wolff, to inter ...

Springer2013

Evaluating Efficient Data Collection Algorithms for Environmental Sensor Networks

Alcherio Martinoli, Alexander Bahr, William Christopher Evans

Although there exists a large body of work on efficient data collection in sensor networks, the vast majority of proposed techniques have not been implemented on real networks or thoroughly studied on real data. As algorithm performance is highly dependent ...

Springer-Verlag Berlin2013

PEN recsys: a Personalized News Recommender Systems Framework (DEMO)

Boi Faltings, Florent Frédéric Garcin

We present the Personalized News (PEN) recommender systems framework, (Note that this paper is an extended abstract of Garcin2013b), currently in use by a newspaper website to evaluate various algorithms for news recommendations. We briefly describe its sy ...

2013

STM in the Small: Trading Generality for Performance in Software Transactional Memory

Aleksandar Dragojevic

Data structures implemented using software transactional memory (STM) have a reputation for being much slower than data structures implemented directly from low-level primitives such as atomic compare-and-swap (CAS). In this paper we present a specialized ...

2012

Integrated Kernel Partitioning and Scheduling for Coarse-Grained Reconfigurable Arrays

Giovanni Ansaloni

Coarse-grained reconfigurable arrays (CGRAs) are a promising class of architectures conjugating flexibility and efficiency. Devising effective methodologies to map applications onto CGRAs is a challenging task, due to their parallel execution paradigm and ...

Institute of Electrical and Electronics Engineers2012

Dependent Object Types

Martin Odersky, Nada Amin

We propose a new type-theoretic foundation of Scala and languages like it: the Dependent Object Types (DOT) calculus. DOT models Scala’s path-dependent types, abstract type members and its mixture of nominal and structural typing through the use of reﬁneme ...

2012

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