Search Sciweavers | Sciweavers

4315 search results - page 81 / 863

» Sorting in linear time

click to vote

LATIN
1995
Springer

135views Information Technology» more LATIN 1995»

Linear-Time Algorithms for Parametric Minimum Spanning Tree Problems on Planar Graphs

13 years 11 months ago

Download archives.cs.iastate.edu

A linear-time algorithm for the minimum-ratio spanning tree problem on planar graphs is presented. The algorithm is based on a new planar minimum spanning tree algorithm. The appr...

David Fernández-Baca, Giora Slutzki

claim paper

Read More »

click to vote

ATVA
2008
Springer

88views Hardware» more ATVA 2008»

Practical Efficient Modular Linear-Time Model-Checking

13 years 9 months ago

Download se.ethz.ch

Carlo A. Furia, Paola Spoletini

claim paper

Read More »

click to vote

CIE
2008
Springer

73views Applied Computing» more CIE 2008»

Linear, Polynomial or Exponential? Complexity Inference in Polynomial Time

13 years 9 months ago

Download www2.mta.ac.il

Amir M. Ben-Amram, Neil D. Jones, Lars Kristiansen

claim paper

Read More »

click to vote

CAV
2008
Springer

170views Hardware» more CAV 2008»

Local Proofs for Linear-Time Properties of Concurrent Programs

13 years 9 months ago

Download ect.bell-labs.com

Abstract. This paper develops a local reasoning method to check lineartime temporal properties of concurrent programs. In practice, it is often infeasible to model check over the p...

Ariel Cohen 0002, Kedar S. Namjoshi

claim paper

Read More »

click to vote

COLT
2008
Springer

135views Machine Learning» more COLT 2008»

Density Estimation in Linear Time

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers