Publication

D-finder 2: Towards efficient correctness of incremental design

Publications associées (47)

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

Proposition of a Modular I2C-Based Wearable Architecture

Daniel Thalmann, Xavier Righetti

In this paper we propose a novel wearable architecture based on the popular and proven I2C protocol. Our goal is to develop a modular approach towards wearable computing in a sense that users simply attach specific modules to their garments depending on th ...

Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2010

Field of view extension using satellite pinhole cameras

Hans Peter Herzig, Toralf Scharf

An approach to extend the field of view of a miniaturised imaging system is introduced. This innovative approach uses multiple optical systems working in parallel and image post-processing. As an example, a module consisting of a central single micro-lens ...

2010

Utilisation des outils du système modulaire gradué (SMG) pour estimer les impacts des rejets pluviaux urbains: Avantages et limitations

David Andrew Barry, Luca Rossi, Kathrin Schneider

Today water bodies are suffering from numerous anthropogenic impacts. One of the key players is urban drainage. The directive STORM published by the VSA in 2007 proposes a procedure for an immission oriented strategy for remediation of urban drainage. At t ...

2009

Graph signature for self-reconfiguration planning of modules with symmetry

Auke Ijspeert, Milad Shafiee Ashtiani, Masoud Asadpour

In our previous works we had developed a framework for self-reconfiguration planning based on graph signature and graph edit-distance. The graph signature is a fast isomorphism test between different configurations and the graph edit-distance is a similari ...

2009

Transactional Memory: Glimmer of a Theory

Rachid Guerraoui, Michal Kapalka

Transactional memory (TM) is a promising paradigm for concurrent programming. This paper is an overview of our recent theoretical work on defining a theory of TM. We first recall some TM correctness properties and then overview results on the inherent powe ...

ACM2009

A decision making tool for reconfigurable assembly lines EUPASS project

Jacques Jacot, Sandra Koelemeijer Chollet

A decision making tool is proposed to evaluate assembly costs of micro-products (< 1 dm(3)) and to compare different assembly strategies for a given product or product family. The tool takes into account equipment costs as well as running costs, for manual ...

Springer, 233 Spring Street, New York, Ny 10013, United States2008

Varieties of modules for Z/2Z x Z/2Z

Let k be an algebraically closed field of characteristic 2. We prove that the restricted nilpotent commuting variety C, that is the set of pairs of (n x n)-matrices (A, B) such that A(2) = B-2 = [A, B] = 0, is equidimensional. C can be identified with the ...

Elsevier2007

RoclET – A Tool for Wrestling with OCL Specifications

Slavisa Markovic, Cédric Jeanneret, Leander Eyer

In this paper, we describe the architecture and the functionality of our own OCL tool called RoclET. Besides standard features of OCL tools such as editing of class and object diagrams and parsing of OCL assertions (invariants, pre-/post-conditions), our t ...

2006

Autodafé: an Act of Software Torture

Martin Vuagnoux

Automated vulnerability searching tools have led to a dramatic increase of the rate at which such flaws are discovered. One particular searching technique is fault injection i.e. insertion of random data into input files, buffers or protocol packets, combi ...

Chaos Computer Club2005

Image Processing Education

Michaël Unser, Daniel Sage

This chapter describes tools and techniques that facilitate a gentle introduction to fascinating concepts in digital image processing from four leading universities. Equipped with informative visualizations and a user-friendly interfaces, these modules are ...

Elsevier Academic Press2005