Sciweavers

10622 search results - page 58 / 2125

» Python Programming Language

130

ESOP
2001
Springer

90views Programming Languages» more ESOP 2001»

On the Completeness of Model Checking

15 years 8 months ago

On the Completeness of Model Checking

Download www.math.unipd.it

Francesco Ranzato

claim paper

Read More »

121

Voted

ICALP
2001
Springer

86views Programming Languages» more ICALP 2001»

Parameterized Complexity: Exponential Speed-Up for Planar Graph Problems

15 years 8 months ago

Parameterized Complexity: Exponential Speed-Up for Planar Graph Problems

Download theinf1.informatik.uni-jena.de

Jochen Alber, Henning Fernau, Rolf Niedermeier

claim paper

Read More »

116

Voted

ICALP
2001
Springer

116views Programming Languages» more ICALP 2001»

A PTAS for Minimizing Weighted Completion Time on Uniformly Related Machines

15 years 8 months ago

A PTAS for Minimizing Weighted Completion Time on Uniformly Related Machines

Download www.cs.ust.hk

Chandra Chekuri, Sanjeev Khanna

claim paper

Read More »

113

Voted

ICALP
2001
Springer

141views Programming Languages» more ICALP 2001»

Communication Gap for Finite Memory Devices

15 years 8 months ago

Communication Gap for Finite Memory Devices

Download www.im.pwr.wroc.pl

Tomasz Jurdzinski, Miroslaw Kutylowski

claim paper

Read More »

112

Voted

ICALP
2001
Springer

102views Programming Languages» more ICALP 2001»

Distributed Controller Synthesis for Local Specifications

15 years 8 months ago

Distributed Controller Synthesis for Local Specifications

Download www.comp.nus.edu.sg

P. Madhusudan, P. S. Thiagarajan

claim paper

Read More »

« Prev « First page 58 / 2125 Last » Next »