IMA
1995
Springer
15 years 8 months ago
1995
Springer
117
Voted
IMA
1995
Springer
15 years 8 months ago
1995
Springer
An algorithm for finding small-weight words in large linear codes is developed and a precise analysis of its complexity is given. It is in particular able to decode random [512,256...
IMA
1995
Springer
15 years 8 months ago
1995
Springer
123
click to vote
POPL
1997
ACM
15 years 8 months ago
1997
ACM
Defining the collecting semantics is usually the first crucial step in adapting the general methodology of abstract interpretation to the semantic framework or programming languag...