Logiciel multiplateforme

Applied sciences
Génie informatique
Programmation informatique
Programmation informatique

Science formelle
Informatique théorique
Théorie des langages de pro...
Langage de programmation de...

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (28)

Classification of Resilience Techniques Against Functional Errors at Higher Abstraction Layers of Digital Systems

David Atienza Alonso

Nanoscale technology nodes bring reliability concerns back to the center stage of digital system design. A systematic classification of approaches that increase system resilience in the presence of functional hardware (HW)-induced errors is presented, deal ...

Assoc Computing Machinery2017

An overview of a new sensor calibration platform

Jan Skaloud, Stéphane Guerrier, Philipp Clausen

Inertial sensors are increasingly being employed in different types of applications. The reduced cost and the extremely small size makes them the number-one-choice in miniature embedded devices like phones, watches, and small unmanned aerial vehicles. The ...

2017

Towards the Need Satisfaction in Gaming: A comparison of different gaming platforms

Touradj Ebrahimi, Anne-Flore Nicole Marie Perrin

Recent advances in Virtual Reality (VR) technologies have resulted in a wider availability of Head Mounted Displays (HMDs). However, it is still unclear if VR gaming offers a substantial added value to players. For this reason a comparison of gaming experi ...

2017

Digital transformation and open innovation ecosystems in the tilm industry: the case of the Movieday platform

Christopher Tucci, Gianluigi Viscusi

Digital technologies are transforming the film industry. Up until roughly a decade ago, the business model for film exhibition was based on theatrical release in combination with television sales and home cinema releases (video and DVD). Recently, many que ...

2017

Algorithmic Verification of Component-based Systems

Qiang Wang

This dissertation discusses algorithmic verification techniques for concurrent component-based systems modeled in the Behavior-Interaction-Priority (BIP) framework with both bounded and unbounded concurrency. BIP is a component framework for mixed software ...

EPFL2017

Hardware And Software For Reproducible Research In Audio Array Signal Processing

Paul Hurley, Eric Bezzam, Sepand Kashani, René Beuchat, Matthieu Martin Jean-André Simeoni, Robin Scheibler, Hanjie Pan, Corentin Ferry, Basile Gérard Pierre Bruneau

In our demo, we present two hardware platforms for prototyping audio array signal processing. Pyramic is a 48-channel microphone array fitted on an FPGA and Compact Six is a portable microphone array with six microphones, closer to the technical constraint ...

Ieee2017

ASAP: a web-based platform for the analysis and interactive visualization of single-cell RNA-seq data

Bart Deplancke, Vincent Roland Julien Gardeux, Adrian Shajkofci, Petra Catalina Schwalie

Motivation: Single-cell RNA-sequencing (scRNA-seq) allows whole transcriptome profiling of thousands of individual cells, enabling the molecular exploration of tissues at the cellular level. Such analytical capacity is of great interest to many research gr ...

Oxford University Press2017

Unification of Compile-Time and Runtime Metaprogramming in Scala

Eugene Burmako

Metaprogramming is a technique that consists in writing programs that treat other programs as data. This paradigm of software development contributes to a multitude of approaches that improve programmer productivity, including code generation, program anal ...

EPFL2017

Page 2 sur 2