Modeling, Verification and Exploration of Task-level Concurrency in Real-time Embedded Systems - Hardback - 1999

The combination of VLSI process technology and real-time digital signal processing (DSP) has brought a break-through in information technology. This book deals with the modeling, timing verification and analysis, and the automatic synthesis of integrated real-time DSP systems.
Year of publication: 1999
Pagination: 438 pages, biography
Format: Hardback