Suchergebnisse - "Computing methodologies Modeling and simulation Simulation support systems Simulation tools"

MGPUSim: Enabling Multi-GPU Performance Modeling and Optimization von Sun, Yifan, Baruah, Trinayan, Mojumder, Saiful A., Dong, Shi, Gong, Xiang, Treadway, Shane, Bao, Yuhui, Hance, Spencer, McCardwell, Carter, Zhao, Vincent, Barclay, Harrison, Ziabari, Amir Kavyan, Chen, Zhongliang, Ubal, Rafael, Abellan, Jose L., Kim, John, Joshi, Ajay, Kaeli, David

“… The rapidly growing popularity and scale of data-parallel workloads demand a corresponding increase in raw computational power of Graphics Processing Units …”
Volltext

Towards Differentiable Electron Microscopy Simulation: Methods and Applications von Nguyen, Ngan, Liang, Feng, Engel, Dominik, Bohak, Ciril, Strnad, Ondrej, Ropinski, Timo, Viola, Ivan

“… We propose a new microscopy simulation system that can depict atomistic models in a micrograph visual style, similar to physical electron microscopy imaging …”
Volltext

A Crowd-Based Explosive Detection System with Two-Level Feedback Sensor Calibration von Yang, Chengmo, Cronin, Patrick, Agambayev, Agamyrat, Ozev, Sule, Cetin, A. Enis, Orailoglu, Alex

“… Large, open, public events, such as marathons and festivals, have always presented a unique safety challenge. These sprawling events, which can take up entire …”
Volltext

GEM: GPU-Accelerated Emulator-Inspired RTL Simulation von Guo, Zizheng, Zhang, Yanqing, Wang, Runsheng, Lin, Yibo, Ren, Haoxing

“… In this paper, we present a GPU-accelerated RTL simulator addressing critical challenges in high-speed circuit verification. Traditional CPU-based RTL …”
Volltext

SDM-PEB: Spatial-Depthwise Mamba for Enhanced Post-Exposure Bake Simulation von Yu, Ziyang, Xu, Peng, Wang, Zixiao, Zhu, Binwu, Wang, Qipan, Lin, Yibo, Wang, Runsheng, Yu, Bei, Wong, Martin

“… The post-exposure bake (PEB) process is a critical step in semiconductor lithography, directly impacting resist profile accuracy and circuit pattern fidelity …”
Volltext

Efficient Domain Augmentation for Autonomous Driving Testing Using Diffusion Models von Baresi, Luciano, Xian Hu, Davide Yi, Stocco, Andrea, Tonella, Paolo

“… Simulation-based testing is widely used to assess the reliability of Autonomous Driving Systems (ADS), but its effectiveness is limited by the operational …”
Volltext

Versatile Cross-platform Compilation Toolchain for Schrödinger-style Quantum Circuit Simulation von Lu, Yuncheng, Liang, Shuang, Fan, Hongxiang, Guo, Ce, Luk, Wayne, Kelly, Paul H. J.

“… While existing quantum hardware resources have limited availability and reliability, there is a growing demand for exploring and verifying quantum algorithms …”
Volltext

Introducing Instruction-Accurate Simulators for Performance Estimation of Autotuning Workloads von Pelke, Rebecca, Bosbach, Nils, Reimann, Lennart M., Leupers, Rainer

“… Accelerating Machine Learning (ML) workloads requires efficient methods due to their large optimization space. Autotuning has emerged as an effective approach …”
Volltext

LLM-Agents Driven Automated Simulation Testing and Analysis of small Uncrewed Aerial Systems von Duvvuru, Venkata Sai Aswath, Zhang, Bohan, Vierhauser, Michael, Agrawal, Ankit

“… Thorough simulation testing is crucial for validating the correct behavior of small Uncrewed Aerial Systems (sUAS) across multiple scenarios, including adverse …”
Volltext

TEASER: Simulation-Based CAN Bus Regression Testing for Self-Driving Cars Software von Birchler, Christian, Rohrbach, Cyrill, Kim, Hyeongkyun, Gambi, Alessio, Liu, Tianhai, Horneber, Jens, Kehrer, Timo, Panichella, Sebastiano

“… Safety-critical systems such as self-driving cars (SDCs) must be rigorously tested. Especially electronic control units (ECUs) of SDCs should be tested with …”
Volltext

