Concept

Licence de logiciel

Publications associées (134)

Finite Element Model of Electrical Machines Coupled to the Grid Simulation Software

Jean-Jacques Simond, Mai Tu Xuan, Gilles Rosselet

Using a finite element (FE) model of the electrical machine in a grid solver enables us to take the machine nonlinearities into account with great precision in the simulation of a complete system. Three methods are usually used for linking the grid and FE ...

2011

A First Step Towards Automatic Application of Power Analysis Countermeasures

Paolo Ienne, Francesco Regazzoni, Philip Brisk, Ali Galip Bayrak

In cryptography, side channel attacks, such as power analysis, attempt to uncover secret information from the physical implementation of cryptosystems rather than exploiting weaknesses in the cryptographic algorithms themselves. The design and implementati ...

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

KINONE: a new software for the kinetic modelling of spectroscopic, calorimetric and concentration data

Julien Léo Billeter, Konrad Hungerbühler

On this poster, we present the new software Kinone dedicated to the kinetic modelling of spectroscopic, calorimetric and concentration data in homoge-neous liquid phase. Its capabilities will be demonstrated using some selected kinetic problems. K ...

2010

Independent Faults in the Cloud

Rachid Guerraoui, Maysam Yabandeh

Byzantine fault tolerant (BFT) protocols are replication-based solutions to the problem of tolerating the arbitrary failures of software and hardware components. The essential assumption for replication is independence of failures. In this paper, we catego ...

2010

Analog property checkers: a DDR2 case study

Dejan Nickovic

The formal specification component of verification can be exported to simulation through the idea of property checkers. The essence of this approach is the automatic construction of an observer from the specification in the form of a program that can be in ...

Springer US2010

Automated Software Testing as a Service (TaaS)

George Candea, Cristian Zamfir, Stefan Bucur

This paper makes the case for TaaS - automated software testing as a cloud-based service. We present three kinds of TaaS: (1) a public certification service, akin to Underwriters Labs, that independently assesses the reliability, safety, and security of so ...

2010

Mobile Biometry (MOBIO) Face and Speaker Verification Evaluation

Sébastien Marcel

This paper evaluates the performance of face and speaker verification techniques in the context of a mobile environment. The mobile environment was chosen as it provides a realistic and challenging test-bed for biometric person verification techniques to o ...

Idiap2010

Distributed arithmetic for efficient base-band processing in real-time GNSS software receivers

Pierre-André Farine, Cyril Botteron, Marcel Baracchi Frei

The growing market of GNSS capable mobile devices is driving the interest of GNSS software solutions, as they can share many system resources (processor, memory), reducing both the size and the cost of their integration. Indeed, with the increasing perform ...

2010

High level design space exploration of RVC codec specifications for multi-core heterogeneous platforms

Marco Mattavelli, Christophe Lucarz, Ghislain Roquier

Nowadays, the design flow of complex signal processing embedded systems starts with a specification of the application by means of a large and sequential program (usually in C/C++). As we are entering in the multicore era, sequential programs are no longer ...

2010

Three essays on access to knowledge

Patrick Gaulé

The first chapter of this thesis, coauthored with Annamaria Conti, seeks to add an economic contribution to the current debate on using university licensing contracts to improve access to medicines in developing countries. We build a simple model in which ...

EPFL2009

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