心胸开阔
发表于 2025-3-26 21:24:04
http://reply.papertrans.cn/27/2658/265730/265730_31.png
古代
发表于 2025-3-27 02:53:21
http://reply.papertrans.cn/27/2658/265730/265730_32.png
Manifest
发表于 2025-3-27 07:03:39
HashC: Making DNNs’ Coverage Testing Finer and Faster and KMNC) much finer. Meanwhile, HashC reduces the time complexity of combinatorial coverage testing from polynomial time to linear time. Our experiments show that, 1) the HashC criteria are finer than existing mainstream coverage criteria, 2) HashC greatly accelerates combinatorial coverage testing and can handle the testing of large-scale DNNs.
nocturnal
发表于 2025-3-27 11:24:08
VM Migration and Live-Update for Reliable Embedded Hypervisoring fault recovery, this paper implements a hypervisor live-update mechanism to complete fault recovery while avoiding migration network delays. Test results show that these mechanisms combine reliability and operational efficiency to meet the needs of embedded applications.
SHRIK
发表于 2025-3-27 15:01:44
Mastery: Shifted-Code-Aware Structured Merging-time. Compared with four representative merge tools in 40,533 real-world merge scenarios, our approach achieves the highest merge accuracy and 2.4. as fast as a state-of-the-art structured merge tool.
ALE
发表于 2025-3-27 20:30:49
EqFix: Fixing LaTeX Equation Errors by Exampless. An extension of relaxers is also introduced to enhance the practicality of EqFix. We evaluate EqFix on real-world examples and find that it can synthesize rules with high generalization ability. Compared with a state-of-the-art string transformation synthesizer, EqFix solved 37% more cases and spent less than half of their synthesis time.
assail
发表于 2025-3-27 23:11:04
A Contract-Based Semantics and Refinement for Simulinkfive operations on contracts, which are sequential composition, parallel composition, feedback composition, variable renaming, and variable hiding. We then define the . relation among the Simulink diagrams.
相互影响
发表于 2025-3-28 03:06:47
Decidability of Liveness for Concurrent Objects on the TSO Memory Modelins open. In this paper we address this problem for the Total Store Order (TSO) memory model, as found in the x86 architecture. We prove that lock-freedom, wait-freedom, deadlock-freedom and starvation-freedom are undecidable on TSO for a bounded number of processes, while obstruction-freedom is decidable.
半球
发表于 2025-3-28 09:57:30
http://reply.papertrans.cn/27/2658/265730/265730_39.png
coalition
发表于 2025-3-28 11:39:58
Basic Modes of Motion in Polymersand the physical. To address this, a modeling language for CPS based on shared variables is proposed. In this paper, we present an implementation of this language in SpaceEx. Thus, a bridge between our language and hybrid automata is established.