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,
including the first randomness-preserving version of Heapsort.
Programs are provided, along with derivations of their average-case
time, to illustrate the radically different approach to
average-case timing. The automated static timing tool applies the
Modular Calculus to extract the average-case running time of
programs directly from their MOQA code.
A Modular Calculus for the Average Cost of Data Structuring is
designed for a professional audience composed of researchers and
practitioners in industry, with an interest in algorithmic analysis
and also static timing and power analysis--areas of growing
importance. It is also suitable as an advanced-level text or
reference book for students in computer science, electrical
engineering and mathematics.
Michel Schellekens obtained his PhD from Carnegie Mellon
University, following which he worked as a Marie Curie Fellow at
Imperial College London. Currently he is an Associate Professor at
the Department of Computer Science in University College Cork -
National University of Ireland, Cork, where he leads the Centre for
Efficiency-Oriented Languages (CEOL) as a Science Foundation
Ireland Principal Investigator.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
(1)
