Behavioral Analysis of Timed Actors using Syntactic Slice Equivalence
本文提出了一种静态分析方法,通过比较Rebeca依赖图的后向切片来判断定时行为模型是否可以重用,从而避免了重新生成模型的高成本。
本文提出了一种静态分析方法,通过比较Rebeca依赖图的后向切片来判断定时行为模型是否可以重用,从而避免了重新生成模型的高成本。
本文提出一种多维度的健康检查模型,以解决生成式AI在软件系统中应用时的信任问题,通过八个实证维度和四种信任范式来帮助组织建立信任。
论文提出一种基于语义和任务导向的通信框架,利用SD-VAE压缩并传输任务相关危险信息,以解决车联网中带宽限制下的可靠信息传播问题。
论文提出一种混合关键性架构框架,通过硬件隔离安全监控和健康向量等方法确保无人机群在关键任务中的安全性和可靠性。
This work addresses the challenges of model adaptation and low training efficiency in federated learning caused by computational heterogeneity among clients. To overcome these issues, the authors propose an elastic supernetwork training framework that jointly trains multiple subnetworks within each client’s local inference budget. The approach introduces a sub-supernetwork routing mechanism and a sparse parameter aggregation strategy to enable efficient collaborative training within a shared parameter space. Furthermore, a γ-allocation protocol is designed to decouple the confounding effects of data volume and computational budget on accuracy estimation, allowing flexible post-training deployment of subnetworks at arbitrary scales. Experiments demonstrate that the method achieves 71.06% accuracy on CIFAR-100 with only 596M MACs, significantly outperforming baseline approaches while reducing communication overhead by 6.8×.
本文提出了一种静态分析方法,通过比较Rebeca依赖图的后向切片来判断定时行为模型是否可以重用,从而避免了重新生成模型的高成本。
本文提出一种多维度的健康检查模型,以解决生成式AI在软件系统中应用时的信任问题,通过八个实证维度和四种信任范式来帮助组织建立信任。
论文提出一种基于语义和任务导向的通信框架,利用SD-VAE压缩并传输任务相关危险信息,以解决车联网中带宽限制下的可靠信息传播问题。
论文提出一种混合关键性架构框架,通过硬件隔离安全监控和健康向量等方法确保无人机群在关键任务中的安全性和可靠性。
This work addresses the challenges of model adaptation and low training efficiency in federated learning caused by computational heterogeneity among clients. To overcome these issues, the authors propose an elastic supernetwork training framework that jointly trains multiple subnetworks within each client’s local inference budget. The approach introduces a sub-supernetwork routing mechanism and a sparse parameter aggregation strategy to enable efficient collaborative training within a shared parameter space. Furthermore, a γ-allocation protocol is designed to decouple the confounding effects of data volume and computational budget on accuracy estimation, allowing flexible post-training deployment of subnetworks at arbitrary scales. Experiments demonstrate that the method achieves 71.06% accuracy on CIFAR-100 with only 596M MACs, significantly outperforming baseline approaches while reducing communication overhead by 6.8×.