自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(3)
  • 收藏
  • 关注

原创 Component-Based Synthesis for Complex APIs翻译+笔记

Yu Feng University of Texas at Austin, USA [email protected] Martins University of Texas at Austin, USA [email protected] Wang University of Texas at Austin, USA [email protected]...

2018-11-08 14:16:44 793

原创 CherryPick:Adaptively Unearthing the Best Cloud Configurations for Big Data Analytics(NSDI2017)

Abstract       为在云中运行的重复出现的大数据分析作业选择正确的云配置是很困难的, 因为可能有数十种可能的 vm 实例类型, 甚至还有更多的群集大小可供选择。选择不良会显著降低性能, 并将运行作业的成本平均增加2-3 倍, 在最坏的情况下甚至高达12倍。然而, 以低的搜索成本自动确定适用于各种应用程序和云配置的最佳配置是一项挑战。cherrypick 是一个利用贝叶斯优化为各种应用...

2018-11-07 20:39:05 750

转载 petri网基本知识

Petri net graph:Petri网用于描述和分析系统中的控制流和信息流,尤其是那些有异步和并发活动的系统。圆圈表示位置( place ),圆圈中有标识( token )表示条件( condition )满足。线段( bar)表示变迁( transition )。一个Petri net graph如下图所示因为petri网中的弧是有方向的,所以petri网图是有向图。又因为pe...

2018-11-07 20:38:50 38444 1

空空如也

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除