Sciweavers

    21324 search results - page 180 / 4265
    » Making the case for computing
    Sort
    View
    HPCC
    2007
    Springer
    142views Distributed And Parallel Com...» more  HPCC 2007»
    Online Algorithms for Single Machine Schedulers to Support Advance Reservations from Grid Jobs
    16 years 18 days ago
    Online Algorithms for Single Machine Schedulers to Support Advance Reservations from Grid Jobs
    Download  www2.cs.uh.edu
    Advance Reservations(AR) make it possible to guarantee the QoS of Grid applications by reserving a particular resource capability over a defined time interval on local resources. H...
    Bo Li, Dongfeng Zhao
    claim paper
    Read More »
    CCE
    2004
    162views Software Engineering» more  CCE 2004»
    An algorithmic framework for improving heuristic solutions: Part II. A new version of the stochastic traveling salesman problem
    15 years 6 months ago
    An algorithmic framework for improving heuristic solutions: Part II. A new version of the stochastic traveling salesman problem
    Download  www.che.gatech.edu
    The algorithmic framework developed for improving heuristic solutions of the new version of deterministic TSP [Choi et al., 2002] is extended to the stochastic case. To verify the...
    Jaein Choi, Jay H. Lee, Matthew J. Realff
    claim paper
    Read More »
    DAC
    2007
    ACM
    85views Computer Architecture» more  DAC 2007»
    The Case for the Precision Timed (PRET) Machine
    16 years 7 months ago
    The Case for the Precision Timed (PRET) Machine
    Download  www1.cs.columbia.edu
    Stephen A. Edwards, Edward A. Lee
    claim paper
    Read More »
    ICPADS
    2005
    IEEE
    113views Distributed And Parallel Com...» more  ICPADS 2005»
    What are Cycle-Stealing Systems Good For? A Detailed Performance Model Case Study
    16 years 1 days ago
    What are Cycle-Stealing Systems Good For? A Detailed Performance Model Case Study
    Download  eprints.qut.edu.au
    Wayne Kelly, Jiro Sumitomo
    claim paper
    Read More »
    ICTCS
    2003
    Springer
    71views Theoretical Computer Science» more  ICTCS 2003»
    Compositional Verification of Secure Streamed Data: A Case Study with EMSS
    15 years 11 months ago
    Compositional Verification of Secure Streamed Data: A Case Study with EMSS
    Download  wwwold.iit.cnr.it
    Fabio Martinelli, Marinella Petrocchi, Anna Vaccar...
    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.