Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Component Object Model

Publications associées (20)

Spatiotemporal wildfire modeling through point processes with moderate and extreme marks

Jonathan Koh Boon Han

Accurate spatiotemporal modeling of conditions leading to moderate and large wildfires provides better understanding of mechanisms driving fire-prone ecosystems and improves risk management. Here, we develop a joint model for the occurrence intensity and t ...

2023

The new Chapter 9 of Eurocode 8 Part 3 for Seismic Assessment of Existing Steel Structures

Dimitrios Lignos

The seismic assessment of existing steel structures necessitates the development of practice- oriented engineering models for use in nonlinear static and dynamic analysis procedures. These models should encompass the full range of the anticipated nonlinear ...

2023

Reduced-order Models for Simulating Coupled Geometric Instabilities in Steel Beam-columns Under Inelastic Cyclic Straining

Alexander Riley Hartloper

Numerical models that can simulate coupled geometric instabilities in steel beam-columns are required for the seismic assessment of certain steel moment-resisting frames. Reliably simulating coupled instabilities requires that the steel material is precise ...

EPFL2021

Measurement and Modeling of Both Distant and Close Electric Fields of an M‐Component in Rocket‐Triggered Lightning

Farhad Rachidi-Haeri, Marcos Rubinstein, Mohammad Azadifar, Amirhossein Mostajabi

Simultaneous measurements of current and multiple‐station electric fields associated with a 5.4‐kA‐peak M‐component in rocket‐triggered lightning are presented in this study. A close‐range electric field measurement site was located northeast of the trigge ...

2020

A New Engineering Model of Lightning M Component That Reproduces Its Electric Field Waveforms at Both Close and Far Distances

Farhad Rachidi-Haeri, Marcos Rubinstein, Mohammad Azadifar, Quanxin Li

We present a new engineering model for the M component mode of charge transfer to ground that can predict the observed electric field signatures associated with this process at various distances, including (a) the microsecond-scale pulse thought to be due ...

2019

USSR: An UltraSound Sparse Regularization framework

Jean-Philippe Thiran, Yves Wiaux, Adrien Georges Jean Besson, Dimitris Perdios, Marcel Arditi, Florian Martinez

Ultrafast ultrasound (US) imaging uses unfocused waves to insonify the whole medium of interest at once, allowing pulse-echo US imaging to achieve very high frame rates, at the cost of a lower image quality. In this paper, we present USSR, an UltraSound Sp ...

Ieee2017

Virtual Prototyping Methodology for Power Automation Cyber-Physical-Systems

Juan Sebastian Rodriguez Estupinan

In this thesis, the author proposes a circular system development model which considers all the stages in a typical development process for industrial systems. In particular, the present work shows that the use of virtual prototyping at early stages of the ...

EPFL2017

Coordination of Dynamic Software Components with JavaBIP

Simon Bliudze, Anastasia Mavridou

JavaBIP allows the coordination of software components by clearly separating the functional and coordination aspects of the system behavior. JavaBIP implements the principles of the BIP component framework rooted in rigorous operational semantics. Recent w ...

Springer International Publishing2017

Improving systems software security through program analysis and instrumentation

Volodymyr Kuznetsov

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, Rafael Eduardo Carrillo Rangel, Adrien Georges Jean Besson, Dimitris Perdios, Marcel Arditi, Eric Bezzam

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

Linking response quality to survey engagement: A combined random scale and latent variable approach

Amanda Blomberg Stathopoulos

Recent interest in the topic of random scale heterogeneity in discrete choice data has led to the development of specialised tools such as the G-MNL model, as well as repeated claims that studies which fail to separate scale heterogeneity from heterogeneit ...

2013

Lightweight Modular Staging: A Pragmatic Approach to Runtime Code Generation and Compiled DSLs

Martin Odersky, Tiark Rompf

Good software engineering practice demands generalization and abstraction, whereas high performance demands specialization and concretization. These goals are at odds, and compilers can only rarely translate expressive high-level programs to modern hardwar ...

2012

Lightweight Modular Staging and Embedded Compilers : Abstraction without Regret for High-Level High-Performance Programming

Tiark Rompf

Programs expressed in a high-level programming language need to be translated to a low-level machine dialect for execution. This translation is usually accomplished by a compiler, which is able to translate any legal program to equivalent low-level code. B ...

EPFL2012

Tight Failure Detection Bounds on Atomic Object Implementations

Rachid Guerraoui

This article determines the weakest failure detectors to implement shared atomic objects in a distributed system with crash-prone processes. We first determine the weakest failure detector for the basic register object. We then use that to determine the we ...

2010

Lightweight Modular Staging: A Pragmatic Approach to Runtime Code Generation and Compiled DSLs

Martin Odersky, Tiark Rompf

Software engineering demands generality and abstraction, performance demands specialization and concretization. Generative programming can provide both, but the effort required to develop high-quality program generators likely offsets their benefits, even ...

2010