非过度曝光

LV2
发表了文章

涡轮叶片设计的THB样条近似与局部B样条近似(CS NA)

我们考虑基于两阶段方法的工业模型的自适应重构,采用带有截短的分层B样条(THB样条)的自适应分散数据拟合方案。 该方案的第一阶段致力于计算局部最小二乘B样条曲线...

非过度曝光
发表了文章

可压缩的Euler和Navier-Stokes方程的全离散显式局部熵稳定格式(CS NA)

近年来,为了保证常微分方程解的一个全局泛函的保存,人们发展了各种逐次近似法。我们推广了这种方法来保证有限多凸函数(熵)的局部熵不等式,并将其应用于可压缩Eule...

非过度曝光
发表了文章

经典Keller- Segel模型的完全离散逼近分析:下界和先验界(CS NA)

本文研究了经典凯勒-西格尔模型的趋化性问题。它由一个非线性抛物方程系统组成,其中未知数是细胞(或生物体)的平均密度(守恒变量)和化学吸引的平均密度。

非过度曝光
发表了文章

矩阵值函数的有理逼近算法(CS NA)

本文讨论了矩阵值函数有理逼近的几种算法,包括插值AAA法、基于近似最小二乘拟合的RKFIT法、向量拟合的RKFIT法和基于块Loewner矩阵低秩逼近的RKFI...

非过度曝光
发表了文章

超弱局部间断伽辽金法研究具有高阶空间导数的偏微分方程(CS NA)

本文提出了一种新的不连续伽辽金方法,用于求解具有高阶空间导数的几类偏微分方程。将局部间断伽辽金法和超弱间断伽辽金法的优点结合起来。首先将具有高阶空间导数的偏微分...

非过度曝光
发表了文章

约束混凝土弹塑性本构模型中的顶点控制(CS NA)

本工作的重点是约束混凝土在多轴载荷作用下的非线性材料响应的数值模拟。特别地,这里提出了一种改进的回归映射程序来处理屈服面中的奇异点(角点)问题,能够局部地捕获有...

非过度曝光
发表了文章

使用eBPF在分解的NVM存储上安全、高效地执行远程应用程序代码(CS OS)

随着NVM存储设备的快速改进,性能瓶颈逐渐向网络转移,由此产生了“数据移动墙”的概念。为了减少网络上的数据移动量,研究人员提出了通过将操作和计算扩展传送到更靠近...

非过度曝光
发表了文章

为联合调度带来线程间缓存的好处-扩展结果和技术报告(CS OS)

基于有向无环图(DAGs)的硬实时任务多处理器调度利用了该模型固有的并行性。对于DAG任务,节点表示在一个可用处理器上执行一个对象的请求。在一个DAG任务中,可...

非过度曝光
发表了文章

高速轮询仲裁程序的可重构并行体系结构(CS OS)

为了管理计算机网络中日益增长的通信量,本文提出了采用分组交换系统来提高访问和调度的速度。轮询仲裁程序是基于请求和同等优先级的特定总线的入口,并按循环顺序轮流连接...

非过度曝光
发表了文章

裂变锁(CS OS)

经典的测试与测试(TS)互斥锁很简单,并且在轻度竞争或无竞争的情况下,具有高性能和低延迟的所有权转移。然而,它们并没有在激烈的竞争中优雅地扩大规模,也不提供任何...

非过度曝光
发表了文章

混合临界实时系统动态优先级调度的有效可调度性检验(CS OS)

许多安全关键型应用领域的系统都遵循认证要求。在这样的系统中,通常有不同的应用程序提供具有不同临界程度的功能。因此,在这些不同的临界水平上对功能的认证要求也是不同...

非过度曝光
发表了文章

多处理器上混合临界系统的多速率流体调度(CS OS)

本文研究了同构多处理器平台上含时限分散任务系统的混合临界性调度问题。针对双临界系统,过去曾提出过基于流体调度模型的算法。这些算法根据系统模式对每个高临界任务使用...

非过度曝光
发表了文章

混合临界系统的任务级和系统级调度模式的组合(CS OS)

针对混合临界系统,本文提出了不同的调度算法。这些算法的共同点是,当高临界任务缺乏计算资源时,就会丢弃低临界任务。这是通过将调度模式从正常模式切换到临界模式来实现...

非过度曝光
发表了文章

基于需求的混合临界分散任务在一个处理器上的调度(CS OS)

在低临界行为中人为地收紧高临界任务期限的策略已成功地用于混合临界系统的调度。虽然针对隐式截止日期任务系统开发了高效的调度算法,但对于更一般的零星任务则不是这样。...

非过度曝光
发表了文章

基于利用率差异的混合临界系统分区调度(CS OS)

混合临界性(MC)系统将具有不同临界性的多个功能合并到一个硬件平台上。这样的系统提高了资源的整体利用率,同时保证了关键任务的资源。本文主要研究了多处理器MC调度...

非过度曝光
发表了文章

具有状态的定维向量加法系统的可达性(CS FLAT)

可达性问题是基于状态向量加法系统(VASS)的形式化验证的中心决策问题,它相当于Petri网,是目前研究和应用最多的并发性模型之一。VASS的可达性还可以与来自...

非过度曝光
发表了文章

绝热量子计算如何适应量子自动机理论?(CS FLAT)

量子计算已经成为我们这个时代的一种强大的计算媒介,它证明了解决整数因子分解和搜索数据库的效率比目前已知的任何经典计算机算法都要快。量子系统的绝热演化是物理上实现...

非过度曝光
云计算
发表了文章

从冗长的执行跟踪中学习简洁的模型(CS FLAT)

系统级行为的抽象模型可用于设计探索,分析,测试和验证。 我们描述了一种新算法,该算法可以自动地从由执行相关用例的软件驱动的硬件/软件系统的执行轨迹中提取有用的模...

非过度曝光
Linux编程算法虚拟化
发表了文章

学习广义树自动机的分类框架(CS FLAT)

自动机学习是一种用于从查询中自动构建自动机模型的流行技术。许多研究致力于为不同类型的自动机设计算法的特别适应性。CALF项目试图使用范畴理论来统一这些,以便简化...

非过度曝光
编程算法
发表了文章

嘈杂的中型量子计算机上的串扰的软件缓解(CS ET)

串扰是嘈杂的中级量子(NISQ)系统中的主要噪声源,并且是硬件设计的基本挑战。当多个指令并行执行时,指令之间的串扰会破坏量子状态并导致错误的程序执行。我们的目标...

非过度曝光
硬件开发文件存储

个人简介

个人成就

扫码关注云+社区

领取腾讯云代金券