期刊全称 | A Modular Calculus for the Average Cost of Data Structuring | 影响因子2023 | Michel Schellekens | 视频video | | 发行地址 | Novel foundation provided for this classical area of computing.As opposed to series of methods to match algorithm under consideration, new uniform foundation is provided: semi-automatable, providing s | 图书封面 |  | 影响因子 | .A Modular Calculus for the Average Cost of Data Structuring. introduces MOQA, a new domain-specific programming language which guarantees the average-case time analysis of its programs to be modular..Time. in this context refers to a broad notion of cost, which can be used to estimate the actual running time, but also other quantitative information such as power consumption, while modularity means that the average time of a program can be easily computed from the times of its constituents--something that no programming language of this scope has been able to guarantee so far. MOQA principles can be incorporated in any standard programming language...MOQA supports tracking of data and their distributions throughout computations, based on the notion of random bag preservation. This allows a unified approach to average-case time analysis, and resolves fundamental bottleneck problems in the area. The main techniques are illustrated in an accompanying Flash tutorial, where the visual nature of this method can provide new teaching ideas for algorithms courses...This volume, with forewords by Greg Bollella and Dana Scott, presents novel programs based on the new advances in this area, in | Pindex | Book 2008 |
The information of publication is updating
|
|