English
Related papers

Related papers: FMI Meets SystemC: A Framework for Cross-Tool Virt…

200 papers

Current cloud computing frameworks host millions of physical servers that utilize cloud computing resources in the form of different virtual machines (VM). Cloud Data Center (CDC) infrastructures require significant amounts of energy to…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-05-11 Sukhpal Singh Gill , Shreshth Tuli , Adel Nadjaran Toosi , Felix Cuadrado , Peter Garraghan , Rami Bahsoon , Hanan Lutfiyya , Rizos Sakellariou , Omer Rana , Schahram Dustdar , Rajkumar Buyya

Vehicles passengers and other traffic participants are protected more and more by integral safety systems. They continuously perceive the vehicles environment to prevent dangerous situations by e.g. emergency braking systems. Furthermore,…

Software Engineering · Computer Science 2014-08-26 Christian Berger , Delf Block , Christian Hons , Stefan Kühnel , André Leschke , Bernhard Rumpe , Torsten Strutz

Recent research is trying to leverage occupants' demand in the building's control loop to consider individuals' well-being and the buildings' energy savings. To that end, a real-time feedback system is needed to provide data about…

Computer Vision and Pattern Recognition · Computer Science 2022-04-20 Roshanak Ashrafi , Mona Azarbayjani , Hamed Tabkhi

The rapid advancement of large language models (LLMs) has spurred significant interest in tool learning, where LLMs are augmented with external tools to tackle complex tasks. However, existing tool environments face challenges in balancing…

Computation and Language · Computer Science 2025-03-27 Zhicheng Guo , Sijie Cheng , Yuchen Niu , Hao Wang , Sicheng Zhou , Wenbing Huang , Yang Liu

Cryogenic CMOS technology (cryo-CMOS) offers a scalable solution for quantum device interface fabrication. Several previous works have studied the characterization of CMOS technology at cryogenic temperatures for various process nodes.…

Applied Physics · Physics 2019-02-20 Chao Luo , Zhen Li , TengTeng Lu , Jun Xu , GuoPing Guo

Scanning probe microscopy (SPM) is a valuable technique by which one can investigate the physical characteristics of the surfaces of materials. However, its widespread use is hampered by the time-consuming nature of running an experiment…

Instrumentation and Detectors · Physics 2025-09-03 Nicholas J. Sullivan , Julio J. Valdés , Kirk H. Bevan , Peter Grutter

Simulation is one of the most essential parts in the development stage of automotive software. However, purely virtual simulations often struggle to accurately capture all real-world factors due to limitations in modeling. To address this…

It has been reported that virtual reality can be a useful tool for ergonomics study. The proposed integrated simulation system aims at measuring operator's performance in an interactive way for 2D control panel design. By incorporating some…

Human-Computer Interaction · Computer Science 2007-09-05 Ying Wang , Wei Zhang , Fouad Bennis , Damien Chablat

We are concerned with systems, particularly safety-critical systems, that involve interaction between users and devices, such as the user interface of medical devices. We therefore developed a MISRA C code generator for formal models…

Software Engineering · Computer Science 2017-01-31 Gioacchino Mauro , Harold Thimbleby , Andrea Domenici , Cinzia Bernardeschi

Conducting user studies that involve physiological and behavioral measurements is very time-consuming and expensive, as it not only involves a careful experiment design, device calibration, etc. but also a careful software testing. We…

Human-Computer Interaction · Computer Science 2025-05-13 Kayhan Latifzadeh , Luis A. Leiva

The unprecedented growth in data demand from emerging applications has turned virtual memory (VM) into a major performance bottleneck. Researchers explore new hardware/OS co-designs to optimize VM across diverse applications and systems. To…

Networks-on-Chips (NoCs) recently became widely used, from multi-core CPUs to edge-AI accelerators. Emulation on FPGAs promises to accelerate their RTL modeling compared to slow simulations. However, realistic test stimuli are challenging…

Hardware Architecture · Computer Science 2022-06-24 Yee Yang Tan , Felix Staudigl , Lukas Jünger , Anna Drewes , Rainer Leupers , Jan Moritz Joseph

The integration of visual-tactile stimulus is common while humans performing daily tasks. In contrast, using unimodal visual or tactile perception limits the perceivable dimensionality of a subject. However, it remains a challenge to…

Robotics · Computer Science 2019-02-19 Jet-Tsyn Lee , Danushka Bollegala , Shan Luo

The Trusted Platform Module (TPM) is a cryptoprocessor designed to protect integrity and security of modern computers. Communications with the TPM go through the TPM Software Stack (TSS), a popular implementation of which is the open-source…

Software Engineering · Computer Science 2023-10-30 Yani Ziani , Nikolai Kosmatov , Frédéric Loulergue , Daniel Gracia Pérez , Téo Bernier

Computational Grids are emerging as a platform for next-generation parallel and distributed computing. Large-scale parametric studies and parameter sweep applications find a natural place in the Grid?s distribution model. There is little or…

Distributed, Parallel, and Cluster Computing · Computer Science 2007-05-23 Shoib Burq , Steve Melnikoff , Kim Branson , Rajkumar Buyya

Current system thermal-hydraulic codes have limited credibility in simulating real plant conditions, especially when the geometry and boundary conditions are extrapolated beyond the range of test facilities. This paper proposes a…

Machine Learning · Computer Science 2020-01-14 Han Bao , Nam Dinh , Linyu Lin , Robert Youngblood , Jeffrey Lane , Hongbin Zhang

This paper presents our work on designing a parallel platform for large-scale reservoir simulations. Detailed components, such as grid and linear solver, and data structures are introduced, which can serve as a guide to parallel reservoir…

Computational Engineering, Finance, and Science · Computer Science 2018-09-05 Hui Liu , Kun Wang , Bo Yang , Zhangxin Chen

Virtualization is generally adopted in server and desktop environments to provide for fault tolerance, resource management, and energy efficiency. Virtualization enables parallel execution of multiple operating systems (OSs) while sharing…

Operating Systems · Computer Science 2016-05-05 Junaid Shuja , Abdullah Gani , Sajjad A. Madani

With the rapid advancement of large language models (LLMs) in code generation, their applications in hardware design are receiving growing attention. However, existing LLMs face several challenges when generating Verilog code for finite…

Software Engineering · Computer Science 2025-12-15 Qiuming Luo , Yanming Lei , Kunzhong Wu , Yixuan Cao , Chengjian Liu

Many interesting phenomena are characterized by the complex interaction of different physical processes, each often best modeled numerically via a specific approach. In this paper, we present the design and implementation of an…

Mathematical Software · Computer Science 2025-10-20 Juan Michael Sargado