 |
|
|
 Verification Techniques for System-Level Design (Systems on Silicon)A must-read in formal and semi-formal verification!
This book will explain how to verify SoC logic designs using formal and semi-formal verification techniques. The critical issue to be addressed is whether the functionality of the design is the one that the designers intended. Simulation has been used for checking the... | | | | Computer Sound Design: Synthesis Techniques and Programming (Music Technology)This comprehensive introduction to software synthesis techniques and programming is intended for students, researchers, musicians, sound artists and enthusiasts in the field of music technology.
The art of sound synthesis is as important for the electronic musician as the art of orchestration is important for symphonic music... |
|
|
Distributed Computing: Principles, Algorithms, and SystemsDesigning distributed computing systems is a complex process requiring a solid understanding of the design problems and the theoretical and practical aspects of their solutions. This comprehensive textbook covers the fundamental principles and models underlying the theory, algorithms and systems aspects of distributed computing. Broad and detailed... | | | | Cost Estimation Techniques for Web ProjectsHaving realistic estimates of effort at an early stage in a Web project's life is vital to the successful management of resources. The principles of the prediction process are identifying the influencing factors, gathering past project data, generating an effort prediction model, and assessing the effectiveness of such prediction model. Cost... |
|
| Result Page: 97 96 95 94 93 92 91 90 89 88 87 86 85 84 83 82 81 80 79 |
