搜索结果: 1-5 共查到“ARCHER”相关记录5条 . 查询时间(0.062 秒)

2016年3月21-23日,美国康奈尔大学化学与生物分子工程学院院长Lynden A. Archer教授应邀访问过程工程所并受聘研究所荣誉教授,过程工程所所长张锁江院士主持了报告会并向其颁发了聘书。
ARCHER:Using Symbolic,Path-sensitive Analysis to Detect Memory Access Errors
ARCHER Using Symbolic Path-sensitive Analysis Detect Memory Access Errors
2015/8/7
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER usespath-sensitive, interprocedural s...
Wrapped Up in Books: The Inner Life of Newland Archer in The Age of Innocence
Edith Wharton The Age of Innocence Newland Archer Library Books readers
2015/1/8
Few in the world value books more than writers do. They have an understanding of literature that it is hard for a non-writer to grasp – an awareness of the importance of words and stories, and their p...
英国国家高性能计算设备ARCHER运算速度再创新高
ARCHER项目 气候 海洋学
2014/4/3
英国国家高性能计算设备项目ARCHER是万亿次级高端计算资源项目(HECToR)的后续项目,最近的Cray XC30超级计算机全面运行后,经过用户反馈和测试,其代码运算速度达到其前身HECToR的三倍。2013年12月,英国工程与自然科学研究委员会(EPSRC)宣布由爱丁堡大学和Cray公司合作开发的Cray XC30超级计算机作为ARCHER项目的最新设备获得了2300万英镑的资助,并将于今年4...