( en | de | ru )

 

Disambiguation of "Jebelean, Tudor"

Author of the publication

copydeleteadd this publication to your clipboard
Functional-Based Synthesis of Systolic Online Multipliers.

, and . SYNASC, page 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. You can also use the button next to the name to display some publications already assigned to the person.

Tudor Pörner

Tudor Marinescu

Tania Tudorache

Christiane Silke Tudor

Igor Tudorache

 

Other publications of authors with the same name

FPGA Implementation of an Extended Binary GCD Algorithm for Systolic Reduction of Rational Numbers., and . FPL, volume 1896 of Lecture Notes in Computer Science, page 810-813. Springer, (2000)Auto-configurable array for GCD computation.. FPL, volume 1304 of Lecture Notes in Computer Science, page 457-461. Springer, (1997)Systolic normalization of rational numbers.. ASAP, page 502-513. IEEE, (1993)Synthesis of list algorithms by mechanical proving., and . J. Symb. Comput., (2015)A Survey of the Theorema Project., , , , , and . ISSAC, page 384-391. ACM, (1997)Experiments with Automated Reasoning in the Class., , , , and . CICM, volume 13467 of Lecture Notes in Computer Science, page 287-304. Springer, (2022)A Purely Logical Approach to the Termination of Imperative Loops., and . SYNASC, page 142-149. IEEE Computer Society, (2010)Designing systolic arrays for integer GCD computation.. ASAP, page 295-301. IEEE, (1994)AlCons : Deductive Synthesis of Sorting Algorithms in Theorema., and . ICTAC, volume 12819 of Lecture Notes in Computer Science, page 314-333. Springer, (2021)Case Studies on Algorithm Discovery from Proofs: The Delete Function on Lists and Binary Trees using Multisets., and . SISY, page 213-220. IEEE, (2019)