Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
31  Ergebnisse:
Dissertation X
?
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

Formal methods for automated debugging:

Riener, Heinz , 2017
Exemplare: Zentrale;
 
?
6

Complete symbolic simulation of systemC models 

efficient formal verification of finite non-terminating pro...  BestMasters
Herdt, Vladimir , [2016]
Exemplar:  Zentrale:Magazin 02.t.0400
 
?
7

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

Haedicke, Finn , 2016
Exemplare: Zentrale;
 
?
8

Completing behaviour driven development for testing and ver.. 

bringing agile to hardware development 
Diepenbeck, Melanie , 2015
Exemplare: Zentrale;
 
?
9

Automated techniques for functional verification at the ele..:

Le, Hoang M. , 2015
Exemplare: Zentrale;
 
?
10

Methoden zum Erfassen und Entwickeln von SystemC Modellen:

Michael, Marc , 2014
Exemplare: Zentrale;
 
?
11

Debug automation from pre-silicon to post-silicon:

Dehbashi, Mehdi , 2013
Exemplare: Zentrale;
 
?
12

Type-based software-implemented hardware fault tolerance 

predicting & limiting the impact of bit flips in data 
Munkby, Gustav , 2012
Exemplar:  Zentrale:Magazin 02.m.7190
 
?
13

Advanced utilization of formal methods in automatic test pa.. 

Berichte aus der Informatik
Tille, Daniel , 2011
Exemplare: Zentrale;
 
?
14

WoLFram - a word level framework for formal verification an.. 

Berichte aus der Informatik
Sülflow, André , 2010
Exemplare: Zentrale;
 
?
15

Fehlermodelle und Verfahren für die Fehleremulation digita.. 

Fortschritt-Berichte VDI, Reihe 21, Elektrotechnik ; 393
Weinkopf, Jan Torben - Als Ms. gedr. . , 2010
Exemplar:  Zentrale:Magazin 02.D.5610
 
1-15