Sciweavers

    199 search results - page 14 / 40
    » Implementing Circularity Using Partial Evaluation
    Sort
    View
    ESCIENCE
    2006
    IEEE
    118views Distributed And Parallel Com...» more  ESCIENCE 2006»
    A Middleware Framework for Maximum Likelihood Evaluation over Dynamic Grids
    14 years 1 months ago
    A Middleware Framework for Maximum Likelihood Evaluation over Dynamic Grids
    Download  www.cs.rpi.edu
    We have designed a maximum likelihood fitter using the actor model to distribute the computation over a heterogeneous network. The prototype implementation uses the SALSA program...
    Wei-Jen Wang, Kaoutar El Maghraoui, John Cummings,...
    claim paper
    Read More »
    PEPM
    1995
    ACM
    112views Software Engineering» more  PEPM 1995»
    The Essence of LR Parsing
    13 years 11 months ago
    The Essence of LR Parsing
    Download  www-pu.informatik.uni-tuebingen.de
    Partial evaluation can turn a general parser into a parser generator. The generated parsers surpass those produced by traditional parser generators in speed and compactness. We us...
    Michael Sperber, Peter Thiemann
    claim paper
    Read More »
    ASPLOS
    2006
    ACM
    152views Programming Languages» more  ASPLOS 2006»
    Understanding prediction-based partial redundant threading for low-overhead, high- coverage fault tolerance
    14 years 1 months ago
    Understanding prediction-based partial redundant threading for low-overhead, high- coverage fault tolerance
    Download  www4.ncsu.edu
    Redundant threading architectures duplicate all instructions to detect and possibly recover from transient faults. Several lighter weight Partial Redundant Threading (PRT) archite...
    Vimal K. Reddy, Eric Rotenberg, Sailashri Parthasa...
    claim paper
    Read More »
    CAV
    2007
    Springer
    108views Hardware» more  CAV 2007»
    Parametric and Sliced Causality
    13 years 11 months ago
    Parametric and Sliced Causality
    Download  fsl.cs.uiuc.edu
    Abstract. Happen-before causal partial orders have been widely used in concurrent program verification and testing. This paper presents a parametric approach to happen-before causa...
    Feng Chen, Grigore Rosu
    claim paper
    Read More »
    FMOODS
    2007
    139views Formal Methods» more  FMOODS 2007»
    Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking
    13 years 8 months ago
    Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking
    Download  faculty.uoit.ca
    The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...
    L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Ding...
    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.