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...
27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021 Held as Part of 24th European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Virtual, Online, 2021, Vol.12652 LNCS, p.242
2021
Link zum Volltext


2017 IEEE International Conference on Computer Design (ICCD), 2017, p.209-216
2017

Proceedings of the 33rd Chinese Control Conference, 2014, p.8628-8632
2014

2017 IEEE 60th International Midwest Symposium on Circuits and Systems (MWSCAS), 2017, p.475-478
2017

2015 IEEE 22nd Symposium on Computer Arithmetic, 2015, p.83-89
2015
Link zum Volltext

Formal Methods for Hardware Verification, 2006, p.211-242
2006
Link zum Volltext

2015 34th Chinese Control Conference (CCC), 2015, p.3473-3477
2015

Advanced materials research, 2013, Vol.785-786, p.1418-1422
2013
Link zum Volltext

2022 IEEE 9th International Conference on Cyber Security and Cloud Computing (CSCloud)/2022 IEEE 8th International Conference on Edge Computing and Scalable Cloud (EdgeCom), 2022, p.160-165
2022
Link zum Volltext

Advanced materials research, 2011, Vol.199-200, p.147-155
2011
Link zum Volltext

2020 IEEE Bangalore Humanitarian Technology Conference (B-HTC), 2020, p.1-6
2020
Link zum Volltext

2023 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS), 2023, p.235-247
2023
Link zum Volltext

2021 5th International Conference on Electronics, Communication and Aerospace Technology (ICECA), 2021, p.1215-1218
2021
Link zum Volltext

2009 19th IEEE Symposium on Computer Arithmetic, 2009, p.104-113
2009

2022 23rd International Symposium on Quality Electronic Design (ISQED), 2022, p.1-6
2022

2022 International Symposium on Electrical, Electronics and Information Engineering (ISEEIE), 2022, p.297-301
2022
Link zum Volltext

The CAT Bézier Curves
Advances in Computer Science, Environment, Ecoinformatics, and Education, p.125-130
Link zum Volltext


2009 19th IEEE Symposium on Computer Arithmetic, 2009, p.179-186
2009

2018 IEEE International Conference of Safety Produce Informatization (IICSPI), 2018, p.911-919
2018
Link zum Volltext

SIAM journal on scientific computing (Print), 2011, Vol.32 (1), p.186-196
2011
Link zum Volltext

SIAM journal on scientific computing (Print), 2011, Vol.32 (1), p.349-371
2011
Link zum Volltext

Decimal Transcendentals via Binary
2009 19th IEEE Symposium on Computer Arithmetic, 2009, p.187-194
2009

SIAM journal on scientific computing (Print), 2011, Vol.32 (1), p.418-438
2011
Link zum Volltext
Aktive Filter
SpracheKoreanisch
PublikationsformTagungsberichte
Suchergebnisse filtern
Filter anzeigen