保存此搜索
研究论文 2024年6月 刚刚接受 面向反应堆的网络物理系统硬件和软件代码设计 现代网络物理系统通常利用具有可重构逻辑的异构片上系统来提供足够的计算能力和灵活的I/O。然而,建模、验证和实现跨CPU和可重构的计算。。。 研究论文 2024年6月 ERO2.0融合码的性能分析与优化 在这篇文章中,我们对一个高度并行的蒙特卡罗程序ERO2.0进行了全面的性能分析,该程序用于模拟聚变装置中的全局腐蚀和再沉积。 研究表明,阻碍代码有效使用的主要瓶颈是。。。 研究论文 2024年4月 消息-观察会话 我们介绍了Most,一种带有消息观察会话类型的过程语言。 消息观察会话类型通过类型级计算扩展了二进制会话类型,以指定根据其他通道上观察到的消息而变化的通信协议。。。 研究论文 2024年4月 可逆计算的公理理论 撤销并发系统的计算在许多情况下都是有益的,例如在多线程程序的可逆调试中,以及在并行离散事件模拟中由于乐观执行而导致的错误恢复中。 许多方法。。。 海报 2024年3月 使用领域特定编程语言“Sonic Pi”探究学生对并发性的误解 随着并发和多线程编程的重要性不断提高,许多大学已将这些概念纳入其入门课程。 Sonic Pi是一种为音乐创作而设计的编程语言,它提供了宝贵的支持。。。 -
研究论文 2024年3月 并行模式语言代码生成 内存和电源限制限制了当前高性能计算的前景。 集群中的硬件专门化导致异构性、非均匀内存体系结构(NUMA)效应和加速器卸载。 这些增加了复杂性。。。 你的纪录片太史诗了吗? 批量免费可能有害 基于时代的内存回收(EBR)是在无锁和乐观锁定数据结构中回收内存的最流行技术之一,因为它易于使用并且在实践中性能良好。 然而,众所周知,EBR对线程非常敏感。。。 研究论文 2024年1月 合唱:面向对象的舞蹈编程 编排是并发和分布式系统的协调计划,它定义了相关参与者的角色以及他们应该如何协同工作。 在编舞编程的范例中,编舞是指。。。 研究论文 2023年11月 针对可延展应用程序的高效数据重新分配 进程延展性可以定义为分布式MPI并行作业在不停止执行、重新分配最初分配给该作业的计算资源和不存储的情况下动态更改进程数的能力。。。 研究论文 2023年10月 使用Franca语言的高性能确定性并发 克里斯蒂安·梅纳德 , 马丁·洛斯特罗 , 索鲁什·巴泰尼 , 马修·乔里安 , 阿瑟·登 , 彼得·多诺万 , 克莱门特·福尼尔 , 林少凯 , 费利克斯·苏切特 , 塔西尔·坦尼伯格 , Hokeun Kim公司 , 杰罗尼莫·卡斯特里隆 , 爱德华·A·李
参与者框架和类似的反应式编程技术广泛用于构建并发系统。 它们承诺效率高,可以很好地扩展到分布式系统中的大量核心或节点。 然而,它们也使程序员面临。。。 研究论文 2023年10月 用函数反应编程定义安全参与者系统 功能反应式编程(FRP)是构建确定性并发系统的强大抽象。 然而,一些程序员喜欢对某些任务使用更命令式的方法,而这种方法需要实现一些命令式的。。。 当并发很重要时:面向行为的并发 表示并行和协调是现代并发编程的核心。 许多机制 用于表达并行性和协调性。 然而,这两种机制的设计决策 紧密交织在一起。 我们相信。。。 研究论文 2023年10月 AtomiS:以数据为中心的同步变得实用 数据中心同步(DCS)将并发限制的推理从控制结构转移到数据声明。 它是一种高级声明性方法,从实际使用的并发控制机制中抽象出来。。。 研究论文 2023年10月 刚刚接受 跨多条时间线的确定性协调 我们讨论了一种构建确定性反应系统的新方法,该方法围绕包含多个时间线的时间模型进行。 该模型是Lingua Franca(LF)的核心,它是一种多语言协调语言和编译器。。。 研究论文 2023年8月 带有信号处理的核心Erlang语义 我们为Core Erlang的一个子集引入了一个小步语义,用于建模其监控和信号系统。 我们语义学的目标是能够构建财产侵权的因果解释,这将是未来工作的目标。。。 研究论文 2023年8月 TLS Erlang/OTP方式(经验报告) 传输层安全性(TLS)协议是最常用的协议之一 确保互联网上的数据隐私、完整性和真实性。 Erlang/OTP TLS实现在工业中得到了广泛的应用,尤其是在电信领域 ... 研究论文 2023年7月 中断驱动嵌入式软件并发缺陷的实证研究 中断驱动嵌入式软件广泛应用于航空航天、汽车电子、医疗设备、物联网等工业领域。 这种类型的软件通常使用中断进行编程,以与硬件交互并响应外部。。。 研究论文 2023年6月 CAT:Rust异步程序的上下文感知跟踪 Rust等现代编程语言采用了 协同程序 概念,以更好地利用计算资源,并通过允许异步任务的执行重叠来提高程序执行效率。 这些编程。。。 研究论文 2023年3月 竞技场:使用静态分析摘要修复数据竞赛 在现代软件开发中,实现无错误的并发程序是一项具有挑战性的任务。 最先进的静态分析在生产代码中发现数百个并发错误,扩展到大型代码库。 然而,不断修复这些错误。。。 第条 2023年3月 线性逻辑并发约束规划中的闭包和模块 摘要 在给定的编程语言中,有两种看模块的方式有些矛盾。 一方面,模块系统在很大程度上独立于编程语言的细节。 另一方面,模块结构可能。。。