Searching for authors named Tudor Jebelean – sorted by Relevance.
17 documents found, showing 1 through 10.
Next 10 →
-
Design of a Systolic Coprocessor for Rational Addition
- …1 Design of a Systolic Coprocessor for Rational Addition Tudor Jebelean RISC -- Linz A-4040 Linz…
- Add To MetaCart
-
Using the Parallel Karatsuba Algorithm for Long Integer Multiplication and Division
- …Using the Parallel Karatsuba Algorithm for Long Integer Multiplication and Division Tudor Jebelean…
- Cited by 2 (0 self) – Add To MetaCart
-
Integer and Rational Arithmetic on MasPar
- …Integer and Rational Arithmetic on MasPar Tudor Jebelean ? Research Institute for Symbolic…
- Cited by 2 (1 self) – Add To MetaCart
-
Practical Integer Division with Karatsuba Complexity
- …Practical Integer Division with Karatsuba Complexity Tudor Jebelean Research Institute…
- Cited by 9 (1 self) – Add To MetaCart
-
Bidirectional Exact Integer Division
- … AND TUDOR JEBELEAN z Research Institute for Symbolic Computation Johannes Kepler University, A-4040 Linz…
- Cited by 5 (2 self) – Add To MetaCart
-
A Practical Approach to Proving Termination of Recursive Programs in Theorema
- …A Practical Approach to Proving Termination of Recursive Programs in Theorema Nikolaj Popov, Tudor…
- Cited by 2 (2 self) – Add To MetaCart
-
Solution Lifting Method for Handling by Meta-variables in THEOREMA
- … Jebelean z konev@(email omitted); tudor@(email omitted); Abstract We approach the problem of finding…
- Cited by 2 (0 self) – Add To MetaCart
-
A Practical Approach to Verification of Recursive Programs in Theorema
- … Popov, Tudor Jebelean ∗ RISC – Linz, Austria {popov,jebelean}@(email omitted); Abstract We report…
- Cited by 2 (2 self) – Add To MetaCart
-
Large Experimental Program Verification in the Theorema System
- … by the editor) Tudor Jebelean · Laura Kovács · Nikolaj Popov Experimental Program Verification in the Theorema…
- Cited by 3 (1 self) – Add To MetaCart
-
Automated Generation of Loop Invariants by Recurrence Solving in Theorema
- …, Tudor Jebelean ⋆ Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria…
- Cited by 3 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
