Sciweavers

    14298 search results - page 132 / 2860
    » Dynamic Languages and Applications
    Sort
    View
    ER
    2009
    Springer
    96views Database» more  ER 2009»
    Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations
    15 years 9 months ago
    Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations
    Download  www.inf.ufrgs.br
    Richard Dapoigny, Patrick Barlatier
    claim paper
    Read More »
    AGTIVE
    2007
    Springer
    225views Formal Methods» more  AGTIVE 2007»
    Applications and Rewriting of Omnigraphs - Exemplified in the Domain of MDD
    15 years 9 months ago
    Applications and Rewriting of Omnigraphs - Exemplified in the Domain of MDD
    Download  www.ipd.uka.de
    Oliver Denninger, Tom Gelhausen, Rubino Geiß
    claim paper
    Read More »
    ICALP
    2007
    Springer
    83views Programming Languages» more  ICALP 2007»
    Balanced Families of Perfect Hash Functions and Their Applications
    15 years 9 months ago
    Balanced Families of Perfect Hash Functions and Their Applications
    Download  www.cs.tau.ac.il
    Noga Alon, Shai Gutner
    claim paper
    Read More »
    93
    Voted
    ICLP
    2007
    Springer
    96views Automated Reasoning» more  ICLP 2007»
    Prosper: A Framework for Extending Prolog Applications with a Web Interface
    15 years 9 months ago
    Prosper: A Framework for Extending Prolog Applications with a Web Interface
    Download  prospear.sourceforge.net
    Levente Hunyadi
    claim paper
    Read More »
    IWOMP
    2007
    Springer
    78views Programming Languages» more  IWOMP 2007»
    Performance Evaluation of a Multi-zone Application in Different OpenMP Approaches
    15 years 9 months ago
    Performance Evaluation of a Multi-zone Application in Different OpenMP Approaches
    Download  www.nas.nasa.gov
    Haoqiang Jin, Barbara M. Chapman, Lei Huang
    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.