搜索结果: 1-2 共查到“计算机科学技术 Future Directions”相关记录2条 . 查询时间(0.086 秒)
Set Constraints: Results, Applications, and Future Directions
Set Constraints Results Applications Future Directions
2016/5/24
Set constraints are a natural formalism for many problems that arise in program analysis. This paper provides a brief introduction to set constraints: what set constraints are, why they are interestin...
Future Directions for NSF Advanced Computing Infrastructure report now available
Future Directions NSF Advanced Computing Infrastructure report
2016/5/6
Large-scale simulation and analysis of massive amount of data are revolutionizing science and engineering. Advanced computing capabilities are essential to tackle a rapidly growing array of science an...