Author:
Hurault Aurélie,YarKhan Asim
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. Blackford, S., Demmel, J., Dongarra, J., Duff, I., Hammarling, S., Henry, G., Heroux, M., Kaufman, L., Lumsdaine, A., Petitet, A., Pozo, R., Remington, K., Whaley, C.: An Updated Set of Basic Linear Algebra Subprograms (BLAS). ACM Trans. Math. Softw. 28(2), 135–151 (2002)
2. Castagna, G., Ghelli, G., Longo, G.: A calculus for overloaded functions with subtyping. In: Proceedings of the ACM Conference on Lisp and Functional Programming, vol. 5, pp. 182–192 (1992)
3. Dongarra, J., Li, Y., Seymour, K., YarKhan, A.: Users’ Guide to GridSolve V0.19. Innovative Computing Laboratory. Technical Report, University of Tennessee, Knoxville, TN (June 2008)
4. Goguen, J., Meseguer, J.: Order-sorted algebra i: equational deduction for multiple inheritance, overloading, exceptions and partial operations. Theor. Comput. Sci. 105(2), 217–273 (1992)
5. Gallier, J., Snyder, W.: Complete Sets of Transformations for General E-Unification. Theor. Comput. Sci. 67(2-3), 203–260 (1989)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献