Search Results - Engineering::Computer science AND engineering::Computing methodologies::Simulation AND modeling

Efficient Domain Augmentation for Autonomous Driving Testing Using Diffusion Models by 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…”
Get full text

Invited: Autonomous Driving Digital Twin Empowered Design Automation: An Industry Perspective by 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 evaluated under an extremely large amount…”
Get full text

SURFNet: Super-Resolution of Turbulent Flows with Transfer Learning using Small Datasets by Obiols-Sales, Octavi, Vishnu, Abhinav, Malaya, Nicholas P., Chandramowlishwaran, Aparna

“…Deep Learning (DL) algorithms are emerging as a key alternative to computationally expensive CFD simulations…”
Get full text

TEASER: Simulation-Based CAN Bus Regression Testing for Self-Driving Cars Software by 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…”
Get full text

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

“… on, and leveraging the optimized DNN within the simulation to accelerate the engineering of the DNN…”
Get full text

Anton 3: Twenty Microseconds of Molecular Dynamics Simulation Before Lunch by Shaw, David E., Adams, Peter J., Azaria, Asaph, Bank, Joseph A., Batson, Brannon, Bell, Alistair, Bergdorf, Michael, Bhatt, Jhanvi, Butts, J. Adam, Correia, Timothy, Dirks, Robert M., Dror, Ron O., Eastwood, Michael P., Edwards, Bruce, Even, Amos, Feldmann, Peter, Fenn, Michael, Fenton, Christopher H., Forte, Anthony, Gagliardo, Joseph, Gill, Gennette, Gorlatova, Maria, Greskamp, Brian, Grossman, J.P., Gullingsrud, Justin, Harper, Anissa, Hasenplaugh, William, Heily, Mark, Heshmat, Benjamin Colin, Hunt, Jeremy, Ierardi, Douglas J., Iserovich, Lev, Jackson, Bryan L., Johnson, Nick P., Kirk, Mollie M., Klepeis, John L., Kuskin, Jeffrey S., Mackenzie, Kenneth M., Mader, Roy J., McGowen, Richard, McLaughlin, Adam, Moraes, Mark A., Nasrb, Mohamed H., Nociolo, Lawrence J., O'Donnell, Lief, Parker, Andrew, Peticolas, Jon L., Pocina, Goran, Predescu, Cristian, Quan, Terry, Salmon, John K., Schwink, Carl, Shim, Keun Sup, Siddique, Naseer, Spengler, Jochen, Szalay, Tamas, Tabladillo, Raymond, Tartler, Reinhard, Taube, Andrew G., Theobald, Michael, Towles, Brian, Vick, William, Wang, Stanley C., Wazlowski, Michael, Weingarten, Madeleine J., Williams, John M., Yuh, Kevin A.

