Výsledky vyhledávání - computing methodologies modeling and simulation simulation theory (systems OR system) theory
-
1
FairSense: Long-Term Fairness Analysis of ML-Enabled Systems
ISSN: 1558-1225Vydáno: IEEE 26.04.2025Vydáno v Proceedings / International Conference on Software Engineering (26.04.2025)“… In this paper, we propose a simulation-based framework called Fairsenseto detect and analyze long-term unfairness in ML-enabled systems…”
Získat plný text
Konferenční příspěvek -
2
SAPO: Improving the Scalability and Accuracy of Quantum Linear Solver for Portfolio Optimization
Vydáno: IEEE 22.06.2025Vydáno v 2025 62nd ACM/IEEE Design Automation Conference (DAC) (22.06.2025)“… Quantum computing offers polynomial or even exponential speedup that turns out to be a promising approach…”
Získat plný text
Konferenční příspěvek -
3
Efficient Domain Augmentation for Autonomous Driving Testing Using Diffusion Models
ISSN: 1558-1225Vydáno: IEEE 26.04.2025Vydáno v Proceedings / International Conference on Software Engineering (26.04.2025)“…Simulation-based testing is widely used to assess the reliability of Autonomous Driving Systems (ADS…”
Získat plný text
Konferenční příspěvek -
4
A Multi‐layer Solver for XPBD
ISSN: 0167-7055, 1467-8659Vydáno: Oxford Blackwell Publishing Ltd 01.12.2024Vydáno v Computer graphics forum (01.12.2024)“…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…”
Získat plný text
Journal Article -
5
In-Simulation Testing of Deep Learning Vision Models in Autonomous Robotic Manipulators
ISSN: 2643-1572Vydáno: ACM 27.10.2024Vydáno v IEEE/ACM International Conference on Automated Software Engineering : [proceedings] (27.10.2024)“…) and identifying failures through offline or online simulation-based testing. However, the process of exploiting the identified failures to uncover design flaws early…”
Získat plný text
Konferenční příspěvek -
6
Anton 3: Twenty Microseconds of Molecular Dynamics Simulation Before Lunch
ISSN: 2167-4337Vydáno: ACM 14.11.2021Vydáno v SC21: International Conference for High Performance Computing, Networking, Storage and Analysis (14.11.2021)“…Anton 3 is the newest member in a family of supercomputers specially designed for atomic-level simulation of molecules relevant to biology (e.g…”
Získat plný text
Konferenční příspěvek -
7
Statistical inference for stochastic simulation models - theory and application
ISSN: 1461-023X, 1461-0248, 1461-0248Vydáno: Oxford, UK Blackwell Publishing Ltd 01.08.2011Vydáno v Ecology letters (01.08.2011)“…‐established statistical theory such as maximum likelihood and Bayesian statistics. A number of new methods, among them Approximate Bayesian Computing and Pattern…”
Získat plný text
Journal Article -
8
Evaluating Terminology Translation in Machine Translation Systems via Metamorphic Testing
ISSN: 2643-1572Vydáno: ACM 27.10.2024Vydáno v IEEE/ACM International Conference on Automated Software Engineering : [proceedings] (27.10.2024)“… However, existing translation systems, such as Google Translate, have been shown to occasionally produce errors in terminology translation…”
Získat plný text
Konferenční příspěvek -
9
LLM-Agents Driven Automated Simulation Testing and Analysis of small Uncrewed Aerial Systems
ISSN: 1558-1225Vydáno: IEEE 26.04.2025Vydáno v Proceedings / International Conference on Software Engineering (26.04.2025)“…Thorough simulation testing is crucial for validating the correct behavior of small Uncrewed Aerial Systems (sUAS…”
Získat plný text
Konferenční příspěvek -
10
The Dataflow Abstract Machine Simulator Framework
Vydáno: IEEE 29.06.2024Vydáno v 2024 ACM/IEEE 51st Annual International Symposium on Computer Architecture (ISCA) (29.06.2024)“…The growing interest in novel dataflow architectures and streaming execution paradigms has created the need for a simulator optimized for modeling dataflow systems…”
Získat plný text
Konferenční příspěvek -
11
FireAxe: Partitioned FPGA-Accelerated Simulation of Large-Scale RTL Designs
Vydáno: IEEE 29.06.2024Vydáno v 2024 ACM/IEEE 51st Annual International Symposium on Computer Architecture (ISCA) (29.06.2024)“… 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…”
Získat plný text
Konferenční příspěvek -
12
High-Performance Computing Architecture Exploration with Stage-Enhanced Bayesian Optimization
Vydáno: IEEE 22.06.2025Vydáno v 2025 62nd ACM/IEEE Design Automation Conference (DAC) (22.06.2025)“…The emergence of new applications in high-performance computing is driving the need for more efficient computing machines…”
Získat plný text
Konferenční příspěvek -
13
Biopharmaceutics modeling and simulations: theory, practice, methods, and applications.
ISBN: 9781118354315, 1118354311, 9781118028681, 1118028686, 9781118354322, 111835432XVydáno: Hoboken, N.J WILEY 2012“…A comprehensive introduction to using modeling and simulation programs in drug discovery and development Biopharmaceutical modeling has become integral to the design and development of new drugs…”
Získat plný text
E-kniha Kniha -
14
Towards Realistic, Applicable and Feasible Configuration-Aware Performance Modeling
ISSN: 2574-1934Vydáno: IEEE 27.04.2025Vydáno v Proceedings (IEEE/ACM International Conference on Software Engineering Companion. Online) (27.04.2025)“…In modern software systems, configurability has become essential for optimizing performance across varying scenarios and user demands…”
Získat plný text
Konferenční příspěvek -
15
Closing the "Quantum Supremacy" Gap: Achieving Real-Time Simulation of a Random Quantum Circuit Using a New Sunway Supercomputer
ISSN: 2167-4337Vydáno: ACM 14.11.2021Vydáno v SC21: International Conference for High Performance Computing, Networking, Storage and Analysis (14.11.2021)“…) 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…”
Získat plný text
Konferenční příspěvek -
16
Human-Assisted Intelligent Computing: Modelling, Simulations and Applications
ISBN: 9780750348027, 075034802XVydáno: Bristol Institute of Physics Publishing 2023“…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…”
Získat plný text
E-kniha -
17
Robust and Artefact‐Free Deformable Contact with Smooth Surface Representations
ISSN: 0167-7055, 1467-8659Vydáno: Oxford Blackwell Publishing Ltd 01.12.2024Vydáno v Computer graphics forum (01.12.2024)“…Modeling contact between deformable solids is a fundamental problem in computer animation, mechanical design, and robotics…”
Získat plný text
Journal Article -
18
A Conceptual Modeling and Simulation Framework for System Design
ISSN: 1521-9615, 1558-366XVydáno: New York IEEE 01.07.2016Vydáno v Computing in science & engineering (01.07.2016)“…This article presents the dimensional analysis conceptual modeling (DACM) framework, intended as a conceptual modeling mechanism for lifecycle systems engineering…”
Získat plný text
Journal Article -
19
A review of atomic layer deposition modelling and simulation methodologies: Density functional theory and molecular dynamics
ISSN: 2191-9097, 2191-9089, 2191-9097Vydáno: Berlin De Gruyter 01.01.2022Vydáno v Nanotechnology reviews (Berlin) (01.01.2022)“…The use of computational modelling and simulation methodologies has grown in recent years as researchers try to understand the atomic layer deposition (ALD…”
Získat plný text
Journal Article -
20
Modeling and simulation of planar multibody systems considering multiple revolute clearance joints
ISSN: 0924-090X, 1573-269XVydáno: Dordrecht Springer Netherlands 01.11.2017Vydáno v Nonlinear dynamics (01.11.2017)“…This paper presents a general procedure for dynamic modeling and simulation of planar multibody systems considering multiple revolute clearance joints…”
Získat plný text
Journal Article

