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...
Replication-Based Load Balancing
IEEE transactions on parallel and distributed systems, 2016-02, Vol.27 (2), p.494-507
2016
Volltextzugriff (PDF)


IEEE/ACM transactions on networking, 2014-04, Vol.22 (2), p.405-414
2014
Volltextzugriff (PDF)

IEEE/ACM transactions on networking, 2015-12, Vol.23 (6), p.1998-2009
2015
Volltextzugriff (PDF)

IEEE transactions on computer-aided design of integrated circuits and systems, 2012-08, Vol.31 (8), p.1297-1302
2012
Volltextzugriff (PDF)

IEEE/IFIP Network Operations and Management Symposium, 2016, p.87-95
2016
Volltextzugriff (PDF)

IEEE journal on selected areas in communications, 2010-01, Vol.28 (1), p.70-83
2010
Volltextzugriff (PDF)

Hardware and Software: Verification and Testing, p.102-117
Volltextzugriff (PDF)

2006 43rd ACM/IEEE Design Automation Conference, 2006, p.348-351
2006
Volltextzugriff (PDF)

Hardware and Software: Verification and Testing, p.209-226
Volltextzugriff (PDF)


2013 Proceedings IEEE INFOCOM, 2013, p.510-514
2013
Volltextzugriff (PDF)

Open Access
MaxSAT-Based MCS Enumeration
Hardware and Software: Verification and Testing, p.86-101
Volltextzugriff (PDF)

Hardware and Software: Verification and Testing, 2013, p.276-277
2013
Volltextzugriff (PDF)

Proceedings of the conference on Design, Automation & Test in Europe, 2014, p.1-6
2014
Volltextzugriff (PDF)


Formal methods in system design, 2009-08, Vol.35 (1), p.40-55
2009
Volltextzugriff (PDF)

2012 Proceedings IEEE INFOCOM, 2012, p.2566-2570
2012
Volltextzugriff (PDF)

2014 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014, p.1-6
2014
Volltextzugriff (PDF)

2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC), 2014, p.1-6
2014
Volltextzugriff (PDF)


2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC), 2011, p.860-865
2011
Volltextzugriff (PDF)

Hardware and Software: Verification and Testing, p.8-23
Volltextzugriff (PDF)

Open Access
Computing Interpolants without Proofs
Hardware and Software: Verification and Testing, p.72-85
Volltextzugriff (PDF)

Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n