1626 search results - page 96 / 326 » Subtyping with Power Types |
155
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
Device optimization considering supply voltage Vdd and threshold voltage Vt tuning does not increase chip area but has a great impact on power and performance in the nanometer tec...
209
click to vote
ACISP
2006
Springer
16 years 8 days ago
2006
Springer
In this paper we are interested in algebraic immunity of several well known highly-nonlinear vectorial Boolean functions (or Sboxes), designed for block and stream ciphers. Unfortu...
279
click to vote
SIGMOD
2009
ACM
16 years 6 months ago
2009
ACM
Keyword search in relational databases (RDBs) has been extensively studied recently. A keyword search (or a keyword query) in RDBs is specified by a set of keywords to explore the...
190
click to vote
SETA
2004
Springer
15 years 11 months ago
2004
Springer
We enumerate the inequivalent self-dual additive codes over GF(4) of blocklength n, thereby extending the sequence A090899 in The On-Line Encyclopedia of Integer Sequences from n =...
142
click to vote
DESRIST
2009
Springer
15 years 11 months ago
2009
Springer
In information system development, end-users often participate in design and in many cases learn to design their own system. Design, however, requires a distinct approach that use...