Sciweavers

    10072 search results - page 359 / 2015
    » Composition of Model Programs
    Sort
    View
    INFORMS
    2006
    89views more  INFORMS 2006»
    Integer Linear Programming Models for Global Routing
    15 years 6 months ago
    Integer Linear Programming Models for Global Routing
    Download  orion.math.uwaterloo.ca
    Laleh Behjat, Anthony Vannelli, William Rosehart
    claim paper
    Read More »
    114
    Voted
    JACIII
    2006
    60views more  JACIII 2006»
    Design of Nondeterministic Program Termination Based on the Equivalent Transformation Computation Model
    15 years 6 months ago
    Design of Nondeterministic Program Termination Based on the Equivalent Transformation Computation Model
    Download  www.fujipress.jp
    Itaru Takarajima, Kiyoshi Akama, Ikumi Imani, Hiro...
    claim paper
    Read More »
    PCS
    2008
    45views more  PCS 2008»
    Modeling, specification, and verification of automaton programs
    15 years 6 months ago
    Modeling, specification, and verification of automaton programs
    Download  is.ifmo.ru
    E. V. Kuzmin, Valery A. Sokolov
    claim paper
    Read More »
    IOR
    2007
    88views more  IOR 2007»
    Sensitivity Analysis of a Dynamic Fleet Management Model Using Approximate Dynamic Programming
    15 years 6 months ago
    Sensitivity Analysis of a Dynamic Fleet Management Model Using Approximate Dynamic Programming
    Download  www.castlelab.princeton.edu
    Huseyin Topaloglu, Warren B. Powell
    claim paper
    Read More »
    TOSEM
    2008
    91views more  TOSEM 2008»
    Combining symbolic execution with model checking to verify parallel numerical programs
    15 years 6 months ago
    Combining symbolic execution with model checking to verify parallel numerical programs
    Download  laser.cs.umass.edu
    Stephen F. Siegel, Anastasia Mironova, George S. A...
    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.