Sciweavers

7519 search results - page 21 / 1504
» Optimizing Generic Functions
Sort
View
133
Voted
DAC
2007
ACM
16 years 3 months ago
Optimization of Area in Digital FIR Filters using Gate-Level Metrics
In the paper, we propose a new metric for the minimization of area in the generic problem of multiple constant multiplications, and demonstrate its effectiveness for digital FIR f...
Eduardo A. C. da Costa, José C. Monteiro, L...
APAL
2006
56views more  APAL 2006»
15 years 2 months ago
Power function on stationary classes
We show that under certain large cardinal requirements there is a generic extension in which the power function behaves differently on different stationary classes. We achieve this...
Moti Gitik, Carmi Merimovich
118
Voted
ICFP
2006
ACM
16 years 2 months ago
Context-parametric polykinded types
Generic Haskell is a language extension of Haskell for polytypic programming. Constrained types are parametric algebraic types with at least one argument constrained by type-class...
Pablo Nogueira
126
Voted
OOPSLA
2004
Springer
15 years 7 months ago
Modular generics
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
Jeremy G. Siek
106
Voted
TISSEC
2010
115views more  TISSEC 2010»
14 years 9 months ago
A Simple and Generic Construction of Authenticated Encryption with Associated Data
We revisit the problem of constructing a protocol for performing authenticated encryption with associated data (AEAD). A technique is described which combines a collision resistant...
Palash Sarkar