Analysis of Recursively Parallel Programs
- 期刊名称ACM Transactions on Programming Languages and Systems
- 作者Bouajjani, Ahmed; Emmi, Michael
- 卷第35卷
- 期第3期
- 印刷ISSN0164-0925
- 文件大小381.55KB
- 发表时间2013-11-01
- DOI10.1145/2518188
- 页码1-49
[ACM Press the 22nd ACM international conference - San Francisco, California, USA (2013.10.27-2013.11.01)] Proceedings of the 22nd ACM international conference on Conference on information & knowledge management - CIKM '13 - ClusteringCaruana, Rich · 2013
[ACM Press the 22nd ACM international conference - San Francisco, California, USA (2013.10.27-2013.11.01)] Proceedings of the 22nd ACM international conference on Conference on information & knowledge management - CIKM '13 - READFASTGubanov, Michael; Pyayt, Anna · 2013
[ACM Press the 22nd ACM international conference - San Francisco, California, USA (2013.10.27-2013.11.01)] Proceedings of the 22nd ACM international conference on Conference on information & knowledge management - CIKM '13 - ROUPan, Yifan; Wu, Yuqing · 2013
[ACM Press the 22nd ACM international conference - San Francisco, California, USA (2013.10.27-2013.11.01)] Proceedings of the 22nd ACM international conference on Conference on information & knowledge management - CIKM '13 - SportSenseAl Kabary, Ihab; Schuldt, Heiko · 2013
[ACM Press the 22nd ACM international conference - San Francisco, California, USA (2013.10.27-2013.11.01)] Proceedings of the 22nd ACM international conference on Conference on information & knowledge management - CIKM '13 - SCISSORMullangi, Phani Rohit; Ramaswamy, Lakshmish · 2013
[ACM Press the 22nd ACM international conference - San Francisco, California, USA (2013.10.27-2013.11.01)] Proceedings of the 22nd ACM international conference on Conference on information & knowledge management - CIKM '13 - LCMKLLi, Qing; Gu, Yun; Qian, Xueming · 2013
[ACM Press the 22nd ACM international conference - San Francisco, California, USA (2013.10.27-2013.11.01)] Proceedings of the 22nd ACM international conference on Conference on information & knowledge management - CIKM '13 - PATRICArifuzzaman, Shaikh; Khan, Maleq; Marathe, Madhav · 2013
[ACM Press the 22nd ACM international conference - San Francisco, California, USA (2013.10.27-2013.11.01)] Proceedings of the 22nd ACM international conference on Conference on information & knowledge management - CIKM '13 - TellMyRelevance!Speicher, Maximilian; Both, Andreas; Gaedke, Martin · 2013