Author:
Audemard Gilles,Lagniez Jean-Marie,Szczepanski Nicolas,Tabary Sébastien
Publisher
Springer International Publishing
Reference34 articles.
1. Aigner, M., Biere, A., Kirsch, C.M., Niemetz, A., Preiner, M.: Analysis of portfolio-style parallel SAT solving on current multi-core architectures. In: Fourth Pragmatics of SAT Workshop, a Workshop of the SAT 2013 Conference, POS 2013, pp. 28–40 (2013)
2. Amer, A., Lu, H., Balaji, P., Matsuoka, S.: Characterizing MPI and hybrid MPI+threads applications at scale: case study with BFS. In: 15th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGrid 2015, pp. 1075–1083 (2015)
3. Lecture Notes in Computer Science;G Audemard,2012
4. Lecture Notes in Computer Science;G Audemard,2011
5. Lecture Notes in Computer Science;G Audemard,2016
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献