Sciweavers

    1194 search results - page 225 / 239
    » A Calculus for Predicative Programming
    Sort
    View
    LISP
    2006
    105views more  LISP 2006»
    Call-by-push-value: Decomposing call-by-value and call-by-name
    13 years 9 months ago
    Call-by-push-value: Decomposing call-by-value and call-by-name
    Download  www.cs.bham.ac.uk
    We present the call-by-push-value (CBPV) calculus, which decomposes the typed call-by-value (CBV) and typed call-by-name (CBN) paradigms into fine-grain primitives. On the operatio...
    Paul Blain Levy
    claim paper
    Read More »
    IJHPCA
    2007
    116views more  IJHPCA 2007»
    Parallel Languages and Compilers: Perspective From the Titanium Experience
    13 years 9 months ago
    Parallel Languages and Compilers: Perspective From the Titanium Experience
    Download  www.cs.berkeley.edu
    We describe the rationale behind the design of key features of Titanium—an explicitly parallel dialect of JavaTM for high-performance scientific programming—and our experienc...
    Katherine A. Yelick, Paul N. Hilfinger, Susan L. G...
    claim paper
    Read More »
    LISP
    2007
    112views more  LISP 2007»
    Axioms for control operators in the CPS hierarchy
    13 years 9 months ago
    Axioms for control operators in the CPS hierarchy
    Download  logic.cs.tsukuba.ac.jp
    A CPS translation is a syntactic translation of programs, which is useful for describing their operational behavior. By iterating the standard callby-value CPS translation, Danvy a...
    Yukiyoshi Kameyama
    claim paper
    Read More »
    RAS
    2008
    150views more  RAS 2008»
    Logic-based robot control in highly dynamic domains
    13 years 9 months ago
    Logic-based robot control in highly dynamic domains
    Download  www-kbsg.informatik.rwth-aachen.de
    In this paper we present the robot programming and planning language Readylog, a Golog dialect which was developed to support the decision making of robots acting in dynamic real-...
    Alexander Ferrein, Gerhard Lakemeyer
    claim paper
    Read More »
    IGPL
    2010
    117views more  IGPL 2010»
    Executable specification of open multi-agent systems
    13 years 7 months ago
    Executable specification of open multi-agent systems
    Download  www.doc.ic.ac.uk
    Multi-agent systems where the agents are developed by parties with competing interests, and where there is no access to an agent's internal state, are often classified as `ope...
    Alexander Artikis, Marek J. Sergot
    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.