Composing Software Components A Software-testing Perspective

Composing Software Components A Software-testing Perspective

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Hamlet, Dick
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:	English
Έκδοση:	Boston, MA Springer Science+Business Media, LLC 2010
Θέματα:	Computer science Operating systems (Computers) Computer network architectures Software engineering Electronic data processing Computer aided design Computer Science Computer-Aided Engineering (CAD, CAE) and Design Models and Principles Αξιοπιστία (Μηχανική) Computer System Implementation Computing Methodologies Software Engineering
Διαθέσιμο Online:	http://dx.doi.org/10.1007/978-1-4419-7148-7

Παρόμοια τεκμήρια

Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction
ανά: Shukla, Sandeep K
Έκδοση: (2010)

Software Automatic Tuning From Concepts to State-of-the-Art Results
ανά: Naono, Ken
Έκδοση: (2010)

Embedded Software Design and Programming of Multiprocessor System-on-Chip Simulink and System C Case Studies
ανά: Popovici, Katalin
Έκδοση: (2010)

A Practical Introduction to Hardware/Software Codesign
ανά: Schaumont, Patrick R. (Patrick Robert)
Έκδοση: (2010)

Digital Design and Implementation with Field Programmable Devices
Έκδοση: (2005)

Assertion-Based Design
ανά: Foster, Harry
Έκδοση: (2005)

Direct Transistor-level Layout for Digital Blocks
ανά: Gopalakrishnan, Prakash
Έκδοση: (2005)

C Compilers for ASIPs Automatic Compiler Generation with LISA
ανά: Hohenauer, Manuel
Έκδοση: (2010)

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
ανά: Singh, Gaurav
Έκδοση: (2010)

FPGA Design Best Practices for Team-based Design
ανά: Simpson, Philip
Έκδοση: (2010)

Scalable Techniques for Formal Verification
ανά: Ray, Sandip
Έκδοση: (2010)

ESL Models and their Application Electronic System Level Design and Verification in Practice
ανά: Bailey, Brian
Έκδοση: (2010)

On and Off-Chip Crosstalk Avoidance in VLSI Design
ανά: Duan, Chunjie
Έκδοση: (2010)

Advanced Test Methods for SRAMs Effective Solutions for Dynamic Fault Detection in Nanoscaled Technologies
ανά: Bosio, Alberto
Έκδοση: (2010)

Processor and System-on-Chip Simulation
ανά: Leupers, Rainer
Έκδοση: (2010)

Power-efficient System Design
ανά: Panda, Preeti Ranjan
Έκδοση: (2010)

Minimizing and Exploiting Leakage in VLSI Design
ανά: Jayakumar, Nikhil
Έκδοση: (2010)

Power-Aware Testing and Test Strategies for Low Power Devices
ανά: Girard, Patrick
Έκδοση: (2010)

Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification
ανά: Gamatie, Abdoulaye
Έκδοση: (2010)

VLSI Design for Video Coding H.264/AVC Encoding from Standard Specification to Chip
ανά: Lin, Youn-Long Steve
Έκδοση: (2010)

Hardware Acceleration of EDA Algorithms Custom ICs, FPGAs and GPUs
ανά: Gulati, Kanupriya
Έκδοση: (2010)

Analysis and Design of Resilient VLSI Circuits Mitigating Soft Errors and Process Variations
ανά: Garg, Rajesh
Έκδοση: (2010)

Extreme Low-Power Mixed Signal IC Design Subthreshold Source-Coupled Circuits
ανά: Tajalli, Armin
Έκδοση: (2010)

System-Level Design Techniques for Energy-Efficient Embedded Systems
ανά: Schmitz, Marcus T.
Έκδοση: (2005)

Constraint-Based Verification
ανά: Yuan, Jun
Έκδοση: (2006)

Mixed-Signal Layout Generation Concepts
ανά: Lin, Chieh
Έκδοση: (2005)

Abstraction Refinement for Large Scale Model Checking
ανά: Wang, Chao
Έκδοση: (2006)

Embedded System Design
ανά: Marwedel, Peter, 1949-
Έκδοση: (2006)

Thermal and Power Management of Integrated Circuits
ανά: Vassighi, Arman
Έκδοση: (2006)

Rapid Prototyping of Digital Systems
ανά: Hamblen, James O.
Έκδοση: (2006)

SystemC: From the Ground Up
ανά: Black, David C.
Έκδοση: (2010)

Interconnect-Centric Design for Advanced SoC and NoC
ανά: Nurmi, Jari
Έκδοση: (2005)

SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling & Simulation
ανά: Patel, Hiren D.
Έκδοση: (2005)

Advanced Techniques in Computing Sciences and Software Engineering
ανά: Elleithy, Khaled
Έκδοση: (2010)

Interconnect Noise Optimization in Nanometer Technologies
ανά: Elgamel, Mohamed A.
Έκδοση: (2006)

Scalable Hardware Verification with Symbolic Simulation
ανά: Bertacco, Valeria
Έκδοση: (2006)

SystemVerilog for Design A Guide to Using SystemVerilog for Hardware Design and Modeling
ανά: Sutherland, Stuart
Έκδοση: (2006)

Systemverilog for Verification A Guide to Learning the Testbench Language Features
ανά: Spear, Chris
Έκδοση: (2006)

Using Microsoft Windows Small Business Server 2003
ανά: Hassell, Jonathan
Έκδοση: (2005)

WiMax Operatorβs Manual Building 802.16 Wireless Networks
ανά: Sweeney, Daniel
Έκδοση: (2006)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών