检索结果

已选条件:

science

2009

<符合条件的数据共：59条>

排序方式

登录后可批量下载(统一登录，激活码登录)

Efficient virtualization of network interfaces without sacrificing safety and transparency

颁布单位：[Rice University] | 颁布时间：2009 | 实施时间：2009 | 学科分类：[Computer, science, Applied, sciences]

预览 | 原文链接 [浏览：4 下载：0]
Automatic techniques for detecting and exploiting symmetry in model checking

颁布单位：[University:University of Glasgow, ... | 颁布时间：2009 | 实施时间：2009 | 学科分类：[QA75, Electronic, computers., Computer, science]

预览 | 原文链接 [浏览：3 下载：0]
Informed Planning and Safe Distributed Replanning under Physical Constraints

颁布单位：[Rice University] | 颁布时间：2009 | 实施时间：2009 | 学科分类：[Computer, science]

预览 | 原文链接 [浏览：3 下载：1]
Exploring the potential for accelerating sparse matrix-vector product on a Processing-in-Memory architecture

颁布单位：[Rice University] | 颁布时间：2009 | 实施时间：2009 | 学科分类：[Computer, science, Applied, sciences]

预览 | 原文链接 [浏览：12 下载：0]
Informed Planning and Safe Distributed Replanning under Physical Constraints

颁布单位：[Rice University] | 颁布时间：2009 | 实施时间：2009 | 学科分类：[Computer, science]

预览 | 原文链接 [浏览：3 下载：3]
Les imaginaires de la loi. Le destin du legislateur dans la pensee politique et economique francaise apres Rousseau

颁布单位：[Rice University] | 颁布时间：2009 | 实施时间：2009 | 学科分类：[Law, Philosophy, European, history, Economics, Political, science]

预览 | 原文链接 [浏览：3 下载：0]
Compiler support for work-stealing parallel runtime systems

颁布单位：[Rice University] | 颁布时间：2009 | 实施时间：2009 | 学科分类：[Computer, science, Applied, sciences]

预览 | 原文链接 [浏览：3 下载：1]
Visual displays: Developing a computational model explaining the global effect

颁布单位：[Rice University] | 颁布时间：2009 | 实施时间：2009 | 学科分类：[Experimental, psychology, Cognitive, psychology, Computer, science, Applied, sciences, Psychology]

预览 | 原文链接 [浏览：3 下载：1]
Understanding, evaluating, and improving the availability of BFT protocols

颁布单位：[Rice University] | 颁布时间：2009 | 实施时间：2009 | 学科分类：[Computer, science, Applied, sciences, Byzantine, fault-tolerance, Distributed, systems, Internet]

预览 | 原文链接 [浏览：4 下载：1]