Extensible Transactional Memory Testbed

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Computer systems rely heavily on abstraction to manage the exponential growth of complexity across hardware and software. Due to practical considerations of compatibility between components of these complex systems across generations, developers have favou ...

Enterprises collect data in large volumes and leverage them to drive numerous concurrent decisions and business processes. Their teams deploy multiple applications that often operate concurrently on the same data and infrastructure but have widely differen ...

We propose a local, non -intrusive model order reduction technique to accurately approximate the solution of coupled multi -component parametrized systems governed by partial differential equations. Our approach is based on the approximation of the boundar ...

Electron-cyclotron waves are a tool commonly used in tokamaks, in particular to drive current. Their ability to drive current in a very localized manner renders them an optimal tool for MHD mode mitigation. However, such applications require high accuracy ...

The potential of automatic code generation through Model-Driven Engineering (MDE) frameworks has yet to be realized. Beyond their ability to help software professionals write more accurate, reusable code, MDE frameworks could make programming accessible fo ...

Fuzzing reliably and efficiently finds bugs in software, including operating system kernels. In general, higher code coverage leads to the discovery of more bugs. This is why most existing kernel fuzzers adopt strategies to generate a series of inputs that ...

MALTA is a depleted monolithic active pixel sensor (DMAPS) developed in the Tower Semiconductor 180-nm CMOS imaging process. Monolithic CMOS sensors offer advantages over current hybrid imaging sensors in terms of both increased tracking performance due to ...

The demise of Moore's Law and Dennard scaling has resulted in diminishing performance gains for general-purpose processors, and so has prompted a surge in academic and commercial interest for hardware accelerators. Specialized hardware has already redefine ...

Code generation is an effective way to drive the complex system development in model-based systems engineering. Currently, different code generators are developed for different modeling languages to deal with the development of systems with multi-domain. T ...

Currently, the fundamental tenets of systems engineering are supported by a model-based approach to minimize risks and avoid design changes in late development stages. The models are used to formalize, analyze, design, optimize, and verify system developme ...

Modern programmers routinely use third-party code, and infrastructure operators deploy software they did not write. This would not be possible without semantic interfaces---documentation, header files, specifications---that succinctly describe what that th ...

With the continuous improvement of system scale and complexity, model-based system engineering (MBSE) is of great importance in the practice of system engineering (SE). MBSE has been widely concerned in industry, especially in the field of complex equipmen ...

The latest standard "New Dual" power module has been developed for both silicon and silicon-carbide devices to meet the increasing demands in high reliability and high temperature power electronic applications. Due to the new package is just starting to re ...

An attempt is made to translate five generic key performance indicators (KPIs) into a continuous real-time cost function in a batch order-based manufacturing environment. The challenge of controlling and optimizing resource utilization, production efficien ...

Cyber-physical systems (CPSs) integrate heterogeneous systems and process sensor data using digital services. As the complexity of CPS increases, it becomes more challenging to efficiently formalize the integrated multidomain views with flexible automated ...

Model-based systems engineering (MBSE) provides an important capability for managing the complexities of system development. MBSE empowers the formalism of system architectures for supporting model-based requirement elicitation, specification, design, deve ...

Machine intelligence greatly impacts almost all domains of our societies. It is profoundly changing the field of mechanical engineering with new technical possibilities and processes. The education of future engineers also needs to adapt in terms of techni ...

The isolation level Multiversion Read Committed (RC), offered by many database systems, is known to trade consistency for increased transaction throughput. Sometimes, transaction workloads can be safely executed under RC obtaining the perfect isolation of ...

Overview Cough audio signal classification has been successfully used to diagnose a variety of respiratory conditions, and there has been significant interest in leveraging Machine Learning (ML) to provide widespread COVID-19 screening. Th ...

Quantification of mobility is the key to monitor the progression of mobility disorders as well as the effect of an intervention. Inertial measurement units (IMUs) with dedicated algorithms can quantify postural transitions and gait as the two key aspects o ...

Extensible Transactional Memory Testbed

Chat with Graph Search

Secure Interface Design Leveraging Hardware/Software Support

Oligolithic Cross-task Optimizations across Isolated Workloads

Model reduction of coupled systems based on non-intrusive approximations of the boundary response maps

Impact of microwave beam scattering by density fluctuations on the electron-cyclotron power deposition profile in tokamaks

Chat2Code: A Chatbot for Model Specification and Code Generation, The Case of Smart Contracts

ACTOR: Action-Guided Kernel Fuzzing

Radiation Hardness of MALTA2, a Monolithic Active Pixel Sensor for Tracking Applications

Building Chips Faster: Hardware-Compiler Co-Design for Accelerated RTL Simulation

Code Generation Approach Supporting Complex System Modeling based on Graph Pattern Matching

Systematic Literature Review of MBSE Tool-Chains

Performance Interfaces for Network Functions

Model-based Systems Engineering Papers Analysis based on Word Cloud Visualization

Aging investigation of the latest standard dual power modules using improved interconnect technologies by power cycling test

Cost-Based Decision Support System: A Dynamic Cost Estimation of Key Performance Indicators in Manufacturing

Model-Based Systems Engineering Tool-Chain for Automated Parameter Value Selection

Design Ontology Supporting Model-Based Systems Engineering Formalisms

Automated Design: A Journey Across Modelling, Optimization, and Education

Robustness against Read Committed for Transaction Templates

The COUGHVID crowdsourcing dataset: A corpus for the study of large-scale cough analysis algorithms

Toward an objective assessment of mobility in clinical and daily activity settings