Sökresultat - "B.2.1"

Towards LLM-based Generation of Human-Readable Proofs in Polynomial Formal Verification

Drechsler, Rolf

Design and Implementation of a Takum Arithmetic Hardware Codec in VHDL

Hunhold, Laslo

Temporal Computer Organization

Smith, James E.

Polynomial Circuit Verification using BDDs

Drechsler, Rolf

PolyAdd: Polynomial Formal Verification of Adder Circuits

Drechsler, Rolf

LUXOR: An FPGA Logic Cell Architecture for Efficient Compressor Tree Implementations

Rasoulinezhad, SeyedRamin, Siddhartha, Zhou, Hao, Wang, Lingli, Boland, David, Leong, Philip H. W.

Ultrafast a Distributed Arithmetic in multi-row codes

Shcherbakov, V. I.

Computing finite models using free Boolean generators

Mijajlovic, Zarko, Pejovic, Aleksandar

Timing and Code Size Optimization on Achieving Full Parallelism in Uniform Nested Loops

Elloumi, Yaroub, Akil, Mohamed, Bedoui, Mohamed Hedi

TAPIR enables high-throughput estimation and comparison of phylogenetic informativeness using locus-specific substitution models

Faircloth, Brant C., Chang, Jonathan, Alfaro, Michael E.

Associative control processor with a rigid structure

Magomedov, Isa, Khazamov, Omar

A Reconfigurable Programmable Logic Block for a Multi-Style Asynchronous FPGA resistant to Side-Channel Attacks

Hoogvorst, Philippe, Guilley, Sylvain, Chaudhuri, Sumanta, Danger, Jean-Luc, Beyrouthy, Taha, Fesquet, Laurent

Resistive Computation: A Critique

Mahmoodi, H., Lakshmipuram, S.S., Arora, M., Asgarieh, Y., Homayoun, H., Lin, B., Tullsen, D.M.

A generalisation of Brickell's algorithm for fast modular multiplication

Gibson, J. K.

Whole grain cereals for the primary or secondary prevention of cardiovascular disease

Rees, Karen ^{#CD005051-aff-0001}, Rees, Karen, CD005051-cr-0003, Kelly, Sarah AM ¹, Hartley, Louise ², Loveman, Emma ³, Colquitt, Jill L ³, Jones, Helen M ⁴, Al-Khudairy, Lena ⁴, Clar, Christine ⁵, Germanò, Roberta ⁶, Lunn, Hannah R ⁴, Frost, Gary ⁷, Rees, Karen ⁸

Low glycaemic index diets for the prevention of cardiovascular disease

Rees, Karen ^{#CD004467-aff-0001}, Rees, Karen, CD004467-cr-0003, Clar, Christine ¹, Al-Khudairy, Lena ², Loveman, Emma ³, Kelly, Sarah AM ⁴, Hartley, Louise ⁵, Flowers, Nadine ², Germanò, Roberta ⁶, Frost, Gary ⁷, Rees, Karen ⁸