Sciweavers

    10585 search results - page 703 / 2117
    » The Orc Programming Language
    Sort
    View
    PLDI
    2010
    ACM
    166views Programming Languages» more  PLDI 2010»
    Schism: fragmentation-tolerant real-time garbage collection
    16 years 16 days ago
    Schism: fragmentation-tolerant real-time garbage collection
    Download  www.cs.purdue.edu
    Filip Pizlo, Lukasz Ziarek, Petr Maj, Antony L. Ho...
    claim paper
    Read More »
    UM
    2009
    Springer
    106views Programming Languages» more  UM 2009»
    Sensors Model Student Self Concept in the Classroom
    15 years 12 months ago
    Sensors Model Student Self Concept in the Classroom
    Download  www.cs.umass.edu
    David G. Cooper, Ivon Arroyo, Beverly Park Woolf, ...
    claim paper
    Read More »
    CSFW
    1997
    IEEE
    116views Security Privacy» more  CSFW 1997»
    Eliminating Covert Flows with Minimum Typings
    15 years 11 months ago
    Eliminating Covert Flows with Minimum Typings
    Download  reference.kfupm.edu.sa
    A type system is given that eliminates two kinds of covert flows in an imperative programming language. The first kind arises from nontermination and the other from partial oper...
    Dennis M. Volpano, Geoffrey Smith
    claim paper
    Read More »
    COMPASS
    1994
    86views Programming Languages» more  COMPASS 1994»
    Types, Subtypes, and ASL+
    15 years 11 months ago
    Types, Subtypes, and ASL+
    Download  eref.uqu.edu.sa
    ASL+ is a formalism for speci cation and programming in-the-large, based on an arbitrary institution. It has rules for proving the satisfaction and re nement of speci cations, whic...
    David Aspinall
    claim paper
    Read More »
    PARLE
    1992
    71views Distributed And Parallel Com...» more  PARLE 1992»
    Reliable Communication in VPL
    15 years 11 months ago
    Reliable Communication in VPL
    Download  reference.kfupm.edu.sa
    We compare di erent degrees of architecture abstraction and communication reliability in distributed programming languages. A nearly architecture independent logic programming lang...
    eva Kühn, Franz Puntigam
    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.