Sciweavers

36 search results - page 3 / 8
» tcs 1998
Sort
View
67
Voted
TCS
1998
14 years 9 months ago
Non-Commutative Arithmetic Circuits: Depth Reduction and Size Lower Bounds
Eric Allender, Jia Jiao, Meena Mahajan, V. Vinay
56
Voted
TCS
1998
14 years 9 months ago
Near-Optimal, Distributed Edge Colouring via the Nibble Method
Devdatt P. Dubhashi, David A. Grable, Alessandro P...
49
Voted
TCS
1998
14 years 9 months ago
k-Arbiter: A Safe and General Scheme for h-out of-k Mutual Exclusion
Yoshifumi Manabe, Roberto Baldoni, Michel Raynal, ...
56
Voted
TCS
1998
14 years 9 months ago
Parameterized Circuit Complexity and the W Hierarchy
Rodney G. Downey, Michael R. Fellows, Kenneth W. R...
TCS
1998
14 years 9 months ago
Decidability of Bisimulation Equivalence for Normed Pushdown Processes
We prove that bisimulation equivalence is decidable for normed pushdown processes.
Colin Stirling