Sciweavers

    SIGADA
    1998
    Springer
    80views Programming Languages» more  SIGADA 1998»
    Ada experience report for BlazeNet, Inc.
    13 years 9 months ago
    Ada experience report for BlazeNet, Inc.
    Download  www.sigada.org
    J. Michael Kamrad II
    claim paper
    Read More »
    SIGADA
    1998
    Springer
    112views Programming Languages» more  SIGADA 1998»
    Object-Oriented and Concurrent Program Design Issues in Ada 95
    13 years 9 months ago
    Object-Oriented and Concurrent Program Design Issues in Ada 95
    Download  www.sigada.org
    Stephen H. Kaisler, Michael B. Feldman
    claim paper
    Read More »
    SIGADA
    1998
    Springer
    109views Programming Languages» more  SIGADA 1998»
    Hardware/Software Co-Design: VHDL and Ada 95 Code Migration and Integrated Analysis
    13 years 9 months ago
    Hardware/Software Co-Design: VHDL and Ada 95 Code Migration and Integrated Analysis
    Download  www.sigada.org
    Mike Mills, Greg Peterson
    claim paper
    Read More »
    SIGADA
    1998
    Springer
    90views Programming Languages» more  SIGADA 1998»
    Looking into Safety with the Safety and Security Rapporteur Group
    13 years 9 months ago
    Looking into Safety with the Safety and Security Rapporteur Group
    Download  www.sigada.org
    The requirements of High Integrity safety-critical, secure and mission-critical Software force developers to use specialised development techniques. Often the choice of computer l...
    Stephen Michell, Mark Saaltink, Brian A. Wichmann
    claim paper
    Read More »
    SIGADA
    1998
    Springer
    98views Programming Languages» more  SIGADA 1998»
    The Rendezvous is Dead - Long Live the Protected Object
    13 years 9 months ago
    The Rendezvous is Dead - Long Live the Protected Object
    Download  www.sigada.org
    This paper outlines the short-comings of rendezvous and the advantages of protected objects as a means of synchronization in Ada 95. A common Ada benchmark suite, ACES, gives the ...
    Dragan Macos, Frank Mueller
    claim paper
    Read More »
    SIGADA
    1998
    Springer
    82views Programming Languages» more  SIGADA 1998»
    Use of Ada in Digital Radar Landmass Simulation (DRLMS)
    13 years 9 months ago
    Use of Ada in Digital Radar Landmass Simulation (DRLMS)
    Download  www.sigada.org
    Jim Hopper, Jennifer De Bilbiss, Harry Heaton, Tom...
    claim paper
    Read More »
    SIGADA
    1998
    Springer
    67views Programming Languages» more  SIGADA 1998»
    Testing Generic Ada Packages with APE
    13 years 9 months ago
    Testing Generic Ada Packages with APE
    Download  www.sigada.org
    Despite substantial research on methods and tools for testing reusable modules, little help is available for the tester in the eld. Commercial tools for system testing are widely ...
    Daniel Hoffman, Jayakrishnan Nair, Paul A. Stroope...
    claim paper
    Read More »
    SIGADA
    1998
    Springer
    75views Programming Languages» more  SIGADA 1998»
    Visual Support for Incremental Abstraction and Refinement in Ada 95
    13 years 9 months ago
    Visual Support for Incremental Abstraction and Refinement in Ada 95
    Download  www.sigada.org
    T. Dean Hendrix, James H. Cross II, Larry A. Barow...
    claim paper
    Read More »
    SIGADA
    1998
    Springer
    65views Programming Languages» more  SIGADA 1998»
    Transforming Ada Serving Tasks into Protected Objects
    13 years 9 months ago
    Transforming Ada Serving Tasks into Protected Objects
    Download  www.sigada.org
    Bangqing Li, Baowen Xu, Huiming Yu
    claim paper
    Read More »
    SIGADA
    1998
    Springer
    92views Programming Languages» more  SIGADA 1998»
    Ada in Embedded Boards for Scientific and Medical Instruments
    13 years 9 months ago
    Ada in Embedded Boards for Scientific and Medical Instruments
    Download  www.newportinstruments.com
    Robert C. Leif, Suzanne B. Leif
    claim paper
    Read More »
    « first‹ previous1234next ›last »
    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.