A Comprehensive Timing Model for Accurate Frequency Tuning in Dataflow Circuits

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.

vanishing viscosity, networks. This work has received funding from the Alexander von Humboldt-Professorship program, the Transregio 154 Project "Mathematical Modelling, Simulation and Optimization Using the Example of Gas Networks" of the DFG, the grant PI ...

As computer architects continually push the limits of microarchitectural performance optimizations, securing hardware against speculative execution attacks feels like a Sisyphean task. This article explores the critical role computer architects can play in ...

Human babies have a natural desire to interact with new toys and objects, through which they learn how the world around them works, e.g., that glass shatters when dropped, but a rubber ball does not. When their predictions are proven incorrect, such as whe ...

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 ...

The Joint Photographic Experts Group (JPEG) AI learning-based image coding system is an ongoing joint standardization effort between International Organization for Standardization (ISO), International Electrotechnical Commission (IEC), and International Te ...

In the context of SARS-CoV-2 pandemic, mathematical modelling has played a funda-mental role for making forecasts, simulating scenarios and evaluating the impact of pre-ventive political, social and pharmaceutical measures. Optimal control theory represent ...

Aortic diastolic pressure decay (DPD) has been shown to have considerable pathophysiological relevance in the assessment of vascular health, as it is significantly affected by arterial stiffening. Nonetheless, the aortic pressure waveform is rarely availab ...

A key player in the formation of endoplasmic reticulum sheets is CLIMP-63, but mechanistic details remained elusive. Here authors combined cellular experiments and mathematical modelling to show that S-acylation of CLIMP-63 regulates its function by mediat ...

Machine learning is often cited as a new paradigm in control theory, but is also often viewed as empirical and less intuitive for students than classical model-based methods. This is particularly the case for reinforcement learning, an approach that does n ...

Background: Simulating the cardiac function requires the numerical solution of multi-physics and multi-scale mathematical models. This underscores the need for streamlined, accurate, and high-performance computational tools. Despite the dedicated endeavors ...

Deep learning (DL) has been wildly successful in practice, and most of the state-of-the-art machine learning methods are based on neural networks (NNs). Lacking, however, is a rigorous mathematical theory that adequately explains the amazing performance of ...

The local physical properties - such as shape and flexibility - of the DNA double-helix is today widely believed to be influenced by nucleic acid sequence in a non-trivial way. Furthermore, there is strong evidence that these properties play a role in many ...

Today's continued increase in demand for processing power, despite the slowdown of Moore's law, has led to an increase in processor count, which has resulted in energy consumption and distribution problems. To address this, there is a growing trend toward ...

Locomotion is an essential evolutive innovation of living beings that allows them to colonize and dominate the planet. As diverse as animal morphologies are (living) and were (extinct), their locomotion modalities are also diverse. In particular, animal mo ...

Physics-informed machine learning (PIML) is a set of methods and tools that systematically integrate machine learning (ML) algorithms with physical constraints and abstract mathematical models developed in scientific and engineering domains. As opposed to ...

Background: Transposable elements (TEs) have colonized the genomes of most metazoans, and many TE-embedded sequences function as cis-regulatory elements (CREs) for genes involved in a wide range of biological processes from early embryo- genesis to innate ...

Over the course of a lifetime, the human brain acquires an astonishing amount of semantic knowledge and autobiographical memories, often with an imprinting strong enough to allow detailed information to be recalled many years after the initial learning exp ...

Most modern in-memory online transaction processing (OLTP) engines rely on multi-version concurrency control (MVCC) to provide data consistency guarantees in the presence of conflicting data accesses. MVCC improves concurrency by generating a new version o ...

Advances in computational capabilities and large volumes of experimental data have established computer simulations of brain tissue models as an important pillar in modern neuroscience. Alongside, a variety of domain specific languages (DSLs) have been dev ...

The aim of this paper is to introduce a new mathematical model that simulates myocardial blood perfusion that accounts for multiscale and multiphysics features. Our model incorporates cardiac electrophysiology, active and passive mechanics, hemodynamics, v ...

A Comprehensive Timing Model for Accurate Frequency Tuning in Dataflow Circuits

Chat with Graph Search

CONTROL OF HYPERBOLIC AND PARABOLIC EQUATIONS ON NETWORKS AND SINGULAR LIMITS

Formal Verification for Secure Processors: A Guide for Computer Architects

Seeking the new, learning from the unexpected: Computational models of surprise and novelty in the brain

Oligolithic Cross-task Optimizations across Isolated Workloads

The JPEG AI Standard: Providing Efficient Human and Machine Visual Data Consumption

Optimized numerical solutions of SIRDVW multiage model controlling SARS-CoV-2 vaccine roll out: An application to the Italian scenario

On the similarity between aortic and carotid pressure diastolic decay: a mathematical modelling study

Dynamics of CLIMP-63 S-acylation control ER morphology

Reinforcement learning approach to control an inverted pendulum: A general framework for educational purposes

lifex-ep: a robust and efficient software for cardiac electrophysiology simulations

Deep Learning Meets Sparse Regularization

Landscapes of DNA Mechanics and Genomes

Compilation and Design Space Exploration of Dataflow Programs for Heterogeneous CPU-GPU Platforms

Beyond undulation! Body morphology and sensing components of elongated animals and robots reveal skills to maintain competent locomotion

Physics-Informed Machine Learning for Modeling and Control of Dynamical Systems

Statistical learning quantifies transposable element-mediated cis-regulation

A theory of memory consolidation and synaptic pruning in cortical circuits

One-shot Garbage Collection for In-memory OLTP through Temporality-aware Version Storage

MOD2IR: High-Performance Code Generation for a Biophysically Detailed Neuronal Simulation DSL

A comprehensive mathematical model for cardiac perfusion