Sciweavers

    10622 search results - page 58 / 2125
    » Python Programming Language
    Sort
    View
    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 »
    124
    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 »
    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 »
    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 »
    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 »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.