|
|
|
|
| | 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... | | MPLS: Next Steps, Volume 1 (The Morgan Kaufmann Series in Networking)Multiprotocol Label Switching (MPLS) is a data plane and control technology that is used in packet (that is Internet Protocol) networks. Now over ten years old, it has taken root firmly as a fundamental tool in many service provider networks. The last ten years have seen a considerable consolidation of MPLS techniques and protocols. This has... |
|
| | Fuzzy Logic: A Practical ApproachThe last decade has seen a large interest in technologies that have as their motivation some aspect of human function. Some of these, like artificial intelligence, can be seen to be rooted in the psychological domain. Others, like neural networks, genetic algorithms, and evolutionary programming, are inspired by reconsiderations of biological... | | |
|
|
JSTL: Practical Guide for JSP Programmers (The Practical Guides)An invaluable reference for any JSP developer's library. Sue makes the complicated seem simple with her conversational writing style and well thought out examples and analogies.
-Matt Houser, J2EE Developer with The Washington Post and former Sun Microsystems Java Instructor.
Web developers and page... | | | | |
|
|
Result Page: 31 30 29 28 27 26 25 24 23 22 21 20 19 18 17 16 15 14 13 |