Search

Search for books and authors

Specification and Design Methodology for Real-Time Embedded Systems
Specification and Design Methodology for Real-Time Embedded Systems
Specification and design methodology has seen significant growth as a research area over the last decade, tracking but lagging behind VLSI design technology in general and the CAD industry in particular. The commercial rush to market tries to leverage existing technology which fuels CAD design tool development. Paralleling this is very active basic and applied research to investigate and move forward rational and effective methodologies for accomplishing digital design, especially in the field of hardware/software codesign. It is this close relationship between industry and academia that makes close cooperation between researchers and practitioners so important-and monographs like this that combine both abstract concept and pragmatic implementation deftly bridge this often gaping chasm. It was at the IEEE/ACM Eighth International Symposium on Hardware/Software Codesign where I met the author of this monograph, Dr. Randall Janka, who was presenting some of his recent dissertation research results on specification and design methodology, or as he has so succinctly defined this sometimes ambiguous concept, "the tools and rules." Where so many codesign researchers are trying to prove out different aspects of codesign and using toy applications to do so, Dr. Janka had developed a complete specification and design methodology and prototyped the infrastructure-and proven its viability, utility, and effectiveness using a demanding real-world application of a real-time synthetic aperture radar imaging processor that was implemented with embedded parallel processors.
Preview available
Computational Methods for Astrophysical Fluid Flow
Computational Methods for Astrophysical Fluid Flow
This book leads directly to the most modern numerical techniques for compressible fluid flow, with special consideration given to astrophysical applications. Emphasis is put on high-resolution shock-capturing finite-volume schemes based on Riemann solvers. The applications of such schemes, in particular the PPM method, are given and include large-scale simulations of supernova explosions by core collapse and thermonuclear burning and astrophysical jets. Parts two and three treat radiation hydrodynamics. The power of adaptive (moving) grids is demonstrated with a number of stellar-physical simulations showing very crispy shock-front structures.
Preview available
Music and Medieval Manuscripts
Music and Medieval Manuscripts
The interdisciplinary approach of Music and Medieval Manuscripts is modeled on the work of the scholar to whom the book is dedicated. Professor Andrew Hughes is recognized internationally for his work on medieval manuscripts, combining the areas of paleography, performance, liturgy and music. All these areas of research are represented in this collection with an emphasis on the continuity between the physical characteristics of medieval manuscripts and their different uses. Albert Derolez provides a landmark and controversial essay on the origins of pre-humanistic script, while Margaret Bent proposes a new interpretation of a famous passage from a fifteenth-century poem by Martin Le Franc. Timothy McGee contributes an innovative essay on late-medieval music, text and rhetoric. David Hiley discusses musical changes and variation in the offices of a major saint‘s feast, and Craig Wright presents an original study of Guillaume Dufay. Jan Ziolkowski treats the topic of neumed classics, an under-explored aspect of the history of medieval pedagogy and the transmission of texts. The essays that comprise this volume offer a unique focus on medieval manuscripts from a wide range of perspectives, and will appeal to musicologists and medievalists alike.
Available for purchase
Specification and Design Methodology for Real-Time Embedded Systems
Specification and Design Methodology for Real-Time Embedded Systems
Specification and design methodology has seen significant growth as a research area over the last decade, tracking but lagging behind VLSI design technology in general and the CAD industry in particular. The commercial rush to market tries to leverage existing technology which fuels CAD design tool development. Paralleling this is very active basic and applied research to investigate and move forward rational and effective methodologies for accomplishing digital design, especially in the field of hardware/software codesign. It is this close relationship between industry and academia that makes close cooperation between researchers and practitioners so important-and monographs like this that combine both abstract concept and pragmatic implementation deftly bridge this often gaping chasm. It was at the IEEE/ACM Eighth International Symposium on Hardware/Software Codesign where I met the author of this monograph, Dr. Randall Janka, who was presenting some of his recent dissertation research results on specification and design methodology, or as he has so succinctly defined this sometimes ambiguous concept, "the tools and rules." Where so many codesign researchers are trying to prove out different aspects of codesign and using toy applications to do so, Dr. Janka had developed a complete specification and design methodology and prototyped the infrastructure-and proven its viability, utility, and effectiveness using a demanding real-world application of a real-time synthetic aperture radar imaging processor that was implemented with embedded parallel processors.
Preview available