English
Related papers

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

200 papers

System-level design methodologies have been introduced as a solution to handle the design complexity of mixed Hardware / Software systems. In this paper we describe a system-level design flow starting from Simulink specification, focusing…

Software Engineering · Computer Science 2012-07-18 Youssef Atat , Mostafa Rizk

Electrification in the automotive industry and increasing powertrain complexity demand accelerated, cost-effective development cycles. While data-driven models are recently investigated at component level, a gap exists in systematically…

Systems and Control · Electrical Eng. & Systems 2025-12-17 Eymen Ipek , Mario Hirz

Accurate and efficient wave-optics simulation of partially coherent light transport systems is critical for the design of advanced optical systems, ranging from computational lithography to diffraction-limited storage rings (DLSR). However,…

Optics · Physics 2026-01-23 Han Xu , Ming Li , Shuo Wang , Zhe Ren , Peng Liu , Yi Zhang , Yuhui Dong , Liang Zhou

A syntactic model is presented for the specification of finite-state synchronous digital logic systems with complex input/output interfaces, which control the flow of data between opaque computational elements, and for the composition of…

Logic in Computer Science · Computer Science 2023-02-02 Nick Mertin , K. Ritsuka , Karen Rudie

Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches of modeling system safety requirements and interaction…

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

Multimodal semantic communication has gained widespread attention due to its ability to enhance downstream task performance. A key challenge in such systems is the effective fusion of features from different modalities, which requires the…

Image and Video Processing · Electrical Eng. & Systems 2025-09-03 Haoshuo Zhang , Yufei Bo , Hongwei Zhang , Meixia Tao

Surface normal integration is a fundamental problem in computer vision, dealing with the objective of reconstructing a surface from its corresponding normal map. Existing approaches require an iterative global optimization to jointly…

Computer Vision and Pattern Recognition · Computer Science 2025-12-02 Francesco Milano , Jen Jen Chung , Lionel Ott , Roland Siegwart

The simulation of multi-body systems with frictional contacts is a fundamental tool for many fields, such as robotics, computer graphics, and mechanics. Hard frictional contacts are particularly troublesome to simulate because they make the…

Robotics · Computer Science 2022-04-19 Bilal Hammoud , Luca Olivieri , Ludovic Righetti , Justin Carpentier , Andrea Del Prete

In the rapidly evolving field of deep learning, specialized models have driven significant advancements in tasks such as computer vision and natural language processing. However, this specialization leads to a fragmented ecosystem where…

Computer Vision and Pattern Recognition · Computer Science 2024-10-10 Bowen Tian , Songning Lai , Yutao Yue

This paper proposes a real-time physically-based method for simulating vehicle deformation. Our system synthesizes vehicle deformation characteristics by considering a low-dimensional coupled vehicle body technique. We simulate the motion…

Robotics · Computer Science 2023-04-12 Ben Kenwright

We propose a series of features for the graphical user interface (GUI) of the COmputational MOdule Integrator (COMODI) \cite{Synasc05a}\cite{COMODI}. In view of the special requirements that a COMODI type of framework for scientific…

Human-Computer Interaction · Computer Science 2016-08-16 Zsolt I. Lázár , Andreea Fanea , Dragoş Petraşcu , Vladiela Ciobotariu-Boer , Bazil Pârv

Scanning probe microscopy (SPM) is a valuable technique by which one can investigate the physical characteristics of the surfaces of materials. However, its widespread use is hampered by the time-consuming nature of running an experiment…

Instrumentation and Detectors · Physics 2025-09-03 Nicholas J. Sullivan , Julio J. Valdés , Kirk H. Bevan , Peter Grutter

The burgeoning RISC-V ecosystem necessitates efficient verification methodologies for complex processors. Traditional approaches often struggle to concurrently evaluate functional correctness and performance, or balance simulation speed…

Hardware Architecture · Computer Science 2025-05-16 Ruizhi Qiu , Yang Liu

Nowadays, a majority of System-on-Chips (SoCs) make use of Intellectual Property (IP) in order to shorten development cycles. When such IPs are developed, one of the main focuses lies in the high configurability of the design. This…

Software Engineering · Computer Science 2024-05-06 Aman Kumar , Sebastian Simon

In the present paper, an integrated paradigm for topology optimization on complex surfaces with arbitrary genus is proposed. The approach is constructed based on the two-dimensional (2D) Moving Morphable Component (MMC) framework, where a…

Optimization and Control · Mathematics 2022-02-03 Wendong Huo , Chang Liu , Zongliang Du , Xudong Jiang , Zhengyu Liu , Xu Guo

In this paper, we propose a real-world benchmark for studying robotic learning in the context of functional manipulation: a robot needs to accomplish complex long-horizon behaviors by composing individual manipulation skills in functionally…

Robotics · Computer Science 2024-09-04 Jianlan Luo , Charles Xu , Fangchen Liu , Liam Tan , Zipeng Lin , Jeffrey Wu , Pieter Abbeel , Sergey Levine

Multimodal semantic segmentation shows significant potential for enhancing segmentation accuracy in complex scenes. However, current methods often incorporate specialized feature fusion modules tailored to specific modalities, thereby…

Computer Vision and Pattern Recognition · Computer Science 2025-08-08 Bingyu Li , Da Zhang , Zhiyuan Zhao , Junyu Gao , Xuelong Li

With the rapid advancement of large language models (LLMs) in code generation, their applications in hardware design are receiving growing attention. However, existing LLMs face several challenges when generating Verilog code for finite…

Software Engineering · Computer Science 2025-12-15 Qiuming Luo , Yanming Lei , Kunzhong Wu , Yixuan Cao , Chengjian Liu

Motion planning for autonomous robots in dynamic environments poses numerous challenges due to uncertainties in the robot's dynamics and interaction with other agents. Sampling-based MPC approaches, such as Model Predictive Path Integral…

Robotics · Computer Science 2024-05-07 Elia Trevisan , Javier Alonso-Mora

In the continuously evolving cloud computing and network environment, service function chain (SFC) plays a crucial role in implementing complex services in the network with its flexible deployment capabilities. To address the limitations of…

Software Engineering · Computer Science 2025-12-15 Xi Wang , Shuo Shi , Chenyu Wu