Sciweavers

    4835 search results - page 856 / 967
    » Refactoring Functional Programs
    Sort
    View
    AAMAS
    1999
    Springer
    143views Intelligent Agents» more  AAMAS 1999»
    Verifying Compliance with Commitment Protocols
    13 years 8 months ago
    Verifying Compliance with Commitment Protocols
    Download  www.csc.ncsu.edu
    Interaction protocols are specific, often standard, constraints on the behaviors of autonomous agents in a multiagent system. Protocols are essential to the functioning of open sys...
    Mahadevan Venkatraman, Munindar P. Singh
    claim paper
    Read More »
    ANSOFT
    1999
    74views more  ANSOFT 1999»
    On Coping with Real-Time Software Dynamic Inconsistency by Built-in Tests
    13 years 8 months ago
    On Coping with Real-Time Software Dynamic Inconsistency by Built-in Tests
    Download  www2.enel.ucalgary.ca
    In real-time systems, dynamic inconsistencies of software are hardly detected, diagnosed and handled. A built-in test (BIT) method is developed to cope with software dynamic incon...
    Yingxu Wang, Graham King, Dilip Patel, Shushma Pat...
    claim paper
    Read More »
    AUTOMATICA
    1999
    145views more  AUTOMATICA 1999»
    Control of systems integrating logic, dynamics, and constraints
    13 years 8 months ago
    Control of systems integrating logic, dynamics, and constraints
    Download  www.seas.upenn.edu
    This paper proposes a framework for modeling and controlling systems described by interdependent physical laws, logic rules, and operating constraints, denoted as mixed logical dy...
    Alberto Bemporad, Manfred Morari
    claim paper
    Read More »
    JCB
    2002
    111views more  JCB 2002»
    A General Edit Distance between RNA Structures
    13 years 8 months ago
    A General Edit Distance between RNA Structures
    Download  www.techfak.uni-bielefeld.de
    Arc-annotated sequences are useful in representing the structural information of RNA sequences. In general, RNA secondary and tertiary structures can be represented as a set of ne...
    Tao Jiang, Guohui Lin, Bin Ma, Kaizhong Zhang
    claim paper
    Read More »
    JCSC
    2002
    87views more  JCSC 2002»
    Power Estimator Development for Embedded System Memory Tuning
    13 years 8 months ago
    Power Estimator Development for Embedded System Memory Tuning
    Download  www.cs.ucr.edu
    Memory accesses account for a large percentage of total power in microprocessor-based embedded systems. The increasing use of microprocessor cores and synthesis, rather than prefa...
    Frank Vahid, Tony Givargis, Susan Cotterell
    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.