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

  1. 1

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

    ISSN: 1558-1225
    Veröffentlicht: IEEE 26.04.2025
    “… Simulation-based testing is widely used to assess the reliability of Autonomous Driving Systems (ADS …”
    Volltext
    Tagungsbericht
  2. 2

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

    Veröffentlicht: IEEE 09.07.2023
    “… 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
    Tagungsbericht
  3. 3

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

    Veröffentlicht: IEEE 01.09.2021
    “… Deep Learning (DL) algorithms are emerging as a key alternative to computationally expensive CFD simulations …”
    Volltext
    Tagungsbericht
  4. 4

    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

    ISSN: 2643-1572
    Veröffentlicht: IEEE 11.09.2023
    “… 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
    Tagungsbericht
  5. 5

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

    ISSN: 2643-1572
    Veröffentlicht: ACM 27.10.2024
    “… on, and leveraging the optimized DNN within the simulation to accelerate the engineering of the DNN …”
    Volltext
    Tagungsbericht
  6. 6

    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.

    ISSN: 2167-4337
    Veröffentlicht: ACM 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 …”
    Volltext
    Tagungsbericht
  7. 7

    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

    ISSN: 0010-4655, 1879-2944
    Veröffentlicht: Elsevier B.V 01.03.2013
    Veröffentlicht in Computer physics communications (01.03.2013)
    “… We introduce a general-purpose framework for interconnecting scientific simulation programs using a homogeneous, unified interface …”
    Volltext
    Journal Article
  8. 8

    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

    Veröffentlicht: IEEE 09.07.2023
    “… Thermal issue is a major concern in 3D integrated circuit (IC) design. Thermal optimization of 3D IC often requires massive expensive PDE simulations …”
    Volltext
    Tagungsbericht
  9. 9

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

    ISSN: 2574-1934
    Veröffentlicht: IEEE 27.04.2025
    “… 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
    Tagungsbericht
  10. 10

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

    Veröffentlicht: IEEE 09.07.2023
    “… 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
    Tagungsbericht
  11. 11

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

    ISSN: 0167-7055, 1467-8659
    Veröffentlicht: Oxford Blackwell Publishing Ltd 01.12.2020
    Veröffentlicht in Computer graphics forum (01.12.2020)
    “… 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
    Journal Article
  12. 12

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

    Veröffentlicht: IEEE 01.10.2022
    “… The lack of systematic description and modeling support for these sparse tensor accelerators impedes hardware designers from efficient and effective design space exploration …”
    Volltext
    Tagungsbericht
  13. 13

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

    Veröffentlicht: IEEE 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 …”
    Volltext
    Tagungsbericht
  14. 14

    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

    ISSN: 0018-9391, 1558-0040
    Veröffentlicht: New York IEEE 01.08.2023
    Veröffentlicht in IEEE transactions on engineering management (01.08.2023)
    “… 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
    Journal Article
  15. 15

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

    ISSN: 1558-1225
    Veröffentlicht: IEEE 26.04.2025
    “… Thorough simulation testing is crucial for validating the correct behavior of small Uncrewed Aerial Systems (sUAS …”
    Volltext
    Tagungsbericht
  16. 16

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

    ISSN: 0167-7055, 1467-8659
    Veröffentlicht: Oxford Blackwell Publishing Ltd 01.10.2025
    Veröffentlicht in Computer graphics forum (01.10.2025)
    “… ‐supervised framework for humidity‐controllable clothing simulation grounded in the physical modeling of capillary bridges that form between fabric and skin …”
    Volltext
    Journal Article
  17. 17

    Improving Formal Methods Visualizations von Palliyil, Avinash

    ISSN: 2574-1934
    Veröffentlicht: IEEE 27.04.2025
    “… Formal methods encompass mathematical techniques for specifying, validating and verifying software and hardware systems. While they are powerful, their use of …”
    Volltext
    Tagungsbericht
  18. 18

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

    ISBN: 9780738133249, 0738133248, 1665401400, 9781665401401
    Veröffentlicht: Piscataway, NJ, USA IEEE Press 25.05.2021
    “… Models are pervasive in many disciplines, like software and systems engineering. Modelling by the use of domain-specific languages (DSLs …”
    Volltext
    Tagungsbericht
  19. 19
  20. 20

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

    ISSN: 2643-1572
    Veröffentlicht: ACM 27.10.2024
    “… Machine translation has become an integral part of daily life, with terminology translation playing a crucial role in ensuring the accuracy of translation …”
    Volltext
    Tagungsbericht