|
|
Creating Assertion-Based IP (Series on Integrated Circuits and Systems)Assertion-based IP is much more than a comprehensive set of related assertions. It is a full-fledged reusable and configurable transaction-level verification component, which is used to detect both interesting and incorrect behaviors. Upon detecting interesting or incorrect behavior, the assertion-based IP alerts other verification components... | | | | Semantic Web: Concepts, Technologies and ApplicationsAlthough the Web is growing at an astounding pace, surpassing the 8 billion page mark, most pages are still designed for human consumption and cannot be processed by machines. Computers are used to display the information, but human intervention is still required to interpret the results. The Semantic Web unleashes a revolution of new possibilities... |
|
|
Embedded Security in Cars: Securing Current and Future Automotive IT ApplicationsMost innovations in the car industry are based on software and electronics, and IT will soon constitute the major production cost factor. It seems almost certain that embedded IT security will be crucial for the next generation of applications. Yet whereas software safety has become a relatively well-established field, the protection of automotive... | | Handbook of Data Visualization (Springer Handbooks of Computational Statistics)Visualizing the data is an essential part of any data analysis. Modern computing developments have led to big improvements in graphic capabilities and there are many new possibilities for data displays. This new volume in the series Springer Handbooks of Computational Statistics gives an overview of modern data visualization methods, both in theory... | | |
|
| | | | CHAOS: A Program Collection for the PC"... The program devoted to the Julia and Mandelbrot sets is particularly exciting. Seeing the beautiful sets appearing on the screen, manipulating parameters oneself and observing the effects is infinitely more enlightening than viewing a picture in a book. ... Each chapter also provides a guide to ideas which the graduate student might wish... |
|
Result Page: 417 416 415 414 413 412 411 410 409 408 407 406 405 404 403 402 401 400 399 |