 |
|
|
|
|
The SPIN Model Checker: Primer and Reference ManualSPIN is the world's most popular, and arguably one of the world's most powerful, tools for detecting software defects
in concurrent system designs. Literally thousands of people have used SPIN since it was first introduced almost fifteen
years ago. The tool has been applied to everything from the verification of complex call processing... | | Embedded Software: Know It All (Newnes Know It All)
The Newnes Know It All Series takes the best of what our authors have written to create hard-working desk references that will be an engineer's first port of call for key information, design techniques and rules of thumb. Guaranteed not to gather dust on a shelf!
Embedded software is present everywhere - from a garage... | | Electronic System Level Design: An Open-Source Approach
Electronic System Level Design, or ESL Design, is generally understood as the set
of tools, methodologies and design techniques applied to modern electronic systems
design, from high-end chips and systems, to embedded devices, to integrated
hardware and software systems. Given the complexity of current systems, advanced
tools and... |
|
MPLS VPN SecurityA practical guide to hardening MPLS networks Define "zones of trust" for your MPLS VPN environment Understand fundamental security principles and how MPLS VPNs work Build an MPLS VPN threat model that defines attack points, such as VPN separation, VPN spoofing, DoS against the network's backbone, misconfigurations, sniffing, and... | | Computational Methods in Systems Biology: International Conference, CMSB 2006established in 2003 to help catalyze the convergence of modellers, physicists, mathematicians, and theoretical computer scientists from fields such as language design, concurrency theory, program verification, and molecular biologists, physicians, and neuroscientists interested in a systems-level understanding of cellular physiology and... | | |
|
Software Verification and Validation: An Engineering and Scientific ApproachThe world needs an in-depth technical book describing the methods and techniques used to provide confidence in our system software. In todays market, not only are governments more focused on software safety, but private industry and academia are as well. The methods and techniques used to provide such confidence is commonly called software... | | | | Advanced Formal VerificationWith increasing design complexity, verification becomes a more and
more important aspect of the design flow. Modern circuits contain up
to several million transistors. In the meantime it has been observed that
verification becomes the major bottleneck, i.e. up to 80% of the overall
design costs are due to verification. This is... |
|
|
| Result Page: 18 17 16 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 |
