Sciweavers

    8109 search results - page 143 / 1622
    » A Model of Component-Based Programming
    Sort
    View
    JACIII
    2006
    60views more  JACIII 2006»
    Design of Nondeterministic Program Termination Based on the Equivalent Transformation Computation Model
    15 years 4 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 4 months ago
    Modeling, specification, and verification of automaton programs
    Download  is.ifmo.ru
    E. V. Kuzmin, Valery A. Sokolov
    claim paper
    Read More »
    113
    Voted
    IOR
    2007
    88views more  IOR 2007»
    Sensitivity Analysis of a Dynamic Fleet Management Model Using Approximate Dynamic Programming
    15 years 4 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 »
    109
    Voted
    TOSEM
    2008
    91views more  TOSEM 2008»
    Combining symbolic execution with model checking to verify parallel numerical programs
    15 years 4 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 »
    AIM
    2004
    73views Software Engineering» more  AIM 2004»
    Model-Based Programming of Fault-Aware Systems
    15 years 4 months ago
    Model-Based Programming of Fault-Aware Systems
    Download  www.cmpe.boun.edu.tr
    Brian C. Williams, Michel D. Ingham, Seung Chung, ...
    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.