Sciweavers

10871 search results - page 60 / 2175
» A stable programming language
Sort
View
ECOOP
2001
Springer
15 years 8 months ago
What's in a Name?
Erik Ernst
127
Voted
ESOP
2001
Springer
15 years 8 months ago
On the Completeness of Model Checking
Francesco Ranzato
115
Voted
ICALP
2001
Springer
15 years 8 months ago
Parameterized Complexity: Exponential Speed-Up for Planar Graph Problems
Jochen Alber, Henning Fernau, Rolf Niedermeier
111
Voted
ICALP
2001
Springer
15 years 8 months ago
A PTAS for Minimizing Weighted Completion Time on Uniformly Related Machines
Chandra Chekuri, Sanjeev Khanna
109
Voted
ICALP
2001
Springer
15 years 8 months ago
Communication Gap for Finite Memory Devices
Tomasz Jurdzinski, Miroslaw Kutylowski