1
af Mehta, Ashok B., Mehta, Ashok B.
Udgivet 2014
Indholdsfortegnelse: ... (sequence, property, assert).- Sampled Value Functions   $rose, $fell -- Operators -- System Functions...
Få fuldtekst
Electronisk eBog
2
Indholdsfortegnelse: ...to Functional Verification -- Architecture Specification -- Architecture Specification...
Få fuldtekst
Electronisk eBog
3
Fag: ...Computational Biology/Bioinformatics. https://scigraph.springernature.com/ontologies/product-market...
Få fuldtekst
Electronisk eBog
4
Fag: ...Processor Architectures. https://scigraph.springernature.com/ontologies/product-market-codes/I13014...
Få fuldtekst
Electronisk eBog
5
Udgivet 2007
Indholdsfortegnelse: ...Application Specific Embedded Processors -- Application-Specific Embedded Processors -- Low-Power...
Få fuldtekst
Electronisk eBog
6
Udgivet 2010
Indholdsfortegnelse: ... and Architectures -- Adaptive High-Speed Processor Simulation -- Representative Sampling Using SimPoint...
Få fuldtekst
Electronisk eBog
7
Udgivet 2014
Fag: ...Processor Architectures. https://scigraph.springernature.com/ontologies/product-market-codes/I13014...
Få fuldtekst
Electronisk eBog
8
Indholdsfortegnelse: ...Context and State-of-the-Art -- Processor Template for the Wireless Domain -- Case Study 1: MIMO...
Få fuldtekst
Electronisk eBog
9
Indholdsfortegnelse: ...The representation of numbers in computing systems -- Functional analysis and synthesis of binary...
Få fuldtekst
Electronisk eBog
10
Udgivet 2008
Indholdsfortegnelse: ... -- Sensors for Critical Path Monitoring -- Architectural Techniques for Adaptive Computing -- Variability...
Få fuldtekst
Electronisk eBog
11
Udgivet 2015
Indholdsfortegnelse: ...Introduction -- Spintronics nanodevices for computing -- Characteristics and Compact Modeling...
Få fuldtekst
Electronisk eBog
12
Fag: ...Computer-Aided Engineering (CAD, CAE) and Design. https://scigraph.springernature.com/ontologies...
Få fuldtekst
Electronisk eBog
13
Indholdsfortegnelse: ... Biomolecules to Nanodevices -- The Cytoskeleton as a Nanoscale Information Processor: Electrical Properties...
Få fuldtekst
Electronisk eBog
14
Udgivet 2015
Indholdsfortegnelse: ... -- Chapter 2: ARM TrustZone -- Computer Security Anchors in Smart Grids: The Smart Metering Scenario...
Få fuldtekst
Electronisk eBog
15
Indholdsfortegnelse: ... with Data Clusters -- Multi-threading in Uni-threaded Processor -- Handling Irregular Indexed Arrays...
Få fuldtekst
Electronisk eBog
16
Udgivet 2008
Indholdsfortegnelse: ...High Performance Computing -- Multiple Stream Prediction -- Enhanced Loop Coalescing: A Compiler...
Få fuldtekst
Electronisk eBog
17
Udgivet 2014
Indholdsfortegnelse: ...Five Nodes Are Sufficient for Hybrid Networks of Evolutionary Processors to Be Computationally...
Få fuldtekst
Electronisk eBog
18
Udgivet 2015
Fag: ...Processor Architectures. https://scigraph.springernature.com/ontologies/product-market-codes/I13014...
Få fuldtekst
Electronisk eBog
19
Udgivet 2005
Indholdsfortegnelse: ... for Hybrid Systems -- Infinity Norms as Lyapunov Functions for Model Predictive Control of Constrained PWA...
Få fuldtekst
Electronisk eBog
20
Udgivet 2008
Indholdsfortegnelse: ... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...
Få fuldtekst
Electronisk eBog