Search Results - computing methodologies modeling and simulation simulation theory (systems OR system) theory

FairSense: Long-Term Fairness Analysis of ML-Enabled Systems by She, Yining, Biswas, Sumon, Kastner, Christian, Kang, Eunsuk

“… In this paper, we propose a simulation-based framework called Fairsenseto detect and analyze long-term unfairness in ML-enabled systems…”
Get full text

SAPO: Improving the Scalability and Accuracy of Quantum Linear Solver for Portfolio Optimization by Zhu, Tianze, Lu, Liqiang, Chen, Jiajun, Chen, Yuhang, Chen, Hengrui, Xi, Meng, Zhang, Jinshan, Sun, Xiaoming, Yin, Jianwei

“… Quantum computing offers polynomial or even exponential speedup that turns out to be a promising approach…”
Get full text

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

A Multi‐layer Solver for XPBD by Mercier‐Aubin, A., Kry, P. G.

“…We present a novel multi‐layer method for extended position‐based dynamics that exploits a sequence of reduced models consisting of rigid and elastic parts to…”
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

“…) and identifying failures through offline or online simulation-based testing. However, the process of exploiting the identified failures to uncover design flaws early…”
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

Statistical inference for stochastic simulation models - theory and application by Hartig, Florian, Calabrese, Justin M., Reineking, Björn, Wiegand, Thorsten, Huth, Andreas

“…‐established statistical theory such as maximum likelihood and Bayesian statistics. A number of new methods, among them Approximate Bayesian Computing and Pattern…”
Get full text

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

“… However, existing translation systems, such as Google Translate, have been shown to occasionally produce errors in terminology translation…”
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

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

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

“… components, system software, and application code. Although this process can be accelerated using FPGAs as a simulation host, existing platforms fall short when the resource requirements of a custom hardware design exceed a single FPGA…”
Get full text

High-Performance Computing Architecture Exploration with Stage-Enhanced Bayesian Optimization by Fu, Vincent, Benazouz, Mohamed, Zaourar, Lilia, Munier-Kordon, Alix

“…The emergence of new applications in high-performance computing is driving the need for more efficient computing machines…”
Get full text

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

“…In modern software systems, configurability has become essential for optimizing performance across varying scenarios and user demands…”
Get full text

Closing the "Quantum Supremacy" Gap: Achieving Real-Time Simulation of a Random Quantum Circuit Using a New Sunway Supercomputer by Liu, Yong, Liu, Xin, Li, Fang, Fu, Haohuan, Yang, Yuling, Song, Jiawei, Zhao, Pengpeng, Wang, Zhen, Peng, Dajia, Chen, Huarong, Guo, Chu, Huang, Heliang, Wu, Wenzhao, Chen, Dexun

“…) circuit, with a sustained performance of 1.2 Eflops (single-precision), or 4.4 Eflops (mixed-precision)as a new milestone for classical simulation of quantum circuits…”
Get full text

Human-Assisted Intelligent Computing: Modelling, Simulations and Applications by Manshahia, Mukhdeep Singh, Litvinchev, Igor S, Weber, Gerhard-Wilhelm, Thomas, J. Joshua, Vasant, Pandian, Kavitha, T

“…This edited book focuses on well-known and new methodologies of optimization techniques in human-assisted computing that are used to resolve some of the…”
Get full text

Robust and Artefact‐Free Deformable Contact with Smooth Surface Representations by Du, Y., Li, Y., Coros, S., Thomaszewski, B.

“…Modeling contact between deformable solids is a fundamental problem in computer animation, mechanical design, and robotics…”
Get full text

A Conceptual Modeling and Simulation Framework for System Design by Coatanea, Eric, Roca, Ric, Mokhtarian, Hossein, Mokammel, Faisal, Ikkala, Kimmo

“…This article presents the dimensional analysis conceptual modeling (DACM) framework, intended as a conceptual modeling mechanism for lifecycle systems engineering…”
Get full text

A review of atomic layer deposition modelling and simulation methodologies: Density functional theory and molecular dynamics by Sibanda, David, Oyinbo, Sunday Temitope, Jen, Tien-Chien

“…The use of computational modelling and simulation methodologies has grown in recent years as researchers try to understand the atomic layer deposition (ALD…”
Get full text

Modeling and simulation of planar multibody systems considering multiple revolute clearance joints by Ma, Jia, Qian, Linfang

“…This paper presents a general procedure for dynamic modeling and simulation of planar multibody systems considering multiple revolute clearance joints…”
Get full text

A Novel and Pragmatic Scenario Modeling Framework with Verification-in-the-loop for Autonomous Driving Systems by Du, Dehui, Li, Bo, Zheng, Chenghang, Zhang, Xinyuan

“…Scenario modeling for Autonomous Driving Systems (ADS) enables scenario-based simulation and verification which are critical for the development of safe ADS…”
Get full text