Sciweavers

    13987 search results - page 2736 / 2798
    » The Two Guards Problem
    Sort
    View
    TC
    2008
    139views Information Technology» more  TC 2008»
    Exploiting In-Memory and On-Disk Redundancy to Conserve Energy in Storage Systems
    13 years 7 months ago
    Exploiting In-Memory and On-Disk Redundancy to Conserve Energy in Storage Systems
    Download  www.eecs.ucf.edu
    Abstract--Today's storage systems place an imperative demand on energy efficiency. A storage system often places single-rotationrate disks into standby mode by stopping them f...
    Jun Wang, Xiaoyu Yao, Huijun Zhu
    claim paper
    Read More »
    TCAD
    2008
    101views more  TCAD 2008»
    Using Field-Repairable Control Logic to Correct Design Errors in Microprocessors
    13 years 7 months ago
    Using Field-Repairable Control Logic to Correct Design Errors in Microprocessors
    Download  www.eecs.umich.edu
    Functional correctness is a vital attribute of any hardware design. Unfortunately, due to extremely complex architectures, widespread components, such as microprocessors, are often...
    Ilya Wagner, Valeria Bertacco, Todd M. Austin
    claim paper
    Read More »
    TCAD
    2008
    89views more  TCAD 2008»
    A New Multilevel Framework for Large-Scale Interconnect-Driven Floorplanning
    13 years 7 months ago
    A New Multilevel Framework for Large-Scale Interconnect-Driven Floorplanning
    Download  cc.ee.ntu.edu.tw
    We present in this paper a new interconnect-driven multilevel floorplanner, called interconnect-driven multilevelfloorplanning framework (IMF), to handle large-scale buildingmodule...
    Tung-Chieh Chen, Yao-Wen Chang, Shyh-Chang Lin
    claim paper
    Read More »
    TCAD
    2008
    90views more  TCAD 2008»
    Application and Verification of Local Nonsemantic-Preserving Transformations in System Design
    13 years 7 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 »
    ASE
    2005
    137views more  ASE 2005»
    Rewriting-Based Techniques for Runtime Verification
    13 years 7 months ago
    Rewriting-Based Techniques for Runtime Verification
    Download  www.havelund.com
    Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
    Grigore Rosu, Klaus Havelund
    claim paper
    Read More »
    « Prev « First page 2736 / 2798 Last » Next »
    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.