行业报告详情 - 行业报告数据库

行业分类

▶ 农、林、牧、渔业
5396 篇
▶ 采矿业
13909 篇
▶ 制造业
477997 篇
- 农副食品加工业
  2798 篇
- 食品制造业
  53219 篇
- 酒、饮料和精制茶制造业
  2385 篇
- 烟草制品业
  727 篇
- 纺织业
  24298 篇
- 纺织服装、服饰业
  1411 篇
- 皮革、毛皮、羽毛及其制品和制鞋业
  219 篇
- 木材加工和木、竹、藤、棕、草制品业
  424 篇
- 家具制造业
  714 篇
- 造纸和纸制品业
  1485 篇
- 印刷和记录媒介复制业
  231 篇
- 文教、工美、体育和娱乐用品制造业
  232 篇
- 石油加工、炼焦和核燃料加工业
  51410 篇
- 化学原料和化学制品制造业
  66076 篇
- 医药制造业
  33872 篇
- 化学纤维制造业
  549 篇
- 橡胶和塑料制品业
  2220 篇
- 非金属矿物制品业
  8793 篇
- 黑色金属冶炼和压延加工业
  18990 篇
- 有色金属冶炼和压延加工业
  2134 篇
- 金属制品业
  8443 篇
- 通用设备制造业
  59622 篇
- 专用设备制造业
  60500 篇
- 汽车制造业
  99831 篇
- 铁路、船舶、航空航天和其他运输设备制造业
  2190 篇
- 电气机械和器材制造业
  24010 篇
- 计算机、通信和其他电子设备制造业
  71048 篇
- 仪器仪表制造业
  2947 篇
- 其他制造业
  612 篇
- 废弃资源综合利用业
  132 篇
- 金属制品、机械和设备修理业
  433 篇
▶ 电力、热力、燃气及水生产和供应业
16306 篇
▶ 建筑业
11766 篇
▶ 批发和零售业
3941 篇
▶ 交通运输、仓储和邮政业
6547 篇
▶ 住宿和餐饮业
1253 篇
▶ 信息传输、软件和信息技术服务业
75640 篇
▶ 金融业
37894 篇
▶ 房地产业
12167 篇
▶ 租赁和商务服务业
1665 篇
▶ 科学研究和技术服务业
2866 篇
▶ 水利、环境和公共设施管理业
3421 篇
▶ 居民服务、修理和其他服务业
641 篇
▶ 教育
1241 篇
▶ 卫生和社会工作
1979 篇
▶ 文化、体育和娱乐业
4920 篇
▶ 公共管理、社会保障和社会组织
3875 篇
▶ 综合
5488 篇

找到报告 1 篇当前为第 1 页共 1 页

容错的网络声明式程序

作者：StéphaneGRUMBACH；汪芳作者单位：Institut National de Recherche en Informatique et en Automatique, France;中国联合网络通信集团有限公司研究院,北京 100048;中国科学院软件研究所计算机科学国家重点实验室,北京 100190;中国科学院研究生院,北京 100049 加工时间：2014-05-15 信息来源：《软件学报》

关键词：网络编程抽象；声明式语言；语法；语义；容错性
摘要：介绍了基于递归规则的网络声明式语言Netlog的语法和分布式不动点语义,定义了强良好的程序,并证明了强良好的程序的计算结果对有限的消息丢失不敏感.

行业分类

友情链接

联系我们

QQ咨询

电话咨询

微信公众号

感谢访问