Concept

Analytical engine

Related publications (25)

Prototyping Symbolic Execution Engines for Interpreted Languages

George Candea, Johannes Kinder, Stefan Bucur

Symbolic execution is being successfully used to automatically test statically compiled code. However, increasingly more systems and applications are written in dynamic interpreted languages like Python. Building a new symbolic execution engine is a monume ...

ACM2014

Solid-State Storage and Work Sharing for Efficient Scaleup Data Analytics

Manoussos Gavriil Athanassoulis

Today, managing, storing and analyzing data continuously in order to gain additional insight is becoming commonplace. Data analytics engines have been traditionally optimized for read-only queries assuming that the main data reside on mechanical disks. The ...

EPFL2014

On performance scaling and speed of junctionless transistors

Jean-Michel Sallese, Adil Koukab

A prospective study of the junctionless transistors (JLTs) scaling performances based both on TCAD and analytical evaluations of the intrinsic delay after considering on/off voltage constraints is proposed. The tradeoffs between speed and switching power p ...

Pergamon-Elsevier Science Ltd2013

The S2E Platform: Design, Implementation, and Applications

George Candea, Vitaly Chipounov, Volodymyr Kuznetsov

This article presents S2E, a platform for analyzing the properties and behavior of software systems, along with its use in developing tools for comprehensive performance profiling, reverse engineering of proprietary software, and automated testing of kerne ...

2012

Striking a New Balance Between Program Instrumentation and Debugging Time

Willy Zwaenepoel, Ricardo Bianchini, Olivier Crameri

Although they are helpful in many cases, state-of-the-art bug reporting systems may impose excessive overhead on users, leak private information, or provide little help to the developer in locating the problem. In this paper, we explore a new approach to b ...

Acm Order Department, P O Box 64145, Baltimore, Md 21264 Usa2011

Optimization of the Averaging Reliability Technique using Low Redundancy Factors for Nanoscale Technologies

Alexandre Schmid, Yusuf Leblebici, Milos Stanisavljevic

This paper presents a method enabling the evaluation of the averaging fault-tolerant technique, using the output probability density functions (PDFs) of unreliable units which are acquired from Monte Carlo simulations. The method has been verified by compa ...

2009

An analytical formula for the back emf of a slotted BLDC motor

Yves Perriard, Miroslav Markovic

The paper presents a completely analytical formula to determine the phase back emf of a slotted BLDC motor with interior or exterior rotor and parallel or radial permanent magnet (PM) magnetization and concentrated winding. The formula is based on integrat ...

2007

On Learning, Representing and Generalizing a Task in a Humanoid Robot

Aude Billard, Sylvain Calinon

We present a Programming by Demonstration (PbD) framework for generically extracting the relevant features of a given task and for addressing the problem of generalizing the acquired knowledge to different contexts. We validate the architecture through a s ...

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

Learning redundant dictionaries with translation invariance property: the MoTIF algorithm

Pierre Vandergheynst, Rémi Gribonval, Philippe Jost

Sparse approximation using redundant dictionaries is an efficient tool for many applications in the field of signal processing. The performances largely depend on the adaptation of the dictionary to the signal to decompose. As the statistical dependencies ...

IEEE2005

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.