2799 search results - page 177 / 560 » computing 1998 |
117
click to vote
CONCUR
1998
Springer
15 years 7 months ago
1998
Springer
The classical theory of deterministic automata is presented in terms of the notions of homomorphism and bisimulation, which are the cornerstones of the theory of universal coalgebr...
106
click to vote
DCC
1998
IEEE
15 years 2 months ago
1998
IEEE
A group code defined over a group G is a subset of Gn which forms a group under componentwise group operation. The well known matrix characterization of MDS (Maximum Distance Sepa...
111
Voted
CGI
1998
IEEE
15 years 7 months ago
1998
IEEE
In this article we improve the butterfly and Loop's algorithm. As a result we obtain subdivision algorithms for triangular nets which can be used to generate G1- and G2surfac...
125
click to vote
ASM
1998
ASM
15 years 7 months ago
1998
ASM
This paper is devoted to the speci cation of the Stanford FLASHcache coherence protocol within the ASM formalism. Correctness proofs related to data consistency are presented. Corn...
113
click to vote
RANDOM
1998
Springer
15 years 7 months ago
1998
Springer
Suppose we sequentially throw m balls into n bins. It is a natural question to ask for the maximum number of balls in any bin. In this paper we shall derive sharp upper and lower b...