From the Publisher: Software Synthesis from Dataflow Graphs addresses the problem of generating efficient software implementations from applications specified as synchronous dataflow graphs for programmable digital si...
ISBN:
(纸本)0792397223
From the Publisher: Software Synthesis from Dataflow Graphs addresses the problem of generating efficient software implementations from applications specified as synchronous dataflow graphs for programmable digital signal processors (DSPs) used in embedded real-time systems. Software Synthesis from Dataflow Graphs reviews the state-of-the-art in constructing static, memory-optimal schedules for programs expressed as SDF graphs. Code size reduction is obtained by the careful organization of loops in the target code. Data buffering is optimized by constructing the loop hierarchy in provably optimal ways for many classes of SDF graphs. The central result is a uniprocessor scheduling framework that provably synthesizes the most compact looping structures, called single appearance schedules, for a certain class of SDF graphs. In addition, algorithms and heuristics are presented that generate single appearance schedules optimized for data buffering usage. Numerous practical examples and extensive experimental data are provided to illustrate the efficacy of these techniques.
From the Publisher: Object-Oriented Behavioral Specifications encourages the builders of complex information systems to accelerate the move to using the approach of a scientific discipline in analysis rather than the ...
ISBN:
(纸本)0792397789;9780792397786;9780585275246
From the Publisher: Object-Oriented Behavioral Specifications encourages the builders of complex information systems to accelerate the move to using the approach of a scientific discipline in analysis rather than the approach of a craft. The focus is on understanding customers needs and on precise specification of understanding gained through analysis. The papers in this book show various ways of designing elegant and clear specifications which are reusable, leading to savings of intellectual effort, time, and money, and which contribute to the reliability ofS software and systems.
暂无评论