Sciweavers

11739 search results - page 163 / 2348
» Slideshow: functional presentations
Sort
View
HASKELL
2005
ACM
15 years 10 months ago
TypeCase: a design pattern for type-indexed functions
A type-indexed function is a function that is defined for each member of some family of types. Haskell’s type class mechanism provides collections of open type-indexed function...
Bruno C. D. S. Oliveira, Jeremy Gibbons
DATE
1998
IEEE
100views Hardware» more  DATE 1998»
15 years 8 months ago
Combinational Verification based on High-Level Functional Specifications
We present a new combinational verification technique where the functional specification of a circuit under verification is utilized to simplify the verification task. The main id...
Evguenii I. Goldberg, Yuji Kukimoto, Robert K. Bra...
SAC
1996
ACM
15 years 8 months ago
An enabling optimization for C++ virtual functions
Gaining the code re-use advantages of object oriented programming requires dynamic function binding, which allows a new subclass to override a function of a superclass. Dynamic bi...
Bradley M. Kuhn, David Binkley
CRYPTO
2008
Springer
163views Cryptology» more  CRYPTO 2008»
15 years 6 months ago
Cryptanalysis of the GOST Hash Function
In this article, we analyze the security of the GOST hash function. The GOST hash function, defined in the Russian standard GOST 34.11-94, is an iterated hash function producing a ...
Florian Mendel, Norbert Pramstaller, Christian Rec...
IAJIT
2010
174views more  IAJIT 2010»
15 years 3 months ago
Brightness preserving image contrast enhancement using weighted mixture of global and local transformation functions
: Transformation functions utilizing the global information content of an input image have been long serving contrast enhancement by stretching the dynamic range of intensity level...
Md. Hasanul Kabir, Mohammad Abdullah-Al-Wadud, Oks...