Advances in Speech Coding

Phonons in Semiconductor Nanostructures

High-Level VLSI Synthesis

Symbolic Analysis for Automated Design of Analog Integrated Circuits

Perturbation Techniques for Flexible Manipulators

Integrating Functional and Temporal Domains in Logic Design: The False Path Problem and Its Implications

Neural Models and Algorithms for Digital Testing

Foundations of Real-Time Computing: Scheduling and Resource Management