Resource analyses for parallel and distributed coordination-Reference-Cited by-同舟云学术

Resource analyses for parallel and distributed coordination

Author:

Trinder P. W.¹,Cole M. I.²,Hammond K.³,Loidl H-W.¹,Michaelson G. J.¹

Affiliation:

1. School of Mathematical and Computer Sciences; Heriot-Watt University; Riccarton, Edinburgh; EH14 4AS; UK

2. School of Informatics; The University of Edinburgh; 10 Crichton Street; Edinburgh; EH8 9AB; UK

3. School of Computer Science; University of St. Andrews; St. Andrews, Fife; KY16 9SX; UK

Publisher

Wiley

Subject

Computational Theory and Mathematics,Computer Networks and Communications,Computer Science Applications,Theoretical Computer Science,Software

Reference106 articles.

2. Mechanical program analysis;Wegbreit;Communications of the ACM,1975

3. Ramshaw LH 1979 Formalizing the analysis of algorithms PhD thesis

4. Verifying program performance;Wegbreit;Journal of the ACM,1976

5. Automating program analysis;Hickey;Journal of the ACM,1988

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Time analysis of actor programs;Journal of Logical and Algebraic Methods in Programming;2019-06

3. JIT-Based Cost Analysis for Dynamic Program Transformations;Electronic Notes in Theoretical Computer Science;2016-12