Sciweavers

    11214 search results - page 125 / 2243
    » Programming Multi-agent Systems
    Sort
    View
    SIGADA
    1998
    Springer
    73views Programming Languages» more  SIGADA 1998»
    Usage of Ada in the Gripen Flight Control System
    15 years 9 months ago
    Usage of Ada in the Gripen Flight Control System
    Download  www.sigada.org
    Bo Frisberg
    claim paper
    Read More »
    127
    Voted
    SIGADA
    1998
    Springer
    91views Programming Languages» more  SIGADA 1998»
    A Portable Implementation of the Distributed Systems Annex in Java
    15 years 9 months ago
    A Portable Implementation of the Distributed Systems Annex in Java
    Download  www.sigada.org
    Yoav Tzruya, Mordechai Ben-Ari
    claim paper
    Read More »
    153
    Voted
    TOOLS
    1997
    IEEE
    153views Programming Languages» more  TOOLS 1997»
    Using Design Patterns and Frameworks to Develop Object-Oriented Communication Systems
    15 years 9 months ago
    Using Design Patterns and Frameworks to Develop Object-Oriented Communication Systems
    Download  www.cs.wustl.edu
    Douglas C. Schmidt
    claim paper
    Read More »
    112
    Voted
    ICALP
    1997
    Springer
    67views Programming Languages» more  ICALP 1997»
    Some Bounds on the Computational Power of Piecewise Constant Derivative Systems (Extended Abstract)
    15 years 9 months ago
    Some Bounds on the Computational Power of Piecewise Constant Derivative Systems (Extended Abstract)
    Download  www.lix.polytechnique.fr
    Olivier Bournez
    claim paper
    Read More »
    116
    Voted
    PLDI
    2010
    ACM
    219views Programming Languages» more  PLDI 2010»
    Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System
    15 years 9 months ago
    Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System
    Download  people.csail.mit.edu
    Jean Yang, Chris Hawblitzel
    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.