000 04384nam a22004935i 4500
001 978-0-387-73384-5
003 DE-He213
005 20250710084017.0
007 cr nn 008mamaa
008 100301s2008 xxu| s |||| 0|eng d
020 _a9780387733845
_a99780387733845
024 7 _a10.1007/978-0-387-73384-5
_2doi
082 0 4 _a005.1
_223
100 1 _aSchellekens, Michel.
_eauthor.
245 1 2 _aA Modular Calculus for the Average Cost of Data Structuring
_h[recurso electrónico] /
_cby Michel Schellekens.
264 1 _aBoston, MA :
_bSpringer US,
_c2008.
300 _bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _arecurso en línea
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
505 0 _aIntroductory Notions -- Compositionality -- Random Bag Preservation and Isolated Subsets -- Basic MOQA Operations -- Average-Case Time of Basic MOQA Operations -- The MOQA Language -- Examples of MOQA Programs -- Average-Case Analysis of MOQA programs -- Distri-Track Joint with D. Hickey and M. Boubekeur -- Conclusion and FutureWork.
520 _aA 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.
650 0 _aCOMPUTER SCIENCE.
650 0 _aOPERATING SYSTEMS (COMPUTERS).
650 0 _aSOFTWARE ENGINEERING.
650 0 _aDATA STRUCTURES (COMPUTER SCIENCE).
650 0 _aCOMPUTER SOFTWARE.
650 0 _aLOGIC DESIGN.
650 1 4 _aCOMPUTER SCIENCE.
650 2 4 _aALGORITHM ANALYSIS AND PROBLEM COMPLEXITY.
650 2 4 _aPROGRAMMING LANGUAGES, COMPILERS, INTERPRETERS.
650 2 4 _aDATA STRUCTURES.
650 2 4 _aSOFTWARE ENGINEERING.
650 2 4 _aLOGICS AND MEANINGS OF PROGRAMS.
650 2 4 _aPERFORMANCE AND RELIABILITY.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9780387733838
856 4 0 _uhttp://dx.doi.org/10.1007/978-0-387-73384-5
_zVer el texto completo en las instalaciones del CICY
912 _aZDB-2-SCS
942 _2ddc
_cER
999 _c58467
_d58467