Sciweavers

    PEPM
    1995
    ACM
    101views Software Engineering» more  PEPM 1995»
    Towards Creating Specialised Integrity Checks through Partial Evaluation of Meta-Interpreters
    15 years 8 months ago
    Towards Creating Specialised Integrity Checks through Partial Evaluation of Meta-Interpreters
    Download  www.stups.uni-duesseldorf.de
    In [23] we presented a partial evaluation scheme for a “real life” subset of Prolog, containing first-order built-in’s, simple side-effects and the operational predicate i...
    Michael Leuschel, Danny De Schreye
    claim paper
    Read More »
    PDP
    1995
    IEEE
    115views Distributed And Parallel Com...» more  PDP 1995»
    Iterated Runge-Kutta methods on distributed memory multiprocessors
    15 years 8 months ago
    Iterated Runge-Kutta methods on distributed memory multiprocessors
    Download  scidok.sulb.uni-saarland.de
    We investigate the parallel implementation of the diagonal{implicitly iterated Runge{ Kutta (DIIRK) method, an iteration method based on a predictor{corrector scheme. This method ...
    Thomas Rauber, Gudula Rünger
    claim paper
    Read More »
    PDP
    1995
    IEEE
    87views Distributed And Parallel Com...» more  PDP 1995»
    An improved data parallel algorithm for Boolean function manipulation using BDDs
    15 years 8 months ago
    An improved data parallel algorithm for Boolean function manipulation using BDDs
    Download  www.cad.polito.it
    Silvano Gai, Maurizio Rebaudengo, Matteo Sonza Reo...
    claim paper
    Read More »
    PDP
    1995
    IEEE
    73views Distributed And Parallel Com...» more  PDP 1995»
    Word parallelism vs spatial parallelism: a performance optimization technique on the PAPRICA system
    15 years 8 months ago
    Word parallelism vs spatial parallelism: a performance optimization technique on the PAPRICA system
    Download  www.ce.unipr.it
    Alberto Broggi
    claim paper
    Read More »
    PATAT
    1995
    Springer
    135views Education» more  PATAT 1995»
    The Complexity of Timetable Construction Problems
    15 years 8 months ago
    The Complexity of Timetable Construction Problems
    Download  www.it.usyd.edu.au
    Tim B. Cooper, Jeffrey H. Kingston
    claim paper
    Read More »
    « first‹ previous…292352923629237292382923929240292412924229243…next ›last »
    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.