English
Related papers

Related papers: Adapting the DMTCP Plugin Model for Checkpointing …

200 papers

LLMs have seen rapid adoption in all domains. They need to be trained on high-end high-performance computing (HPC) infrastructures and ingest massive amounts of input data. Unsurprisingly, at such a large scale, unexpected events (e.g.,…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-06-18 Avinash Maurya , Robert Underwood , M. Mustafa Rafique , Franck Cappello , Bogdan Nicolae

Self-powered intermittent systems typically adopt runtime checkpointing as a means to accumulate computation progress across power cycles and recover system status from power failures. However, existing approaches based on the checkpointing…

Operating Systems · Computer Science 2019-10-14 Wei-Ming Chen , Tei-Wei-Kuo , Pi-Cheng Hsiu

Recently, 3D vision-based diffusion policies have shown strong capability in learning complex robotic manipulation skills. However, a common architectural mismatch exists in these models: a tiny yet efficient point-cloud encoder is often…

Robotics · Computer Science 2026-02-02 Jinhao Zhang , Zhexuan Zhou , Huizhe Li , Yichen Lai , Wenlong Xia , Haoming Song , Youmin Gong , Jie Mei

Refactoring is a critical process in software development, aiming at improving the internal structure of code while preserving its external behavior. Refactoring engines are integral components of modern Integrated Development Environments…

Software Engineering · Computer Science 2024-09-24 Haibo Wang , Zhuolin Xu , Huaien Zhang , Nikolaos Tsantalis , Shin Hwei Tan

We introduce a new mechanism to securely extend systems data collection software with potentially untrusted third-party code. Unlike existing tools which run extension modules or plugins directly inside the monitored endpoint (the guest),…

Cryptography and Security · Computer Science 2021-11-11 Sahil Suneja , Canturk Isci

Session types provide a typing discipline for message-passing systems. However, their theory often assumes an ideal world: one in which everything is reliable and without failures. Yet this is in stark contrast with distributed systems in…

Logic in Computer Science · Computer Science 2025-04-23 Adam D. Barwell , Ping Hou , Nobuko Yoshida , Fangyi Zhou

Iterative methods are commonly used approaches to solve large, sparse linear systems, which are fundamental operations for many modern scientific simulations. When the large-scale iterative methods are running with a large number of ranks…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-05-30 Dingwen Tao , Sheng Di , Xin Liang , Zizhong Chen , Franck Cappello

NVM-based systems are naturally fit candidates for incorporating periodic checkpointing (or snapshotting). This increases the reliability of the system, makes it more immune to power failures, and reduces wasted work in especially an HPC…

Hardware Architecture · Computer Science 2023-01-30 Akshin Singh , Smruti R. Sarangi

A large-scale industrial recommendation platform typically consists of multiple associated scenarios, requiring a unified click-through rate (CTR) prediction model to serve them simultaneously. Existing approaches for multi-scenario CTR…

Information Retrieval · Computer Science 2023-06-26 Xing Tang , Yang Qiao , Yuwen Fu , Fuyuan Lyu , Dugang Liu , Xiuqiang He

Multimodal Large Language Models (MLLMs) achieve versatility by reformulating diverse tasks into a unified instruction-following framework via instruction tuning. However, real-world deployment requires continuous adaptation to emerging…

Machine Learning · Computer Science 2026-05-26 Jun-Tao Tang , Yu-Cheng Shi , Zhen-Hao Xie , Da-Wei Zhou

The trend towards highly parallel multi-processing is ubiquitous in all modern computer architectures, ranging from handheld devices to large-scale HPC systems; yet many applications are struggling to fully utilise the multiple levels of…

Distributed, Parallel, and Cluster Computing · Computer Science 2013-07-19 Michael Lange , Gerard Gorman , Michele Weiland , Lawrence Mitchell , Xiaohu Guo , James Southern

Expert evaluation in software life cycle is playing a vital role. In this paper, we have discussed about the formal framework for selecting the best model with some enhanced features. In our work we have introduced a novel algorithm X Chain…

Software Engineering · Computer Science 2014-02-03 Suprita Das , Rajesh Duvvuru , Sonal Raj

Reproducing executions of multithreaded programs is very challenging due to many intrinsic and external non-deterministic factors. Existing RnR systems achieve significant progress in terms of performance overhead, but none targets the…

Operating Systems · Computer Science 2018-04-05 Hongyu Liu , Sam Silvestro , Wei Wang , Chen Tian , Tongping Liu

3D Point cloud registration is still a very challenging topic due to the difficulty in finding the rigid transformation between two point clouds with partial correspondences, and it's even harder in the absence of any initial estimation…

Computer Vision and Pattern Recognition · Computer Science 2021-06-21 Zhijian Qiao , Huanshu Wei , Zhe Liu , Chuanzhe Suo , Hesheng Wang

This work addresses the 3D situated reasoning task which aims to answer questions given egocentric observations in a 3D environment. The task remains challenging as it requires comprehensive 3D perception and complex reasoning skills.…

Computer Vision and Pattern Recognition · Computer Science 2024-04-24 Qingrong He , Kejun Lin , Shizhe Chen , Anwen Hu , Qin Jin

Upgrading embedding models in production vector databases typically requires re-encoding the entire corpus and rebuilding the Approximate Nearest Neighbor (ANN) index, leading to significant operational disruption and computational cost.…

Machine Learning · Computer Science 2025-09-30 Harshil Vejendla

As tools for designing and manufacturing hardware become more accessible, smaller producers can develop and distribute novel hardware. However, processes for supporting end-user hardware troubleshooting or routine maintenance aren't well…

Human-Computer Interaction · Computer Science 2025-02-24 Amritansh Kwatra , Tobias Weinberg , Ilan Mandel , Ritik Batra , Peter He , Francois Guimbretiere , Thijs Roumen

Continual learning requires models to learn continuously while preserving prior knowledge under evolving data streams. Distillation-based methods are appealing for retaining past knowledge in a shared single-model framework with low storage…

Machine Learning · Computer Science 2026-04-06 Zhiming Xu , Baile Xu , Jian Zhao , Furao Shen , Suorong Yang

Providing an execution time certificate is a pressing requirement when deploying Model Predictive Control (MPC) in real-time embedded systems such as microcontrollers. Real-time MPC requires that its worst-case (maximum) execution time must…

Optimization and Control · Mathematics 2024-04-02 Liang Wu , Richard D. Braatz

We present a design through analysis workflow that enables virtual prototyping of electric devices. A CAD plugin establishes the interaction between design and analysis, allowing the preparation of analysis models and the visualization of…

Computational Engineering, Finance, and Science · Computer Science 2025-07-01 Benjamin Marussig , Jürgen Zechner , Thomas Rüberg , Lars Kielhorn , Domagoj Bošnjak , Thomas-Peter Fries