Sciweavers

    15840 search results - page 331 / 3168
    » The Control of Synchronous Systems
    Sort
    View
    TCAD
    2008
    90views more  TCAD 2008»
    Application and Verification of Local Nonsemantic-Preserving Transformations in System Design
    15 years 4 months ago
    Application and Verification of Local Nonsemantic-Preserving Transformations in System Design
    Download  web.it.kth.se
    Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
    Tarvo Raudvere, Ingo Sander, Axel Jantsch
    claim paper
    Read More »
    FDL
    2004
    IEEE
    175views Natural Language Processing» more  FDL 2004»
    A Functional Programming Framework of Heterogeneous Model of Computation for System Design
    15 years 8 months ago
    A Functional Programming Framework of Heterogeneous Model of Computation for System Design
    Download  www.fermat.ece.vt.edu
    System-on-Chip (SOC) and other complex distributed hardware/software systems contain heterogeneous components such as DSPs, micro-controllers, application specific logic etc., whi...
    Deepak Mathaikutty, Hiren D. Patel, Sandeep K. Shu...
    claim paper
    Read More »
    MOBILWARE
    2009
    ACM
    103views Operating System» more  MOBILWARE 2009»
    A Quality of Context-Aware Approach to Access Control in Pervasive Environments
    15 years 11 months ago
    A Quality of Context-Aware Approach to Access Control in Pervasive Environments
    Download  www.mobilware.org
    Alessandra Toninelli, Antonio Corradi, Rebecca Mon...
    claim paper
    Read More »
    RTCSA
    2000
    IEEE
    162views Embedded Systems» more  RTCSA 2000»
    Control tasks delay reduction under static and dynamic scheduling policies
    15 years 8 months ago
    Control tasks delay reduction under static and dynamic scheduling policies
    Download  www.arl.wustl.edu
    Patricia Balbastre, Ismael Ripoll, Alfons Crespo
    claim paper
    Read More »
    LISA
    2001
    87views Operating System» more  LISA 2001»
    Beyond File Permissions: Controlling User Actions
    15 years 5 months ago
    Beyond File Permissions: Controlling User Actions
    Download  www.usenix.org
    Æleen Frisch
    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.