Bharat P. Dave, Niraj K. Jha: CASPER: Concurrent Hardware-Software Co-Synthesis of Hard Real-Time Aperiodic and Periodic Specifications of Embedded System Architectures.
118-124
Bill Lin: Efficient Compilation of Process-Based Concurrent Programs without Run-Time Scheduling.
211-217
J. A. Maestro, Daniel Mozos, Hortensia Mecha: A Macroscopic Time and Cost Estimation Model Allowing Task Parallelism and Hardware Sharing for the Codesign Partitioning Process.
218-225
Joachim Gerlach, Wolfgang Rosenstiel: A Scalable Methodology for Cost Estimation in a Transformational High-Level Design Space Exploration Environment.
226-231
Li-C. Wang, Magdy S. Abadir, Jing Zeng: Measuring the Effectiveness of Various Design Validation Approaches For PowerPC(TM) Microprocessor Arrays.
273-277
Ruifeng Guo, Irith Pomeranz, Sudhakar M. Reddy: Procedures for Static Compaction of Test Sequences for Synchronous Sequential Circuits Based on Vector Restoration.
583-587