Filter

Search
by Subject
  • Topic A - General Literature
  • Topic B - Hardware
  • Topic C - Computer Systems Organization
  • Topic D - Software
  • Topic E - Data
  • Topic F - Theory of Computation
  • Topic G - Mathematics of Computing
  • Topic H - Information Systems
  • Topic I - Computing Methodologies
  • Topic J - Computer Applications
  • Topic K - Computing Milieux
  • Topic L - Science and Technology of Learning
  • Topic M - Knowledge Management
by Publication Date (dd/mm/yyyy)
from
to
by Publication Type
by Funding Agency
Clear filters
Powered by

27 items matching your criteria

Sort by:
Filter By:
Subject: B.2 - ARITHMETIC AND LOGIC STRUCTURES
Clear All
Copy link
RSS Feed   RSS Feed filters articles only by Classification type, Date (from/to), Publication type
1 2 3
Select:   All   None
Download:
Citation
XML
PDF
Export format

Download
Research Article
Floating-Point Verification
John Harrison
10.3217/jucs-013-05-0629
 28-05-2007
 Unique: 332 | Total: 379  | Access Period:
 629-638
HTML
XML
PDF
Research Article
Formal MethodsGuest Editorial
Richard Banach
10.3217/jucs-013-05-0593
 28-05-2007
 Unique: 314 | Total: 355  | Access Period:
 593-601
HTML
XML
PDF
Research Article
Design and Implementation of the AMCC Self-Timed Microprocessor in FPGAs
Susana Ortega-Cisneros, Juan Raygoza-Panduro, Alberto de la Mora Gálvez
10.3217/jucs-013-03-0377
 28-03-2007
 Unique: 366 | Total: 443  | Access Period:
 377-387
HTML
XML
PDF
Research Article
The Use of Runtime Reconfiguration on FPGA Circuits to Increase the Performance of the AES Algorithm Implementation
Oscar Pérez, Yves Berviller, Camel Tanougast, Serge Weber
10.3217/jucs-013-03-0349
 28-03-2007
 Unique: 338 | Total: 392  | Access Period:
 349-362
HTML
XML
PDF
Research Article
Reversible Karatsuba's Algorithm
Luis Antonio Brasil Kowada, Renato Portugal, Celina Miraglia Herrera de Figueiredo
10.3217/jucs-012-05-0499
 28-05-2006
 Unique: 445 | Total: 558  | Access Period:
 499-511
HTML
XML
PDF
Research Article
Hardware Design and Functional Programming: a Perfect Match
Mary Sheeran
10.3217/jucs-011-07-1135
 28-07-2005
 Unique: 466 | Total: 534  | Access Period:
 1135-1158
HTML
XML
PDF
Research Article
Division of Floating Point Expansions with an Application to the Computation of a Determinant
Marc Daumas, Claire Finot
10.3217/jucs-005-06-0323
 28-06-1999
 Unique: 337 | Total: 374  | Access Period:
 323-338
HTML
XML
PDF
Research Article
A Note on Correctness Proofs for Overflow Detection Logic in Adders for d-th Complement Numbers
Bernd Rederlechner,     Jörg Keller
10.3217/jucs-003-10-1121
 28-10-1997
 Unique: 362 | Total: 413  | Access Period:
 1121-1125
HTML
XML
PDF
Research Article
Testing a High-Speed Data Path The Design of the RSAb Crypto Chip
Wolfgang Mayerwieser, Karl Posch, Reinhard Posch, Volker Schindler
10.3217/jucs-001-11-0728
 28-11-1995
 Unique: 361 | Total: 439  | Access Period:
 728-743
HTML
XML
PDF
Research Article
MSB-First Digit Serial Arithmetic
Asger Nielsen, Peter Kornerup
10.3217/jucs-001-07-0527
 28-07-1995
 Unique: 358 | Total: 422  | Access Period:
 527-547
HTML
XML
PDF
Research Article
Estimation of Round-off Errors on Several Computers Architectures
Jalil Asserrhine, Jean-Marie Chesneaux, Jean-Luc Lamotte
10.3217/jucs-001-07-0454
 28-07-1995
 Unique: 355 | Total: 400  | Access Period:
 454-468
HTML
XML
PDF
Research Article
A High Radix On-line Arithmetic for Credible and Accurate Computing
Thomas Lynch, Michael Schulte
10.3217/jucs-001-07-0439
 28-07-1995
 Unique: 379 | Total: 443  | Access Period:
 439-453
HTML
XML
PDF
1 2 3

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK