12289 search results - page 468 / 2458 » computing 2006 |
144
Voted
ENTCS
2006
15 years 6 months ago
2006
In this paper we investigate how formal software verification systems can be improved by utilising parallel assignment in weakest precondition computations.
DCC
2006
IEEE
16 years 6 months ago
2006
IEEE
Abstract. An (n, k)q-MDS code C over an alphabet A (of size q) is a collection of qk n-tuples over A such that no two words of C agree in as many as
99
Voted
DCC
2006
IEEE
16 years 6 months ago
2006
IEEE
We determine all linear codes C containing the constant code E, for which there is a weight-preserving group of semilinear automorphisms which acts transitively on the set of nont...
130
Voted
DCC
2006
IEEE
16 years 6 months ago
2006
IEEE
In this note we characterize thick finite generalized quadrangles constructed from a generalized hyperoval as those admitting an abelian Singer group, i.e., an abelian group actin...