( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Functional-Based Synthesis of Systolic Online Multipliers.

, и . SYNASC, стр. 267-275. 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.

Tudor Pörner

Tudor Marinescu

Tania Tudorache

Christiane Silke Tudor

Ruxandra Ioana Tudoran

 

Другие публикации лиц с тем же именем

Auto-configurable array for GCD computation.. FPL, том 1304 из Lecture Notes in Computer Science, стр. 457-461. Springer, (1997)FPGA Implementation of an Extended Binary GCD Algorithm for Systolic Reduction of Rational Numbers., и . FPL, том 1896 из Lecture Notes in Computer Science, стр. 810-813. Springer, (2000)Systolic normalization of rational numbers.. ASAP, стр. 502-513. IEEE, (1993)Proof-Based Synthesis of Sorting Algorithms Using Multisets in Theorema., и . FROM, том 303 из EPTCS, стр. 76-91. (2019)Synthesis of list algorithms by mechanical proving., и . J. Symb. Comput., (2015)A Survey of the Theorema Project., , , , , и . ISSAC, стр. 384-391. ACM, (1997)Experiments with Automated Reasoning in the Class., , , , и . CICM, том 13467 из Lecture Notes in Computer Science, стр. 287-304. Springer, (2022)A Purely Logical Approach to the Termination of Imperative Loops., и . SYNASC, стр. 142-149. IEEE Computer Society, (2010)Using the Parallel Karatsuba Algorithm for Long Integer Multiplication and Division.. Euro-Par, том 1300 из Lecture Notes in Computer Science, стр. 1169-1172. Springer, (1997)Deductive Synthesis of Min-Max-Sort Using Multisets in Theorema., и . SACI, стр. 165-172. IEEE, (2020)