Sciweavers

826 search results - page 49 / 166
» Designing for families
Sort
View
ISMVL
2007
IEEE
91views Hardware» more  ISMVL 2007»
15 years 4 months ago
Non-deterministic Multi-valued Matrices for First-Order Logics of Formal Inconsistency
Paraconsistent logic is the study of contradictory yet non-trivial theories. One of the best-known approaches to designing useful paraconsistent logics is da Costa’s approach, w...
Arnon Avron, Anna Zamansky
ARC
2010
Springer
177views Hardware» more  ARC 2010»
15 years 4 months ago
An FPGA-Based Real-Time Event Sampler
This paper presents the design and FPGA-implementation of a sampler that is suited for sampling real-time events in embedded systems. Such sampling is useful, for example, to test ...
Niels Penneman, Luc Perneel, Martin Timmerman, Bjo...
MOC
2002
101views more  MOC 2002»
14 years 9 months ago
Proving the deterministic period breaking of linear congruential generators using two tile quasicrystals
We describe the design of a family of aperiodic PRNGs (APRNGs). We show how a one-dimensional two tile cut and project quasicrystal (2TQC) used in conjunction with LCGs in an APRNG...
Louis-Sebastien Guimond, Jiri Patera
CRYPTO
1999
Springer
159views Cryptology» more  CRYPTO 1999»
15 years 2 months ago
UMAC: Fast and Secure Message Authentication
We describe a message authentication algorithm, UMAC, which can authenticate messages (in software, on contemporary machines) roughly an order of magnitude faster than current prac...
John Black, Shai Halevi, Hugo Krawczyk, Ted Krovet...
ICIP
2003
IEEE
15 years 11 months ago
Filter banks for multiple description coding
In this paper we review some of our recent results on the design of critically sampled and oversampled filter banks for multiple description coding. For the case of critically sam...
Pier Luigi Dragotti