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...
2011 44th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO), 2011, p.1-11
2011
Volltextzugriff (PDF)


2012 45th Annual IEEE/ACM International Symposium on Microarchitecture, 2012, p.224-234
2012
Volltextzugriff (PDF)

HPCA - 16 2010 The Sixteenth International Symposium on High-Performance Computer Architecture, 2010, p.1-11
2010
Volltextzugriff (PDF)

Journal of automated reasoning, 2008-05, Vol.40 (4), p.293-306
2008
Volltextzugriff (PDF)

IBM journal of research and development, 2003-09, Vol.47 (5.6), p.631-639
2003
Volltextzugriff (PDF)

STAC-A2™ benchmark on POWER8
Proceedings of the 8th Workshop on High Performance Computational Finance, 2015, p.1-8
2015
Volltextzugriff (PDF)

Formal Methods in Computer-Aided Design, 1996, p.275-293
1996
Volltextzugriff (PDF)

2002 IEEE International Solid-State Circuits Conference. Digest of Technical Papers (Cat. No.02CH37315), 2002, Vol.1, p.340-341 vol.1
2002
Volltextzugriff (PDF)

2013 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS), 2013, p.128-129
2013
Volltextzugriff (PDF)

Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences, 1992-04, Vol.339 (1652), p.35-47
1992
Volltextzugriff (PDF)


Engineering Theories of Software Intensive Systems, p.141-175
Volltextzugriff (PDF)

9th International Conference on Automated Deduction, 1988, p.454-468
1988
Volltextzugriff (PDF)

Open Access
The verification of a bit-slice ALU
Hardware Specification, Verification and Synthesis: Mathematical Aspects, 1990, Vol.408, p.282-306
1990
Volltextzugriff (PDF)

Philosophical transactions of the Royal Society of London. Series A: Physical sciences and engineering, 1992-04, Vol.339 (1652), p.35-47
1992
Volltextzugriff (PDF)

COMPASS '91, Proceedings of the Sixth Annual Conference on Computer Assurance, 1991, p.91-98
1991
Volltextzugriff (PDF)

Open Access
Demand driven simulation: BACKSIM
24th ACM/IEEE Design Automation Conference, 1987, p.181-187
1987
Volltextzugriff (PDF)







Aktive Filter
Zeitschrift / SerieIeee Micro
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n