博文
全部博文|未分类|
PhD road|
Formal method|
Tools|
AI & ML|
CHI|
Econometrics|
Network|
ML|
Software|
web service|
Control|
杂论|
OR & Optimize|
Hardware|
Statistics|
DSP|
cloud|
language|
- review: Searching for Jim Gray: A Technical Overview
- contents 1 Jim Gray Searching for Jim Gray: A Technical Overview by Josep h M. Hellerstei n and David L. Tennenhouse (on be half of a large team of volunteers ) july 2011 | vol. 54 | no. 7 | comm unicati ons of the acm key insights ...
- review: Scientists and bankers — a new model army
- Scientists and bankers — a new model army John Liechty 12 APRIL 2012 | VOL 484 | NATURE | 143 remark Bankers must now surrender more information on their activities. Scientists should use it to build better system-wide financial models, says John L ...
- review: 志愿计算模型形式化方法
- 志愿计算模型形式化方法 王宇+, 王志坚 Journal of Software, Vol.19, No.5, May 2008, pp.1125−1133 摘要: 旨在从形式化抽象的角度来认识移动计算的本质特点.分析了志愿计算平台的特征,提出并分析了志愿计算中的3种角色以及志愿计算中资源和构件的概念,介绍了一种关于志愿计算的形式化模型 ...
- 并行并发 concurrency
- content 1 面向并行工程的任务分配与规划 2 CUDA 3 *** 面向并行工程的任务分配与规划 杨波, 黄克正, 孙红卫 计算机集成制造系统 2002 July 摘要: 项目的成功依赖于全体参与者的协同工作, 但在并行工作环境下, 由于网络上的多功能小组工作风格 的差异, 因而在产品开发阶段经 ...
