Author:
Ding Zuohua,Shen Hui,Cao Jianwen
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Lecture Notes in Computer Science;P. Alimonti,1994
2. Burch, J.R., Clarke, E.M., Long, D.E.: Representing Circuts More Efficiently in Symbolic Model Checking. In: Proceedings of the 28 th Design Automation Conference, pp. 403–407. IEEE Computer Society Press, Los Alamltos (1991)
3. Burrage, K.: Parallel and Sequential Methods for Ordinary Differential Equations. Oxford Science Publications (1995)
4. Çatalyürek, Ü., Aykanat, C.: A Hypergraph-partitioning Approach for Coarse-grain Decomposition. In: ACM/IEEE Supercomputing, Denver (2001)
5. Çatalyürek, Ü., Aykanat, C.: Hypergraph-partitioningbased Decomposition for Parallel Sparse-matrix Vector Multiplication. IEEE Transactions on Parallel and Distributed Systems 10(7), 673–693 (1999)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献