Sciweavers

    396 search results - page 24 / 80
    » Functional Validation of System Level Static Scheduling
    Sort
    View
    HASKELL
    2006
    ACM
    116views Programming Languages» more  HASKELL 2006»
    Strong types for relational databases
    14 years 1 months ago
    Strong types for relational databases
    Download  homepages.cwi.nl
    Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
    Alexandra Silva, Joost Visser
    claim paper
    Read More »
    DATE
    2008
    IEEE
    199views Hardware» more  DATE 2008»
    Safe Automatic Flight Back and Landing of Aircraft Flight Reconfiguration Function (FRF)
    14 years 2 months ago
    Safe Automatic Flight Back and Landing of Aircraft Flight Reconfiguration Function (FRF)
    Download  www.date-conference.com
    SOFIA (Safe Automatic Flight Back and Landing of Aircraft) project is a response to the challenge of developing concepts and techniques enabling the safe and automatic return to g...
    Juan Alberto Herreria Garcia
    claim paper
    Read More »
    WSC
    2004
    143views Modeling And Simulation» more  WSC 2004»
    Hierarchical Production Planning Using a Hybrid System Dynamic - Discrete Event Simulation Architecture
    13 years 9 months ago
    Hierarchical Production Planning Using a Hybrid System Dynamic - Discrete Event Simulation Architecture
    Download  www.informs-sim.org
    Hierarchical production planning provides a formal bridge between long-term plans and short-term schedules. A hybrid simulation-based production planning architecture consisting o...
    Jayendran Venkateswaran, Young-Jun Son, Albert Jon...
    claim paper
    Read More »
    RTS
    2008
    119views more  RTS 2008»
    Symbolic quality control for multimedia applications
    13 years 7 months ago
    Symbolic quality control for multimedia applications
    Download  www-verimag.imag.fr
    We present a fine grain quality control method for multimedia applications. The method takes as input an application software composed of actions. The execution times of actions a...
    Jacques Combaz, Jean-Claude Fernandez, Joseph Sifa...
    claim paper
    Read More »
    BMCBI
    2010
    179views more  BMCBI 2010»
    A semi-supervised learning approach to predict synthetic genetic interactions by combining functional and topological properties
    13 years 7 months ago
    A semi-supervised learning approach to predict synthetic genetic interactions by combining functional and topological properties
    Download  www.biomedcentral.com
    Background: Genetic interaction profiles are highly informative and helpful for understanding the functional linkages between genes, and therefore have been extensively exploited ...
    Zhuhong You, Zheng Yin, Kyungsook Han, De-Shuang H...
    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.