“…Anton 3 is the newest member in a family of supercomputers specially designed for atomic-level simulation of molecules relevant to biology (e.g…”
Get full text

Multi-physics simulations using a hierarchical interchangeable software interface by Portegies Zwart, Simon F., McMillan, Stephen L.W., van Elteren, Arjen, Pelupessy, F. Inti, de Vries, Nathan

“…We introduce a general-purpose framework for interconnecting scientific simulation programs using a homogeneous, unified interface…”
Get full text

DeepOHeat: Operator Learning-based Ultra-fast Thermal Simulation in 3D-IC Design by Liu, Ziyue, Li, Yixing, Hu, Jing, Yu, Xinling, Shiau, Shinyu, Ai, Xin, Zeng, Zhiyu, Zhang, Zheng

“…Thermal issue is a major concern in 3D integrated circuit (IC) design. Thermal optimization of 3D IC often requires massive expensive PDE simulations…”
Get full text

Towards Realistic, Applicable and Feasible Configuration-Aware Performance Modeling by Xia, Yuanjie

“… We conclude these challenges into three parts, which are realistic, applicable and feasible for the performance modeling, This thesis addresses the challenges through four projects…”
Get full text

Ever more optimized simulations of fermionic systems on a quantum computer by Wang, Qingfeng, Cian, Ze-Pei, Li, Ming, Markov, Igor L., Nam, Yunseong

“… Our methodologies straightforwardly generalize to wider classes of near-term simulations of the ground state of a fermionic system or real-time simulations probing dynamical…”
Get full text

Detailed Rigid Body Simulation with Extended Position Based Dynamics by Müller, Matthias, Macklin, Miles, Chentanez, Nuttapong, Jeschke, Stefan, Kim, Tae‐Yong

“…We present a rigid body simulation method that can resolve small temporal and spatial details by using a quasi explicit integration scheme that is unconditionally stable…”
Get full text

Sparseloop: An Analytical Approach To Sparse Tensor Accelerator Modeling by Wu, Yannan Nellie, Tsai, Po-An, Parashar, Angshuman, Sze, Vivienne, Emer, Joel S.

“… The lack of systematic description and modeling support for these sparse tensor accelerators impedes hardware designers from efficient and effective design space exploration…”
Get full text

The Dataflow Abstract Machine Simulator Framework by Zhang, Nathan, Lacouture, Rubens, Sohn, Gina, Mure, Paul, Zhang, Qizheng, Kjolstad, Fredrik, Olukotun, Kunle

“…The growing interest in novel dataflow architectures and streaming execution paradigms has created the need for a simulator optimized for modeling dataflow systems…”
Get full text

An Agent-Based Modeling and Virtual Reality Application Using Distributed Simulation: Case of a COVID-19 Intensive Care Unit by Possik, Jalal, Asgary, Ali, Solis, Adriano O., Zacharewicz, Gregory, Shafiee, Mohammad A., Najafabadi, Mahdi M., Nadri, Nazanin, Guimaraes, Abel, Iranfar, Hossein, Ma, Philip, Lee, Christie M., Tofighi, Mohammadali, Aarabi, Mehdi, Gorecki, Simon, Wu, Jianhong

“… The COVID-19 pandemic, with the resulting necessity for rapid and remote assessment, has highlighted the critical role of modeling and simulation in healthcare, particularly distributed simulation (DS…”
Get full text

LLM-Agents Driven Automated Simulation Testing and Analysis of small Uncrewed Aerial Systems by 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…”
Get full text

Self‐Supervised Humidity‐Controllable Garment Simulation via Capillary Bridge Modeling by Shi, M., Wang, X., Zhang, J., Gao, L., Zhu, D., Zhang, H.

“…‐supervised framework for humidity‐controllable clothing simulation grounded in the physical modeling of capillary bridges that form between fabric and skin…”
Get full text

Improving Formal Methods Visualizations by Palliyil, Avinash

“…Formal methods encompass mathematical techniques for specifying, validating and verifying software and hardware systems. While they are powerful, their use of…”
Get full text

Towards domain-specific modelling environments based on augmented reality by Brunschwig, Léa, Campos-López, Rubén, Guerra, Esther, de Lara, Juan

“…Models are pervasive in many disciplines, like software and systems engineering. Modelling by the use of domain-specific languages (DSLs…”
Get full text

A Distributed Simulation Approach to Integrate AnyLogic and Unity for Virtual Reality Applications: Case of COVID-19 Modelling and Training in a Dialysis Unit by Possik, Jalal, Gorecki, Simon, Asgary, Ali, Solis, Adriano O., Zacharewicz, Gregory, Tofighi, Mohammadali, Shafiee, Mohammad Ali, Merchant, Asad A., Aarabi, Mehdi, Guimaraes, Abel, Nadri, Nazanin

“…Different heterogeneous simulation components can be integrated to produce a more effective complex global system…”
Get full text

Evaluating Terminology Translation in Machine Translation Systems via Metamorphic Testing by Xu, Yihui, Li, Yanhui, Wang, Jun, Zhang, Xiaofang

“…Machine translation has become an integral part of daily life, with terminology translation playing a crucial role in ensuring the accuracy of translation…”
Get full text