Sciweavers

    1768 search results - page 318 / 354
    » A Logic for Algebraic Effects
    Sort
    View
    ET
    2006
    98views more  ET 2006»
    Accurate Whole-Chip Diagnostic Strategy for Scan Designs with Multiple Faults
    14 years 9 months ago
    Accurate Whole-Chip Diagnostic Strategy for Scan Designs with Multiple Faults
    Download  larc.ee.nthu.edu.tw
    1 Fault diagnosis of full-scan designs has been progressed significantly. However, most existing techniques are aimed at a logic block with a single fault. Strategies on top of the...
    Yu-Chiun Lin, Shi-Yu Huang
    claim paper
    Read More »
    IJSNET
    2008
    94views more  IJSNET 2008»
    Connection data rate optimisation of IEEE 802.15.3 scatternets with multirate carriers
    14 years 9 months ago
    Connection data rate optimisation of IEEE 802.15.3 scatternets with multirate carriers
    Download  www.ece.ubc.ca
    : Designed for high rate Wireless Personal Area Networks (WPANs), the IEEE 802.15.3 Medium Access Control (MAC) protocol supports peer-to-peer communications in a piconet. In this ...
    Zhanping Yin, Victor C. M. Leung
    claim paper
    Read More »
    IJWIS
    2008
    107views more  IJWIS 2008»
    Adaptive ontology re-use: finding and re-using sub-ontologies
    14 years 9 months ago
    Adaptive ontology re-use: finding and re-using sub-ontologies
    Download  www.dit.unitn.it
    Purpose The discovery of the "right" ontology or ontology part is a central ingredient for effective ontology re-use. We present an approach for supporting a form of ada...
    Rodolfo Stecher, Claudia Niederée, Wolfgang...
    claim paper
    Read More »
    IJFCS
    2006
    119views more  IJFCS 2006»
    Enforcing Concurrent Temporal Behaviors
    14 years 9 months ago
    Enforcing Concurrent Temporal Behaviors
    Download  www.runtime-verification.org
    The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
    Doron Peled, Hongyang Qu
    claim paper
    Read More »
    JFP
    2008
    135views more  JFP 2008»
    Hoare type theory, polymorphism and separation
    14 years 9 months ago
    Hoare type theory, polymorphism and separation
    Download  ynot.cs.harvard.edu
    We consider the problem of reconciling a dependently typed functional language with imperative features such as mutable higher-order state, pointer aliasing, and non-termination. ...
    Aleksandar Nanevski, J. Gregory Morrisett, Lars Bi...
    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-2025, USA.