Sciweavers

    7456 search results - page 386 / 1492
    » Parallelism in Logic Programming
    Sort
    View
    ECAI
    2004
    Springer
    93views Artificial Intelligence» more  ECAI 2004»
    From Knowledge-Based Programs to Graded Belief-Based Programs Part I: On-Line Reasoning
    16 years 4 days ago
    From Knowledge-Based Programs to Graded Belief-Based Programs Part I: On-Line Reasoning
    Download  www.irit.fr
    Knowledge-based programs (KBPs) are a powerful notion for expressing action policies in which branching conditions refer to implicit knowledge and call for a deliberation task at e...
    Noël Laverny, Jérôme Lang
    claim paper
    Read More »
    CCGRID
    2009
    IEEE
    142views Distributed And Parallel Com...» more  CCGRID 2009»
    Programming Abstractions for Data Intensive Computing on Clouds and Grids
    16 years 1 months ago
    Programming Abstractions for Data Intensive Computing on Clouds and Grids
    Download  www.cct.lsu.edu
    Chris Miceli, Michael Miceli, Shantenu Jha, Hartmu...
    claim paper
    Read More »
    ECOOPW
    2007
    Springer
    62views Distributed And Parallel Com...» more  ECOOPW 2007»
    Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems
    16 years 27 days ago
    Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems
    Download  iv.tu-berlin.de
    Olivier Zendra, Eric Jul, Roland Ducournau, Etienn...
    claim paper
    Read More »
    IEEEPACT
    2006
    IEEE
    101views Distributed And Parallel Com...» more  IEEEPACT 2006»
    Performance prediction based on inherent program similarity
    16 years 23 days ago
    Performance prediction based on inherent program similarity
    Download  www.cs.virginia.edu
    Kenneth Hoste, Aashish Phansalkar, Lieven Eeckhout...
    claim paper
    Read More »
    PLDI
    2011
    ACM
    224views Programming Languages» more  PLDI 2011»
    Evaluating value-graph translation validation for LLVM
    14 years 9 months ago
    Evaluating value-graph translation validation for LLVM
    Download  people.seas.harvard.edu
    Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...
    Jean-Baptiste Tristan, Paul Govereau, Greg Morrise...
    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.