FireAxe: Partitioned FPGA-Accelerated Simulation of Large-Scale RTL Designs von Whangbo, Joonho, Lim, Edwin, Zhang, Chengyi Lux, Anderson, Kevin, Gonzalez, Abraham, Gupta, Raghav, Krishnakumar, Nivedha, Karandikar, Sagar, Nikolic, Borivoje, Shao, Yakun Sophia, Asanovic, Krste

“… Pre-silicon validation and end-to-end system evaluation are integral parts of hardware development as they provide architects with insights about the complex …”
Volltext

In-Simulation Testing of Deep Learning Vision Models in Autonomous Robotic Manipulators von Humeniuk, Dmytro, Ben Braiek, Houssem, Reid, Thomas, Khomh, Foutse

“… Testing autonomous robotic manipulators is challenging due to the complex software interactions between vision and control components. A crucial element of …”
Volltext

Invited: Autonomous Driving Digital Twin Empowered Design Automation: An Industry Perspective von Yu, Bo, Tang, Jie, Liu, Shao-Shan

“… Designing reliable computing systems for autonomous driving is extremely challenging, as the performance and reliability of the systems have to be thoroughly …”
Volltext

Mobicomonkey: context testing of Android apps von Ami, Amit Seal, Hasan, Md. Mehedi, Rahman, Md. Rayhanur, Sakib, Kazi

“… The functionality of many mobile applications is dependent on various contextual, external factors. Depending on unforeseen scenarios, mobile apps can even …”
Volltext

An analysis of random cache effects on real-time multi-core scheduling algorithms von Hafnaoui, Imane, Chen, Chao, Ayari, Rabeh, Nicolescu, Gabriela, Beltrame, Giovanni

“… The effect of sharing the last-level cache (LLC) among cores in a multi-core system has not been thoroughly investigated especially in the design of efficient …”
Volltext

A Massively Parallel Infrastructure for Adaptive Multiscale Simulations: Modeling RAS Initiation Pathway for Cancer von Di Natale, Francesco, Neale, Chris, Stanton, Liam, Scogland, Thomas R. W., Yang, Yue, Costa, Carlos, Gnanakaran, Sandrasegaram, Lightstone, Felice C., Bhatia, Harsh, Schumacher, Sara Kokkila, Zhang, Xiaohua, Dharuman, Gautham, Misale, Claudia, Kim, Changhoan, Nissley, Dwight V., Bremer, Peer-Timo, Ingolfsson, Helgi I., Carpenter, Timothy S., Oppelstrup, Tomas, Sundram, Shiv, Surh, Michael P., Schneidenbach, Lars, D'Amora, Bruce, Streitz, Fred, Glosli, James N.

“… Computational models can define the functional dynamics of complex systems in exceptional detail. However, many modeling studies face seemingly incommensurate …”
Volltext

Word-Level Augmentation of Formal Proof by Learning from Simulation Traces von Yan, Zhiyuan, Zhang, Hongce

“… Formal verification has been widely adopted to check logic correctness. One of the challenges in formal verification is how to quickly reach a formal proof for …”
Volltext

Enabling Data Reduction for Flash-X Simulations von Jain, Rajeev, Tang, Houjun, Dhruv, Akash, Byna, Suren

“… High-fidelity physics simulation codes, such as Flash-X, generate large amounts of simulation data. Much of the data written to files is sparse and can be …”
Volltext

AI-Assisted Design-Space Analysis of High-Performance Arm Processors von Moore, Joseph, Deakin, Tom, McIntosh-Smith, Simon

“… This work quantifies the impact of microarchitectural features in modern high-performance Arm CPUs. To combat a parameter space that is too large to traverse …”
Volltext

Generalizable Coordination of Large Multiscale Workflows: Challenges and Learnings at Scale von Bhatia, Harsh, Di Natale, Francesco, Moon, Joseph Y., Zhang, Xiaohua, Chavez, Joseph R., Aydin, Fikret, Stanley, Chris, Oppelstrup, Tomas, Neale, Chris, Schumacher, Sara Kokkila, Ahn, Dong H., Herbein, Stephen, Carpenter, Timothy S., Gnanakaran, Sandrasegaram, Bremer, Peer-Timo, Glosli, James N., Lightstone, Felice C., Ingolfsson, Helgi I.

“… The advancement of machine learning techniques and the heterogeneous architectures of most current supercomputers are propelling the demand for large …”
Volltext