1579 search results - page 202 / 316 » On the Constructions of Constant-Weight Codes |
252
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
Type-preserving compilation can improve software reliability by generating code that can be verified independently of the compiler. Practical type-preserving compilation does not ...
274
click to vote
POPL
2003
ACM
16 years 6 months ago
2003
ACM
We present the design of a typed assembly language called TALT that supports heterogeneous tuples, disjoint sums, and a general account of addressing modes. TALT also implements t...
172
click to vote
CADE
2003
Springer
16 years 6 months ago
2003
Springer
We describe the integration of permutation group algorithms with proof planning. We consider eight basic questions arising in computational permutation group theory, for which our ...
183
click to vote
DCC
2005
IEEE
16 years 6 months ago
2005
IEEE
A recent publication introduced a Visual Crypto (VC) system, based on the polarisation of light. This VC system has good resolution, contrast and colour properties. Mathematically,...
166
click to vote
SODA
2010
ACM
16 years 3 months ago
2010
ACM
This paper analyzes the complexity of problems from class field theory. Class field theory can be used to show the existence of infinite families of number fields with constant ro...