English
Related papers

Related papers: Simopt -- Simulation pass for Speculative Optimisa…

200 papers

Control Flow Attestation (CFA) allows remote verification of run-time software integrity in embedded systems. However, CFA is limited by the storage/transmission costs of generated control flow logs (CFlog). Recent work has proposed…

Cryptography and Security · Computer Science 2025-07-17 Liam Tyler , Adam Caulfield , Ivan De Oliveira Nunes

Time-to-market pressure and productivity gap force vendors and researchers to improve embedded system design methodology. Current used design method, Register Transfer Level (RTL), is no longer be adequate to comply with embedded system…

Other Computer Science · Computer Science 2010-05-07 Maman Abdurohman , Kuspriyanto , Sarwono Sutikno , Arif Sasongko

Robotic manipulation relies on analytical or learned models to simulate the system dynamics. These models are often inaccurate and based on offline information, so that the robot planner is unable to cope with mismatches between the…

Robotics · Computer Science 2024-03-13 Marco Faroni , Dmitry Berenson

Speculative decoding improves LLM inference by generating and verifying multiple tokens in parallel, but existing systems suffer from suboptimal performance due to a mismatch between dynamic speculation and static runtime assumptions. We…

Machine Learning · Computer Science 2026-01-01 Yue Guan , Changming Yu , Shihan Fang , Weiming Hu , Zaifeng Pan , Zheng Wang , Zihan Liu , Yangjie Zhou , Yufei Ding , Minyi Guo , Jingwen Leng

Traffic simulation is important for transportation optimization and policy making. While existing simulators such as SUMO and MATSim offer fully-featured platforms and utilities, users without too much knowledge about these platforms often…

Artificial Intelligence · Computer Science 2025-12-25 Yuwei Du , Jun Zhang , Jie Feng , Zhicheng Liu , Jian Yuan , Yong Li

Neural networks have been successfully applied in various resource-constrained edge devices, where usually central processing units (CPUs) instead of graphics processing units exist due to limited power availability. State-of-the-art…

Machine Learning · Computer Science 2026-01-30 Daniel Stein , Shaoyi Huang , Rolf Drechsler , Bing Li , Grace Li Zhang

In this preliminary study, we investigate a GPT-driven intent-based reasoning approach to streamline tool selection for large language models (LLMs) aimed at system efficiency. By identifying the intent behind user prompts at runtime, we…

Machine Learning · Computer Science 2024-04-25 Michael Fore , Simranjit Singh , Dimitrios Stamoulis

Process mining techniques including process discovery, conformance checking, and process enhancement provide extensive knowledge about processes. Discovering running processes and deviations as well as detecting performance problems and…

Other Computer Science · Computer Science 2021-08-05 Mahsa Pourbafrani , Shuai Jiao , Wil M. P. van der Aalst

An effective means for analyzing the impact of novel operating schemes on power systems is time domain simulation, for example for investigating optimization-based curtailment of renewables to alleviate voltage violations. Traditionally,…

Optimization and Control · Mathematics 2016-07-27 Sandro Merkli , Alexander Domahidi , Juan Jerez , Manfred Morari , Roy S. Smith

Recent advances in generative modeling have led to promising results in robot motion planning, particularly through diffusion and flow matching (FM)-based models that capture complex, multimodal trajectory distributions. However, these…

Robotics · Computer Science 2025-11-13 Xiaobing Dai , Zewen Yang , Dian Yu , Fangzhou Liu , Hamid Sadeghian , Sami Haddadin , Sandra Hirche

Witnessing the advancing scale and complexity of chip design and benefiting from high-performance computation technologies, the simulation of Very Large Scale Integration (VLSI) Circuits imposes an increasing requirement for acceleration…

Data Structures and Algorithms · Computer Science 2023-04-27 Weijie Fang , Yanggeng Fu , Jiaquan Gao , Longkun Guo , Gregory Gutin , Xiaoyan Zhang

Generating turbulent inflow data is a challenging task in zonal Large Eddy Simulation (zLES) and often relies on predefined DNS data to generate synthetic turbulence with the correct statistics. The more accurate, but more involved…

Fluid Dynamics · Physics 2024-04-23 Marcel Blind , Johannes Kleinert , Andrea Beck , Thorsten Lutz

In this paper we propose and quantitatively evaluate three performance optimization methods that exploit the concept of communication-compute-control co-design by introducing awareness of communication and compute characteristics into the…

Networking and Internet Architecture · Computer Science 2025-03-06 Sándor Rácz , Norbert Reider

The paper presents a Stateflow based network test-bed to validate real-time optimal control algorithms. Genetic Algorithm (GA) based time domain performance index minimization is attempted for tuning of PI controller to handle a balanced…

Systems and Control · Computer Science 2012-02-28 Ayan Mukherjee , Anindya Pakhira , Saptarshi Das , Indranil Pan , Amitava Gupta

While prior researches focus on CPU-based microservices, they are not applicable for GPU-based microservices due to the different contention patterns. It is challenging to optimize the resource utilization while guaranteeing the QoS for GPU…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-05-06 Wei Zhang , Quan Chen , Kaihua Fu , Ningxin Zheng , Zhiyi Huang , Jingwen Leng , Chao Li , Wenli Zheng , Minyi Guo

Flexibility at hardware level is the main driving force behind adaptive systems whose aim is to realise microarhitecture deconfiguration 'online'. This feature allows the software/hardware stack to tolerate drastic changes of the workload…

Hardware Architecture · Computer Science 2016-12-28 Ana Lava , Mahdi Jelodari Mamaghani , Siamak Mohammadi , Steve Furber

Metal-organic frameworks (MOFs) offer a vast design space, and as such, computational simulations play a critical role in predicting their structural and physicochemical properties. However, MOF simulations remain difficult to access…

Artificial Intelligence · Computer Science 2026-04-01 Jaewoong Lee , Taeun Bae , Jihan Kim

Modeling and optimization of multi-echelon supply chain systems is challenging as it requires a holistic approach that exploits synergies and interactions between echelons while accurately accounting for variability observed by these…

Optimization and Control · Mathematics 2019-01-03 Anshul Agarwal

We introduce a GPU-accelerated simulation tool, named Modeling on Shallow Flows with Efficient Simulation for Two-Phase Debris Flows (MoSES_2PDF), of which the input and output data can be linked to the GIS system for engineering…

Computational Engineering, Finance, and Science · Computer Science 2021-04-15 Chi-Jyun Ko , Po-Chih Chen , Hock-Kiet Wong , Yih-Chin Tai

Incorporating pre-collected offline data can substantially improve the sample efficiency of reinforcement learning (RL), but its benefits can break down when the transition dynamics in the offline dataset differ from those encountered…

Machine Learning · Computer Science 2026-01-22 Lingkai Kong , Haichuan Wang , Tonghan Wang , Guojun Xiong , Milind Tambe
‹ Prev 1 4 5 6 7 8 10 Next ›