Search Sciweavers | Sciweavers

4013 search results - page 133 / 803

» computer 2002

113

click to vote

COMBINATORICS
2002

102views more COMBINATORICS 2002»

Computation in Coxeter Groups-I. Multiplication

15 years 3 months ago

Download www.emis.de

An efficient and purely combinatorial algorithm for calculating products in arbitrary Coxeter groups is presented, which combines ideas of Fokko du Cloux and myself. Proofs are lar...

Bill Casselman

claim paper

Read More »

153

Voted

SP
2002
IEEE

161views Security Privacy» more SP 2002»

Improving Computer Security Using Extended Static Checking

15 years 3 months ago

Download www.vantuyl.com

We describe a method for finding security flaws in source code by way of static analysis. The method is notable because it allows a user to specify a wide range of security proper...

Brian Chess

claim paper

Read More »

130

Voted

TJS
2002

101views more TJS 2002»

Compilation for Adaptive Computing Systems Using Complex Parameterized Hardware Objects

15 years 3 months ago

Download www.eis.cs.tu-bs.de

FLAME, the Flexible API for Module-based Environments, is a proposed standard interface for the integration of parameterized hardware generators into high-level design tools. This ...

Andreas Koch

claim paper

Read More »

115

Voted

VLSID
2002
IEEE

82views VLSI» more VLSID 2002»

Improved Algorithms for Constructive Multi-Phase Test Point Insertion for Scan Based BIST

16 years 4 months ago