English
Related papers

Related papers: Automatic integration of SystemC in the FMI standa…

200 papers

Modulation format identification (MFI) is crucial in next-generation optical networks such as cognitive optical networks. An integrated-clustering-algorithm-based MFI scheme in a coherent optical communication system is proposed herein.…

Signal Processing · Electrical Eng. & Systems 2021-04-30 Wenbo Zhang , Jinmei Ye , Zixian Yue , Yuxiang Wang , Xulun Zhang , Xiaoguang Zhang , Lixia Xi

Satisfiability Modulo Counting (SMC) is a recently proposed general language to reason about problems integrating statistical and symbolic Artificial Intelligence. An SMC problem is an extended SAT problem in which the truth values of a few…

Artificial Intelligence · Computer Science 2025-06-19 Jinzhao Li , Nan Jiang , Yexiang Xue

We propose a computational framework for vascular fluid-structure interaction (FSI), focusing on biomechanical modeling, geometric modeling, and solver technology. The biomechanical model is constructed based on the unified continuum…

Fluid Dynamics · Physics 2022-06-27 Ju Liu , Jiayi Huang , Qingshuang Lu , Yujie Sun

With the advent of ISO 26262 there is an increased emphasis on top-down design in the automotive industry. ISO 26262 lacks detailed requirements for its various constituent phases. The lack of guidance becomes evident for the reuse of…

Systems and Control · Electrical Eng. & Systems 2019-12-09 Naveen Mohan , Martin Törngren , Sagar Behere

With the advancement of modern robotics, autonomous agents are now capable of hosting sophisticated algorithms, which enables them to make intelligent decisions. But developing and testing such algorithms directly in real-world systems is…

Robotics · Computer Science 2022-08-16 Emon Dey , Jumman Hossain , Nirmalya Roy , Carl Busart

Efficiently estimating system dynamics from data is essential for minimizing data collection costs and improving model performance. This work addresses the challenge of designing future control inputs to maximize information gain, thereby…

Systems and Control · Electrical Eng. & Systems 2025-04-29 Joshua Ott , Mykel J. Kochenderfer , Stephen Boyd

Cycle-accurate software simulation of multicores with complex microarchitectures is often excruciatingly slow. People use simplified core models to gain simulation speed. However, a persistent question is to what extent the results derived…

Hardware Architecture · Computer Science 2016-10-10 Sizhuo Zhang , Andrew Wright , Daniel Sanchez , Arvind

With Motor-Imagery (MI) Brain--Machine Interfaces (BMIs) we may control machines by merely thinking of performing a motor action. Practical use cases require a wearable solution where the classification of the brain signals is done locally…

Signal Processing · Electrical Eng. & Systems 2021-02-23 Xiaying Wang , Tibor Schneider , Michael Hersche , Lukas Cavigelli , Luca Benini

Real-world manipulation data involving robotic arms is crucial for developing generalist action policies, yet such data remains scarce since existing data collection methods are hindered by high costs, hardware dependencies, and complex…

Autonomous critical systems, such as satellites and space rovers, must be able to detect the occurrence of faults in order to ensure correct operation. This task is carried out by Fault Detection and Identification (FDI) components, that…

Logic in Computer Science · Computer Science 2019-03-14 Marco Bozzano , Alessandro Cimatti , Marco Gario , Stefano Tonetta

This paper introduces an innovative software system for fundus image analysis that deliberately diverges from the conventional screening approach, opting not to predict specific diagnoses. Instead, our methodology mimics the diagnostic…

Computer Vision and Pattern Recognition · Computer Science 2025-01-27 Dmitry Ryabtsev , Boris Vasilyev , Sergey Shershakov

Nowadays, Software Process Improvement popularly known as SPI has been able to receive an immense concern in the continuous process to purify software quality. Several Agile methodologies previously have worked with Extreme programming…

Software Engineering · Computer Science 2021-07-13 Md. Habibur Rahman , Ziaur Rahman , Md. Al - Mustanjid , Muhammad Shahin Uddin , Mehedy Hasan Rafsan Jany

Safety is an important element of dependability. It is defined as the absence of accidents. Most accidents involving software-intensive systems have been system accidents, which are caused by unsafe inter-system or inter-component…

Software Engineering · Computer Science 2016-11-17 Zhe Chen , Gilles Motet

Computing systems rarely deliver best possible performance due to ever increasing hardware and software complexity and limitations of the current optimization technology. Additional code and architecture optimizations are often required to…

Distributed, Parallel, and Cluster Computing · Computer Science 2014-07-15 Grigori Fursin

Context: Competitions for self-driving cars facilitated the development and research in the domain of autonomous vehicles towards potential solutions for the future mobility. Objective: Miniature vehicles can bridge the gap between…

Robotics · Computer Science 2014-07-02 Christian Berger

In today's technology-driven world, early-stage software development and testing are crucial. Virtual Platforms (VPs) have become indispensable tools for this purpose as they serve as a platform to execute and debug the unmodified target…

Software Engineering · Computer Science 2025-05-22 Nils Bosbach , Rebecca Pelke , Niko Zurstraßen , Jan Henrik Weinstock , Lukas Jünger , Rainer Leupers

We propose a novel fast and accurate simulation framework for contact-intensive tight-tolerance robotic assembly tasks. The key components of our framework are as follows: 1) data-driven contact point clustering with a certain…

Robotics · Computer Science 2022-03-01 Jaemin Yoon , Minji Lee , Dongwon Son , Dongjun Lee

Automated driving technologies promise substantial improvements in transportation safety, efficiency, and accessibility. However, ensuring the reliability and safety of Autonomous Vehicles in complex, real-world environments remains a…

Software Engineering · Computer Science 2025-03-03 João-Vitor Zacchi , Edoardo Clementi , Núria Mata

This paper addresses challenges of designing and managing Complex Performance Indicators (CPI), which amalgamate individual indicators to measure latent, yet crucial business factors like customer satisfaction or sustainability indices.…

Software Engineering · Computer Science 2025-05-08 Benito Giunta , Corentin Burnay

We propose a holistic approach for deploying Small Language Models (SLMs) as function-calling agents within vehicles as edge devices, offering a more flexible and robust alternative to traditional rule-based systems. By leveraging SLMs, we…

‹ Prev 1 4 5 6 7 8 10 Next ›