| 书目名称 | Dependence Analysis for Supercomputing |
| 编辑 | Utpal Banerjee |
| 视频video | |
| 丛书名称 | The Springer International Series in Engineering and Computer Science |
| 图书封面 |  |
| 描述 | This book is on dependence concepts and general methods for dependence testing. Here, dependence means data dependence and the tests are compile-time tests. We felt the time was ripe to create a solid theory of the subject, to provide the research community with a uniform conceptual framework in which things fit together nicely. How successful we have been in meeting these goals, of course, remains to be seen. We do not try to include all the minute details that are known, nor do we deal with clever tricks that all good programmers would want to use. We do try to convince the reader that there is a mathematical basis consisting of theories of bounds of linear functions and linear diophantine equations, that levels and direction vectors are concepts that arise rather natu rally, that different dependence tests are really special cases of some general tests, and so on. Some mathematical maturity is needed for a good understand ing of the book: mainly calculus and linear algebra. We have cov ered diophantine equations rather thoroughly and given a descrip of some matrix theory ideas that are not very widely known. tion A reader familiar with linear programming would quickly recog |
| 出版日期 | Book 1988 |
| 关键词 | Calc; Mathematica; algebra; boundary element method; calculus; diophantine equation; equation; form; functio |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-1-4684-6894-6 |
| isbn_softcover | 978-1-4684-6896-0 |
| isbn_ebook | 978-1-4684-6894-6Series ISSN 0893-3405 |
| issn_series | 0893-3405 |
| copyright | Springer Science+Business Media New York 1988 |
发表于 2025-3-21 18:28:23
