Sciweavers

99

Voted

AAECC
1991
Springer

90views Algorithms» more AAECC 1991»

Polynomial-Time Construction of Spherical Codes

15 years 8 months ago

Polynomial-Time Construction of Spherical Codes

Download iml.univ-mrs.fr

Gilles Lachaud, Jacques Stern

claim paper

Read More »

103

AAECC
1991
Springer

96views Algorithms» more AAECC 1991»

On Wiedemann's Method of Solving Sparse Linear Systems

15 years 8 months ago

On Wiedemann's Method of Solving Sparse Linear Systems

Download www4.ncsu.edu

Erich Kaltofen, B. David Saunders

claim paper

Read More »

127

AAECC
1991
Springer

109views Algorithms» more AAECC 1991»

Computing Roadmaps of General Semi-Algebraic Sets

15 years 8 months ago

Computing Roadmaps of General Semi-Algebraic Sets

Download www.cs.berkeley.edu

John F. Canny

claim paper

Read More »

87

AAECC
1991
Springer

104views Algorithms» more AAECC 1991»

Algebraic Constructions of Efficient Broadcast Networks

15 years 8 months ago

Algebraic Constructions of Efficient Broadcast Networks

Download www.cs.auckland.ac.nz

Michael J. Dinneen, Michael R. Fellows, Vance Fabe...

claim paper

Read More »

98

ZUM
1995
Springer

91views Formal Methods» more ZUM 1995»

Testing as Abstraction

15 years 8 months ago

Testing as Abstraction

Download www-users.cs.york.ac.uk

as Abstraction Susan Stepney Logica UK Ltd 1 The PROST-Objects project has developed a method for specifying tests. The method is based on systematic abstraction from a `state-plus...

Susan Stepney

claim paper

Read More »