Sciweavers

    13397 search results - page 163 / 2680
    » From Static Distributed Systems to Dynamic Systems
    Sort
    View
    249
    Voted
    POPL
    2006
    ACM
    129views Programming Languages» more  POPL 2006»
    Modular set-based analysis from contracts
    16 years 3 months ago
    Modular set-based analysis from contracts
    Download  www.ccs.neu.edu
    In PLT Scheme, programs consist of modules with contracts. The latter describe the inputs and outputs of functions and objects via predicates. A run-time system enforces these pre...
    Philippe Meunier, Robert Bruce Findler, Matthias F...
    claim paper
    Read More »
    247
    Voted
    CASCON
    2010
    225views Education» more  CASCON 2010»
    Monitoring and Recovery of Web Service Applications
    15 years 4 days ago
    Monitoring and Recovery of Web Service Applications
    Download  www.cs.toronto.edu
    For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. However, web services are dis...
    Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik
    claim paper
    Read More »
    84
    Voted
    ISORC
    2008
    IEEE
    101views Distributed And Parallel Com...» more  ISORC 2008»
    C++ Dynamic Cast in Autonomous Space Systems
    15 years 9 months ago
    C++ Dynamic Cast in Autonomous Space Systems
    Download  www2.research.att.com
    Damian Dechev, Rabi N. Mahapatra, Bjarne Stroustru...
    claim paper
    Read More »
    ISORC
    2006
    IEEE
    84views Distributed And Parallel Com...» more  ISORC 2006»
    On Scheduling Garbage Collector in Dynamic Real-Time Systems With Statistical Timing Assurances
    15 years 9 months ago
    On Scheduling Garbage Collector in Dynamic Real-Time Systems With Statistical Timing Assurances
    Download  www.real-time.ece.vt.edu
    Hyeonjoong Cho, Chewoo Na, Binoy Ravindran, E. Dou...
    claim paper
    Read More »
    JSSPP
    2004
    Springer
    84views Distributed And Parallel Com...» more  JSSPP 2004»
    A Dynamic Co-allocation Service in Multicluster Systems
    15 years 8 months ago
    A Dynamic Co-allocation Service in Multicluster Systems
    Download  www.pds.ewi.tudelft.nl
    Jove M. P. Sinaga, Hashim H. Mohamed, Dick H. J. E...
    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.