Search Sciweavers | Sciweavers

11016 search results - page 428 / 2204

» Cloud Computing for Science

158

Voted

TCS
1998

106views Theoretical Computer Science» more TCS 1998»

Decidability of Bisimulation Equivalence for Normed Pushdown Processes

15 years 6 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 »

123

Voted

TCS
2010

125views Theoretical Computer Science» more TCS 2010»

Comparing First-Fit and Next-Fit for online edge coloring

15 years 5 months ago

Download www.imada.sdu.dk

Martin R. Ehmsen, Lene M. Favrholdt, Jens S. Kohrt...

claim paper

Read More »

135

Voted

TCS
2010

110views Theoretical Computer Science» more TCS 2010»

A class of hierarchical graphs as topologies for interconnection networks

15 years 5 months ago

Download www.dur.ac.uk

Pao-Lien Lai, Hong-Chun Hsu, Chang-Hsiung Tsai, Ia...

claim paper

Read More »

128

Voted

TCS
2010

142views Theoretical Computer Science» more TCS 2010»

Deadline scheduling and power management for speed bounded processors

15 years 5 months ago

Download www.csc.liv.ac.uk

Xin Han, Tak Wah Lam, Lap-Kei Lee, Isaac Kar-Keung...

claim paper

Read More »

131

click to vote

WG
2010
Springer

118views Theoretical Computer Science» more WG 2010»

Measuring Indifference: Unit Interval Vertex Deletion

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers