• 雅尔塔

  • 引用4篇文章[sw07641]
  • 下载时间http://team.inria.fr/disco/software。延迟 系统包括减速型和中性型。。。延迟,小模数的极标准 延迟 系统通过一个垫子来近似。。。
  • 克里奥尔

  • 引用25篇文章[sw09421]
  • 面向对象的安全分布式并发模型系统. 面向对象的分布式计算正变得越来越。。。对社会关键基础设施很重要。标准面向对象模型,对象在方法上同步。。。通信与同步的紧密耦合;网络延误不稳定性可能会导致局部的。。。Creol语法、操作语义和类型系统. 结果表明,运行时类型错误。。。
  • 火山

  • 参考22篇文章【sw30956】
  • 数据库中的科研教育环境系统设计,启发式查询优化,并行查询。。。执行和资源分配。火山使用标准代数运算符之间的接口,允许简单的加法。。。支持动态查询评估计划,允许拖延运行时之前选择的优化决策。。。
  • CS序言

  • 参考7篇文章[sw00171]
  • 简单地提到。这个延迟机制标准讨论了逻辑程序设计语言。能力。。。比中电更小(1500线)系统在C(12000行)中实现,并且合理。。。
  • 卑鄙

  • 1条引用【sw18495】
  • 现在的Pygure,一个更高阶的合同系统在Python和ccdb中,源代码级调试器。。。延迟合同检查。{sc-pygure}和ccdb是基于标准...
  • 亚德尔

  • 引用4篇文章【sw20835】
  • 本地时钟和网络的偏差延误; 此外,他们的模型检查验证是典型的。。。这种虚拟同步多速率的模型检验系统更简单的任务是指定。。。基于AADL模型的多速率同步设计标准. 然后定义形式语义。。。
  • 刷新

  • 引用2篇文章[sw02337]
  • 技术包括标准微处理器和微控制器,或完全定制系统,不太适合。。。FLIX),保证最多一个指令周期延迟优先解决方案,抢占权和支持。。。
  • 男爵

  • 在336篇文章中引用[sw00066]
  • 男爵是个计算型的人系统用于求解非凸。。。
  • 可可

  • 引用649篇文章[sw00143]
  • 可可是一种系统对于交换计算。。。
  • 拉帕克

  • 在1671篇文章中引用[sw00503]
  • LAPACK是用Fortran 90编写的,它提供。。。
  • 数学软件

  • 参考6213篇文章[sw00554]
  • 几乎所有的工作流程都涉及到计算结果,而且。。。
  • 超小卫星

  • 引用558篇文章[sw00577]
  • 可扩展的SAT解算器。MiniSat是一个极简主义者。。。