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.
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 ...
The objectives of this research are twofold. On the first hand, it aims to show the interest of Coordinated Atomic actions (CA actions) as a design concept and, on the other hand it explains how the formal language COOPNTWO can be used to express a CA acti ...
SFIO, Parallel File Striping for MPI-I/O Emin Gabrielyan EPFL, Computer Science Dept. Peripheral Systems Lab. Emin.Gabrielyan@epfl.ch Abstract This paper presents the design and evaluation of a Striped File I/O (SFIO) library for parallel I/O in an MPI env ...
Digital libraries are libraries in which collections are stored in a digital format (the metadata at least). Digital libraries are now being made publicly available. However, building good user interfaces to query heterogeneous libraries requires to have a ...
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 ...
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 ...
A major promise of component-based software engineering is the reduction of application development time and costs by reusing software components. The existence of and access to component libraries, as well as the ability to build such libraries in the fir ...
What abstractions are useful for expressing distributed interaction? This question has constituted an active area of research in the last decades and several candidates have been proposed, including remote method invocation, tuple spaces and publish/subscr ...
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 ...
A synthetic antibody phage library, (ETH-2) was screened against the MUC-1 peptide. Two standard methods were used, namely screening on immunotubes coated with the peptide antigen and on streptavidin-coated paramagnetic particles together with a biotinylat ...