2585 search results - page 173 / 517 » computing 1999 |
113
Voted
CORR
1999
Springer
15 years 3 months ago
1999
Springer
: This paper computationally obtains optimal bounded-weight, binary, error-correcting codes for a variety of distance bounds and dimensions. We compare the sizes of our codes to th...
101
Voted
CSUR
1999
15 years 3 months ago
1999
Algorithm Engineering is concerned with the design, analysis, implementation, tuning, debugging and experimental evaluation of computer programs for solving algorithmic problems. ...
104
Voted
COLING
1999
15 years 3 months ago
1999
languages into a general system for describing parsers. Eachparser performs abstract computations using theoperations ofasemiring. Thesystem allows asingle, simple representation t...
116
Voted
ARITH
1999
IEEE
15 years 8 months ago
1999
IEEE
This note presents necessary and sufficient conditions for parallel and constant time conversions from one digit-set into another, and thus also for constant time addition. In the...
112
Voted
CONCUR
1999
Springer
15 years 8 months ago
1999
Springer
This paper discusses the use of formal methods in testing of concurrent systems. It is argued that formal methods and testing can be mutually profitable and useful. A framework fo...