Search Sciweavers | Sciweavers

36 search results - page 3 / 8

» tcs 1998

108

click to vote

TCS
1998

79views Theoretical Computer Science» more TCS 1998»

Non-Commutative Arithmetic Circuits: Depth Reduction and Size Lower Bounds

15 years 2 months ago

Download www.cs.rutgers.edu

Eric Allender, Jia Jiao, Meena Mahajan, V. Vinay

claim paper

Read More »

click to vote

TCS
1998

78views Theoretical Computer Science» more TCS 1998»

Near-Optimal, Distributed Edge Colouring via the Nibble Method

15 years 2 months ago

Download www.brics.dk

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

claim paper

Read More »

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 2 months ago

Download hal.archives-ouvertes.fr

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

claim paper

Read More »

Voted

TCS
1998

80views Theoretical Computer Science» more TCS 1998»

Parameterized Circuit Complexity and the W Hierarchy

15 years 2 months ago

Download www.cse.buffalo.edu

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

claim paper

Read More »

108

click to vote

TCS
1998

106views Theoretical Computer Science» more TCS 1998»

Decidability of Bisimulation Equivalence for Normed Pushdown Processes

15 years 2 months ago

Download www.lfcs.inf.ed.ac.uk

We prove that bisimulation equivalence is decidable for normed pushdown processes.

Colin Stirling

claim paper

Read More »

« Prev « First page 3 / 8 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers