Concept

Component Object Model

Publications associées (73)

Improving systems software security through program analysis and instrumentation

Security and reliability bugs are prevalent in systems software. Systems code is often written in low-level languages like C/C++, which offer many benefits but also delegate memory management and type safety to programmers. This invites bugs that cause cra ...

EPFL2016

SABRes: Atomic Object Reads for In-Memory Rack-Scale Computing

Babak Falsafi, Edouard Bugnion, Boris Robert Grot, Alexandros Daglis, Stanko Novakovic, Dmitrii Ustiugov

Modern in-memory services rely on large distributed object stores to achieve the high scalability essential to service thousands of requests concurrently. The independent and unpredictable nature of incoming requests results in random accesses to the objec ...

Ieee2016

Morphological component analysis for sparse regularization in plane wave imaging

Jean-Philippe Thiran, Yves Wiaux, Dimitris Perdios, Eric Bezzam, Rafael Eduardo Carrillo Rangel, Marcel Arditi, Adrien Georges Jean Besson

Classical ultrasound image reconstruction mainly relies on the well-known delay-and-sum (DAS) beamforming for its simplicity and real-time capability. Sparse regularization methods propose an alternative to DAS which lead to a better inversion of the ill-p ...

Ieee2016

Type Soundness for Dependent Object Types (DOT)

Tiark Rompf, Nada Amin

Scala's type system unifies aspects of ML modules, object-oriented, and functional programming. The Dependent Object Types (DOT) family of calculi has been proposed as a new theoretic foundation for Scala and similar expressive languages. Unfortunately, ty ...

Assoc Computing Machinery2016

Type Soundness for Dependent Object Types’

Tiark Rompf, Nada Amin

Scala’s type system unifies aspects of ML modules, object-oriented, and functional programming. The Dependent Object Types (DOT) family of calculi has been proposed as a new theoretic foundation for Scala and similar expressive languages. Unfortunately, ty ...

2016

SeBip: a symbolic executor for BIP

Simon Bliudze, Qiang Wang

This paper presents SeBip, the first symbolic executor for component-based systems modelled in BIP (Be- haviour, Interaction and Priority). To tackle the path explosion problem, SeBip combines partial order reduction technique to reduce the number of inter ...

IEEE Computer Society2015

Automatic Fault Localization for BIP

Simon Bliudze, Qiang Wang

This paper presents a novel idea of automatic fault localization by exploiting counterexamples generated by a model checker. The key insight is that, if a candidate statement is faulty, it is possible to modify (i.e. correct) this statement so that the cou ...

Springer2015

Pyrolysis for coffee pulp valorization

Much literature about the use of pyrolysis in the coffee production sector focuses on a stationary plant design. We evaluate the benefits of a mobile plant to also serve small coffee farmers where the harvesting season lasts only about three months. In suc ...

Villigen PSI, World Resources Forum, printed by Paul Scherrer Institute2015

Exploration of the Complex Similarity of Urban System Components

Matthieu Marie Cochon de Lapparent

Similar to countless natural phenomena, cities have inherent orders that can be properly captured and expressed through a complex analysis of their components. Using Geographic Information Systems (GIS), this work offers a ring-buffer fractal approach to a ...

2015

Correlated Decay of Triplet Excitations in the Shastry-Sutherland Compound SrCu2(BO3)(2)

Henrik Moodysson Rønnow, Joël Mesot, Mohamed Zayed, Kazimierz Conder

The temperature dependence of the gapped triplet excitations (triplons) in the 2D Shastry-Sutherland quantum magnet SrCu2(BO3)(2) is studied by means of inelastic neutron scattering. The excitation amplitude rapidly decreases as a function of temperature, ...

American Physical Society2014

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