Sciweavers

    244 search results - page 12 / 49
    » Contracts for first-class classes
    Sort
    View
    AUTOMATICA
    2008
    167views more  AUTOMATICA 2008»
    Stability and robustness analysis of nonlinear systems via contraction metrics and SOS programming
    13 years 8 months ago
    Stability and robustness analysis of nonlinear systems via contraction metrics and SOS programming
    Download  web.mit.edu
    A wide variety of stability and performance questions about linear dynamical systems can be reformulated as convex optimization problems involving linear matrix inequalities (LMIs...
    Erin M. Aylward, Pablo A. Parrilo, Jean-Jacques E....
    claim paper
    Read More »
    UAI
    2001
    143views Artificial Intelligence» more  UAI 2001»
    A Clustering Approach to Solving Large Stochastic Matching Problems
    13 years 9 months ago
    A Clustering Approach to Solving Large Stochastic Matching Problems
    Download  www.cs.brown.edu
    In this work we focus on efficient heuristics for solving a class of stochastic planning problems that arise in a variety of business, investment, and industrial applications. The...
    Milos Hauskrecht, Eli Upfal
    claim paper
    Read More »
    IJCAI
    2003
    85views Artificial Intelligence» more  IJCAI 2003»
    Contract Algorithms and Robots on Rays: Unifying Two Scheduling Problems
    13 years 9 months ago
    Contract Algorithms and Robots on Rays: Unifying Two Scheduling Problems
    Download  anytime.cs.umass.edu
    We study two apparently different, but formally similar, scheduling problems. The first problem involves contract algorithms, which can trade off run time for solution quality, a...
    Daniel S. Bernstein, Lev Finkelstein, Shlomo Zilbe...
    claim paper
    Read More »
    IASTEDSEA
    2004
    104views Software Engineering» more  IASTEDSEA 2004»
    Insecurity by contract
    13 years 9 months ago
    Insecurity by contract
    Download  users.csc.calpoly.edu
    Design by Contract is a design methodology that promotes software reliability and reusability by requiring each component module to have a well-specified interface and leaves a mo...
    Phillip L. Nico, Clark Savage Turner, Kimberly Kno...
    claim paper
    Read More »
    LMO
    1996
    122views Programming Languages» more  LMO 1996»
    Using Metaobjects to Model Concurrent Objects with PICT
    13 years 9 months ago
    Using Metaobjects to Model Concurrent Objects with PICT
    Download  scg.unibe.ch
    We seek to support the development of open, distributed applications from patible software abstractions. In order to rigorously specify these abstractions, we are elaborating a for...
    Markus Lumpe, Jean-Guy Schneider, Oscar Nierstrasz
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.