Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
Lecture notes in computer science, 2005, p.326-341
2005
Volltextzugriff (PDF)

A Generic Network on Chip Model
Lecture notes in computer science, 2005, p.310-325
2005
Volltextzugriff (PDF)

IEEE transactions on computer-aided design of integrated circuits and systems, 2017-05, Vol.36 (5), p.869-882
2017
Volltextzugriff (PDF)

IEEE transactions on very large scale integration (VLSI) systems, 2015-12, Vol.23 (12), p.2890-2901
2015
Volltextzugriff (PDF)

ACM transactions on embedded computing systems, 2019-01, Vol.18 (1), p.1-25
2019
Volltextzugriff (PDF)

Une analyse de systeme par typologie
Operating Systems, 2005, p.30-55
2005
Volltextzugriff (PDF)


IEEE transactions on very large scale integration (VLSI) systems, 2000-10, Vol.8 (5), p.526-530
2000
Volltextzugriff (PDF)

Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078), 1999, p.485-490
1999
Volltextzugriff (PDF)

Tenth IEEE International High-Level Design Validation and Test Workshop, 2005, 2005, p.237-244
2005
Volltextzugriff (PDF)

Correct Hardware Design and Verification Methods, 2005, p.254-268
1ère éd, 2005
Volltextzugriff (PDF)

Correct Hardware Design and Verification Methods, 2005, p.162-175
1ère éd, 2005
Volltextzugriff (PDF)

1999
Volltextzugriff (PDF)

Open Access
Finding and Fixing Faults
Correct Hardware Design and Verification Methods, 2005, p.35-49
1ère éd, 2005
Volltextzugriff (PDF)

IEEE transactions on computer-aided design of integrated circuits and systems, 2010-09, Vol.29 (9), p.1436-1448
2010
Volltextzugriff (PDF)


2015 Forum on Specification and Design Languages (FDL), 2015, p.1-7
2015
Volltextzugriff (PDF)

Correct Hardware Design and Verification Methods, 2005, Vol.3725, p.238-253
1ère éd, 2005
Volltextzugriff (PDF)

Formal aspects of computing, 2008-05, Vol.20 (3), p.241-258
2008
Volltextzugriff (PDF)

Open Access
Wired: Wire-Aware Circuit Design
Correct Hardware Design and Verification Methods, 2005, Vol.3725, p.5-19
1ère éd, 2005
Volltextzugriff (PDF)

Open Access
Regular Vacuity
Correct Hardware Design and Verification Methods, 2005, p.191-206
1ère éd, 2005
Volltextzugriff (PDF)

Formal Methods in Computer-Aided Design, 2004, p.52-66
2004
Volltextzugriff (PDF)

Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078), 1999, p.271-276
1999
Volltextzugriff (PDF)

Proceedings of the Design Automation & Test in Europe Conference, 2006, Vol.1, p.1-6
2006
Volltextzugriff (PDF)

EURASIP journal on embedded systems, 2009, Vol.2009 (1), p.548324
2009
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n