E-LIB Suche - Ergebnisse für: inf 170

1

Next generation design for testability, debug and reliabili..:

Huhn, Sebastian Michael , [2020]

Exemplare: Zentrale;

2

Trust is good, control is better

a container based system design scheme : hard and software ...

Schmitz, Kenneth , Januar 2019

Exemplare: Zentrale;

3

Hardware enhanced run-time management for many-core process..

Berichte aus der Elektrotechnik

Gregorek, Daniel - 1. Auflage . , 2019

Exemplare: Zentrale;

4

Pattern analysis for power safe testing and prediction usin..:

Dhotre, Harshad , [2019?]

Exemplare: Zentrale;

5

Simulation and Optimization of Digital Circuits

Considering and Mitigating Destabilizing Factors

Melikyan, Vazgen , 2018

Link: https://ebookcentral.pro..

6

High-level estimation and exploration of reliability for mu..

Computer architecture and design methodologies;Computer Architecture and Design Methodologies Ser.

Wang, Zheng ; Chattopadhyay, Anupam , [2018]

Link: http://ebookcentral.proq..

7

Formal system verification

state-of the-art and future trends

Drechsler, Rolf , [2018]

Exemplar: Zentrale:E02 a inf 170 m/057

8

From variability tolerance to approximate computing in para..:

Rahimi, Abbas ; Benini, Luca ; Gupta, Rajesh Kumar , 2017

Link: http://ebookcentral.proq..

9

Formal methods for automated debugging:

Riener, Heinz , 2017

Exemplare: Zentrale;

10

Methoden und Beschreibungssprachen zur Modellierung und Ver..

Berichte aus der Informatik

Große, Daniel ; Drechsler, Rolf , 2017

Exemplare: Zentrale; TB BHV;

11

High-quality hardware design and verification using word-le..:

Haedicke, Finn , 2016

Exemplare: Zentrale;

12

Computer-hardware evaluation of mathematical functions:

Omondi, Amos , [2016]

Exemplar: Zentrale:E02 a inf 170 e/809

13

Complete symbolic simulation of systemC models

efficient formal verification of finite non-terminating pro... BestMasters

Herdt, Vladimir , [2016]

Exemplar: Zentrale:Magazin 02.t.0400

14

Automated techniques for functional verification at the ele..:

Le, Hoang M. , 2015

Exemplare: Zentrale;

15

Completing behaviour driven development for testing and ver..

bringing agile to hardware development

Diepenbeck, Melanie , 2015

Exemplare: Zentrale;