Sciweavers

    15885 search results - page 746 / 3177
    » Strategic Software Engineering
    Sort
    View
    FSTTCS
    2004
    Springer
    84views Software Engineering» more  FSTTCS 2004»
    On the Complexity of Hilbert's 17th Problem
    16 years 26 days ago
    On the Complexity of Hilbert's 17th Problem
    Download  research.microsoft.com
    Nikhil R. Devanur, Richard J. Lipton, Nisheeth K. ...
    claim paper
    Read More »
    142
    Voted
    FSTTCS
    2004
    Springer
    82views Software Engineering» more  FSTTCS 2004»
    Expand, Enlarge, and Check: New Algorithms for the Coverability Problem of WSTS
    16 years 26 days ago
    Expand, Enlarge, and Check: New Algorithms for the Coverability Problem of WSTS
    Download  www.ulb.ac.be
    Gilles Geeraerts, Jean-François Raskin, Lau...
    claim paper
    Read More »
    ISORC
    2003
    IEEE
    100views Distributed And Parallel Com...» more  ISORC 2003»
    Choir: A Real-Time Middleware Architecture Supporting Benefit-Based Proactive Resource Allocation
    16 years 22 days ago
    Choir: A Real-Time Middleware Architecture Supporting Benefit-Based Proactive Resource Allocation
    Download  www.real-time.ece.vt.edu
    Peng Li, Binoy Ravindran, Jinggang Wang, Glenn Kon...
    claim paper
    Read More »
    METRICS
    2003
    IEEE
    110views Software Engineering» more  METRICS 2003»
    Queue-Based Cost Evaluation of Mental Simulation Process in Program Comprehension
    16 years 22 days ago
    Queue-Based Cost Evaluation of Mental Simulation Process in Program Comprehension
    Download  se.aist-nara.ac.jp
    Masahide Nakamura, Akito Monden, Tomoaki Itoh, Ken...
    claim paper
    Read More »
    EMSOFT
    2003
    Springer
    101views Software Engineering» more  EMSOFT 2003»
    Translating Discrete-Time Simulink to Lustre
    16 years 21 days ago
    Translating Discrete-Time Simulink to Lustre
    Download  www-verimag.imag.fr
    Paul Caspi, Adrian Curic, Aude Maignan, Christos S...
    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.