Search Sciweavers | Sciweavers

17920 search results - page 302 / 3584

» Recentering computer science

119

click to vote

TCS
1998

62views Theoretical Computer Science» more TCS 1998»

The Quotient of an Abstract Interpretation

15 years 6 months ago

Download www.dsi.unive.it

Agostino Cortesi, Gilberto Filé, William H....

claim paper

Read More »

131

click to vote

TCS
1998

80views Theoretical Computer Science» more TCS 1998»

Parameterized Circuit Complexity and the W Hierarchy

15 years 6 months ago

Download www.cse.buffalo.edu

Rodney G. Downey, Michael R. Fellows, Kenneth W. R...

claim paper

Read More »

137

click to vote

TCS
1998

78views Theoretical Computer Science» more TCS 1998»

Near-Optimal, Distributed Edge Colouring via the Nibble Method

15 years 6 months ago

Download www.brics.dk

Devdatt P. Dubhashi, David A. Grable, Alessandro P...

claim paper

Read More »

121

click to vote

TCS
1998

76views Theoretical Computer Science» more TCS 1998»

k-Arbiter: A Safe and General Scheme for h-out of-k Mutual Exclusion

15 years 6 months ago

Download hal.archives-ouvertes.fr

Yoshifumi Manabe, Roberto Baldoni, Michel Raynal, ...

claim paper

Read More »

134

click to vote

CAD
2010
Springer

119views Theoretical Computer Science» more CAD 2010»

Detecting design intent in approximate CAD models using symmetry

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers