咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

看过本文的还看了

相关文献

该作者的其他文献

文献详情 >NASA Technical Reports Server ... 收藏
分享

NASA Technical Reports Server (Ntrs) 19940017245: a Simple Modern Correctness Condition for a Space-Based High-Performance Multiprocessor

出 版 年：2016年

主 题 词：(ntrs) 19940017245: airborne spaceborne computers ballistic missiles condition correctness costs data storage electronic packaging high-performance interprocessor communication li, hon f. liquid cooling memory (computers) missile detection multiprocessing (computers) nasa technical reports server (ntrs) parallel programming probst, david k. programmers semantics very large scale integration 

摘      要：NASA Technical Reports Server (Ntrs) 19940017245: a Simple Modern Correctness Condition for a Space-Based High-Performance Multiprocessor by NASA Technical Reports Server (Ntrs); NASA Technical Reports Server (Ntrs); published by

读者评论 与其他读者分享你的观点

学校读者
用户名:未登录
我的评分