Concept

Bibliothèque

Publications associées (91)

MHAPTIC : a Haptic Manipulation Library for Generic Virtual Environments

Daniel Thalmann, Frédéric Vexo, Renaud Ott, Vincent de Perrot

This paper presents a new library called MHaptic for bimanual haptic interaction within generic virtual environments. It has been specifically designed to work with a Haptic Workstation. MHaptic provides tools for accelerated development of virtual environ ...

2007

Improvements for Constraint Solving in the SystemC Verification Library

For verification of complex system-on-chip designs often constraint-based randomization is used. This allows to simulate scenarios that may be difficult to generate manually. For the system description language SystemC the SystemC Verification (SCV) Librar ...

2007

The host software for the real-time PHA X-ray diagnostic on TCV

Basil Duval

A real-time pulse height analysis (PHA) X-ray diagnostic for the TCV tokamak has been developed using CFN multi-DSP-based VME acquisition, processing and control board. The hardware is composed by: (i) a detection system based on a Si SDD detector; (ii) a ...

2006

Semi-Automated Design of a MOS Current Mode Logic Standard Cell Library from Generic Components

Yusuf Leblebici, Stéphane Badel, Ilhan Hatirnaz

This paper describes the design and semi-automated generation of a MOS current-mode logic standard cell library. A set of generic components implementing a wide range of combinational and sequential functions is proposed. The layout of the generic componen ...

2005

MEMS tools for combinatorial materials processing and high-throughput characterization

Jürgen Brugger, Alfred Ludwig

Using the combinatorial material synthesis approach, materials libraries can be produced in one experiment that contain up to several thousand samples on a single substrate. In order to identify optimized materials in an efficient way using screening metho ...

2005

L'information indexée : Métadonnées et Dublin Core

François Schmitt

il est conseillé de joindre à tout document ou fichier électronique une carte d’identité dans laquelle seront recensés les paramètres essentiels à son identification et au traçage de l’information qui y est contenue. Ces informations sur les ressources doc ...

2003

PiLib: A Hosted Language for Pi-Calculus Style Concurrency

Martin Odersky, Vincent Cremet

PiLib is a library written in Scala that implements the concurrency constructs of the Pi-calculus. Some features of the programming language Scala, examined in the paper, make it possible to use almost the same syntax as in the Pi-calculus. The advantages ...

2003

Prototyping Object-Oriented Specifications

Ali Al-Shabibi, Stanislav Chachkov, Ang Chen

CoopnBuilder is an integrated development environment (IDE) for Concurrent Object Oriented Petri Nets (COOPN). It comes with a complete set of tools enabling the user to view, edit, check, simulate and generate code from CO-OPN specifications. The Code Gen ...

Springer Verlag2003

MIP: The ITS-EPFL Medical Image Processing Library

Jean-Philippe Thiran, Meritxell Bach Cuadra, Olivier Cuisenaire, Torsten Butz

This document presents a brief description of the Medical Image Processing (MIP) library developed by the Brain Group of the Signal Processing Institute (ITS) at Swiss Federal Institute of Technology (EPFL). This library is a result of more than three year ...

2002

A library for computing the filtered and non-filtered 3D Green's tensor associated with infinite homogeneous space and surfaces

Olivier Martin

We describe a library to compute various types of Green's tensor for three-dimensional electromagnetic scattering calculations. This library includes the retarded and non-retarded (quasi-static) Green's tensors for infinite homogeneous space and the non-re ...

Elsevier2002

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