Sciweavers

    8132 search results - page 220 / 1627
    » Dependability, Abstraction, and Programming
    Sort
    View
    SRDS
    2003
    IEEE
    98views Operating System» more  SRDS 2003»
    Distributed Programming for Dummies: A Shifting Transformation Technique
    15 years 12 months ago
    Distributed Programming for Dummies: A Shifting Transformation Technique
    Download  infoscience.epfl.ch
    The perfectly synchronized round model provides the abstraction of crash-stop failures with atomic message delivery. This abstraction makes distributed programming very easy. We p...
    Carole Delporte-Gallet, Hugues Fauconnier, Rachid ...
    claim paper
    Read More »
    PLDI
    2010
    ACM
    196views Programming Languages» more  PLDI 2010»
    Ur: Statically-Typed Metaprogramming with Type-Level Record Computation
    16 years 4 months ago
    Ur: Statically-Typed Metaprogramming with Type-Level Record Computation
    Download  adam.chlipala.net
    Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
    Adam Chlipala
    claim paper
    Read More »
    GG
    2010
    Springer
    150views Theoretical Computer Science» more  GG 2010»
    A Hoare Calculus for Graph Programs
    15 years 7 months ago
    A Hoare Calculus for Graph Programs
    Download  www-users.cs.york.ac.uk
    el of abstraction). Refereed Conference and Workshop Papers
    Christopher M. Poskitt, Detlef Plump
    claim paper
    Read More »
    COR
    2000
    93views more  COR 2000»
    An ellipsoid algorithm for equality-constrained nonlinear programs
    15 years 6 months ago
    An ellipsoid algorithm for equality-constrained nonlinear programs
    Download  www.rpi.edu
    Abstract
    Sharmila Shah, John E. Mitchell, Michael Kupfersch...
    claim paper
    Read More »
    ICTAI
    2010
    IEEE
    233views Artificial Intelligence» more  ICTAI 2010»
    Mode-Directed Tabling for Dynamic Programming, Machine Learning, and Constraint Solving
    15 years 3 months ago
    Mode-Directed Tabling for Dynamic Programming, Machine Learning, and Constraint Solving
    Download  www.sci.brooklyn.cuny.edu
    The abstract goes here.
    Neng-Fa Zhou, Yoshitaka Kameya, Taisuke Sato
    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.