Sciweavers

    1031 search results - page 123 / 207
    » On the Formal Development of Safety-Critical Software
    Sort
    View
    COMPSAC
    2008
    IEEE
    83views Software Engineering» more  COMPSAC 2008»
    Specifying Behavioural Features of Design Patterns in First Order Logic
    13 years 9 months ago
    Specifying Behavioural Features of Design Patterns in First Order Logic
    Download  cms.brookes.ac.uk
    The formal specification of design patterns is widely recognised as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
    Ian Bayley, Hong Zhu
    claim paper
    Read More »
    ISTA
    2003
    122views Information Technology» more  ISTA 2003»
    Tools for Generation of Natural Inflected Language Processors
    13 years 9 months ago
    Tools for Generation of Natural Inflected Language Processors
    Download  subs.emis.de
    Supporting multiple languages and natural language processing are of high importance in information systems. This paper discusses software tools for the generation of languages pro...
    Nadiya Mishchenko, Anatoly E. Doroshenko
    claim paper
    Read More »
    EURODAC
    1995
    IEEE
    131views VHDL» more  EURODAC 1995»
    System level design, a VHDL based approach
    13 years 11 months ago
    System level design, a VHDL based approach
    Download  www.cecs.uci.edu
    A hierarchical system design flow was developed to facilitate concurrent development and Time-to-Market reductions. The system design flow provides for codesign of (embedded) driv...
    Joris van den Hurk, Edwin Dilling
    claim paper
    Read More »
    PARLE
    1987
    140views Distributed And Parallel Com...» more  PARLE 1987»
    Emulating Digital Logic using Transputer Networks (very High Parallelism = Simplicity = Performance)
    13 years 11 months ago
    Emulating Digital Logic using Transputer Networks (very High Parallelism = Simplicity = Performance)
    Download  www.cs.kent.ac.uk
    Modern VLSI technology has changed the economic rules by which the balance between processing power, memory and communications is decided in computing systems. This will have a pr...
    Peter H. Welch
    claim paper
    Read More »
    WSC
    1996
    124views Modeling And Simulation» more  WSC 1996»
    Simulation for computer science majors: a preliminary report
    13 years 9 months ago
    Simulation for computer science majors: a preliminary report
    Download  drum.lib.umd.edu
    The author is revising and restructuring an existing simulation course designed primarily for senior computer science majors by: 1) developing an integrated set of laboratory exer...
    Ruth Silverman
    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.