Search Sciweavers | Sciweavers

29908 search results - page 621 / 5982

» On the Complexity of

193

click to vote

SAS
1991
Springer

92views Formal Methods» more SAS 1991»

Polymorphic Time Systems for Estimating Program Complexity

15 years 11 months ago

Download www.psrg.lcs.mit.edu

We present a new approach to static program analysis that permits each expression in a program to be assigned an execution time estimate. Our approach uses a time system in conjun...

Vincent Dornic, Pierre Jouvelot, David K. Gifford

claim paper

Read More »

207

Voted

SIGMOD
1991
ACM

120views Database» more SIGMOD 1991»

Algebraic Support for Complex Objects with Arrays, Identity, and Inheritance

15 years 11 months ago

Download www.cs.wisc.edu

Scott L. Vandenberg, David J. DeWitt

claim paper

Read More »

116

click to vote

CSL
1987
Springer

79views Automated Reasoning» more CSL 1987»

Complexity Cores and Hard-To-Prove Formulas

15 years 11 months ago

Download www.uni-ulm.de

Uwe Schöning

claim paper

Read More »

152

click to vote

ICDCS
1989
IEEE

90views Distributed And Parallel Com...» more ICDCS 1989»

Message Complexity of Simple Ring-based Election Algorithms: An Empirical Analysis

15 years 11 months ago

Download www.vs.inf.ethz.ch

Friedemann Mattern

claim paper

Read More »

144

click to vote

MFCS
1989
Springer

46views Theoretical Computer Science» more MFCS 1989»

Switching Graphs and Their Complexity

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers