Suchergebnisse - Engineering::Computer science AND engineering::Computing methodologies::Simulation AND modeling

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 …”
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 evaluated under an extremely large amount …”
Volltext

SURFNet: Super-Resolution of Turbulent Flows with Transfer Learning using Small Datasets von 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 …”
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

In-Simulation Testing of Deep Learning Vision Models in Autonomous Robotic Manipulators von 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 …”
Volltext

Anton 3: Twenty Microseconds of Molecular Dynamics Simulation Before Lunch von 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 …”
Volltext

Multi-physics simulations using a hierarchical interchangeable software interface von 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 …”
Volltext

DeepOHeat: Operator Learning-based Ultra-fast Thermal Simulation in 3D-IC Design von 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 …”
Volltext

Towards Realistic, Applicable and Feasible Configuration-Aware Performance Modeling von 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 …”
Volltext

Ever more optimized simulations of fermionic systems on a quantum computer von 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 …”
Volltext

Detailed Rigid Body Simulation with Extended Position Based Dynamics von 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 …”
Volltext

Sparseloop: An Analytical Approach To Sparse Tensor Accelerator Modeling von 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 …”
Volltext

The Dataflow Abstract Machine Simulator Framework von 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 …”
Volltext

An Agent-Based Modeling and Virtual Reality Application Using Distributed Simulation: Case of a COVID-19 Intensive Care Unit von 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 …”
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 …”
Volltext

Self‐Supervised Humidity‐Controllable Garment Simulation via Capillary Bridge Modeling von 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 …”
Volltext

Improving Formal Methods Visualizations von Palliyil, Avinash

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

Towards domain-specific modelling environments based on augmented reality von 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 …”
Volltext

A Distributed Simulation Approach to Integrate AnyLogic and Unity for Virtual Reality Applications: Case of COVID-19 Modelling and Training in a Dialysis Unit von 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 …”
Volltext

Evaluating Terminology Translation in Machine Translation Systems via Metamorphic Testing von 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 …”
Volltext