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...


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)

Journal of automated reasoning, 2008-05, Vol.40 (4), p.293-306
2008
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)







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