PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Seidel, Peter-Michael"

Author of the publication

copydeleteadd this publication to your clipboard
Challenges in the Formal Verification of Complete State-of-the-Art Processors.

, , and . ICCD, page 603-608. IEEE Computer Society, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Marc Seidel University of Stuttgart

On $\ell2$-performance of weakly-hard real-time control systems, , and . accepted for publication in European Journal of Control, (2024)

Lukas Seidel University of Stuttgart

Elisa Seidel University of Stuttgart

Elke Peter University of Stuttgart

Univ. -Prof. Dr. Rene Peters University of Stuttgart

 

Other publications of authors with the same name

A Comparison of Three Rounding Algorithms for IEEE Floating-Point Multiplication., and . IEEE Symposium on Computer Arithmetic, page 225-232. IEEE Computer Society, (1999)Formal Verification of an Iterative Low-Power x86 Floating-Point Multiplier with Redundant Feedback. ACL2, volume 70 of EPTCS, page 70-83. (2011)(Modular) Effect Algebras are Equivalent to (Frobenius) Antispecial Algebras., and . QPL, volume 236 of EPTCS, page 145-160. (2016)Privacy Protocols., , and . Foundations of Security, Protocols, and Equational Reasoning, volume 11565 of Lecture Notes in Computer Science, page 167-191. Springer, (2019)High-Performance Multiplication Modulo 2n - 3.. ACSSC, page 130-134. IEEE, (2018)An FPGA Implementation of a Fully Verified Double Precision IEEE Floating-Point Adder., and . ASAP, page 83-88. IEEE Computer Society, (2007)Guest Editors' Introduction: Special Section on Computer Arithmetic., , and . IEEE Trans. Computers, 63 (8): 1852-1853 (2014)How to Half the Latency of IEEE Compliant Floating-Point Multiplication.. EUROMICRO, page 10329-10332. IEEE Computer Society, (1998)Delay-Optimized Implementation of IEEE Floating-Point Addition., and . IEEE Trans. Computers, 53 (2): 97-113 (2004)High-speed redundant reciprocal approximation.. Integration, 28 (1): 1-12 (1999)