Sciweavers

    TC
    1998
    94views Information Technology» more  TC 1998»
    Analysis of Checkpointing Schemes with Task Duplication
    13 years 8 months ago
    Analysis of Checkpointing Schemes with Task Duplication
    Download  authors.library.caltech.edu
    —This paper suggests a technique for analyzing the performance of checkpointing schemes with task duplication. We show how this technique can be used to derive the average execut...
    Avi Ziv, Jehoshua Bruck
    claim paper
    Read More »
    TC
    1998
    88views Information Technology» more  TC 1998»
    Using Decision Diagrams to Design ULMs for FPGAs
    13 years 8 months ago
    Using Decision Diagrams to Design ULMs for FPGAs
    Download  www.iml.ece.mcgill.ca
    —Many modern Field Programmable Logic Arrays (FPGAs) use lookup table (LUT) logic blocks which can be programmed to realize any function of a fixed number of inputs. It is possib...
    Zeljko Zilic, Zvonko G. Vranesic
    claim paper
    Read More »
    TC
    1998
    73views Information Technology» more  TC 1998»
    Solving Boolean Equations Using ROSOP Forms
    13 years 8 months ago
    Solving Boolean Equations Using ROSOP Forms
    Download  etdncku.lib.ncku.edu.tw
    Yuke Wang, Carl McCrosky
    claim paper
    Read More »
    TC
    1998
    100views Information Technology» more  TC 1998»
    The InfoPad Multimedia Terminal: A Portable Device for Wireless Information Access
    13 years 8 months ago
    The InfoPad Multimedia Terminal: A Portable Device for Wireless Information Access
    Download  www.cs.colorado.edu
    —The architecture of a device that is optimized for wireless information access and display of multimedia data is substantially different than configurations designed for portabl...
    Thomas E. Truman, Trevor Pering, Roger Doering, Ro...
    claim paper
    Read More »
    TC
    1998
    91views Information Technology» more  TC 1998»
    Optimizing the Instruction Cache Performance of the Operating System
    13 years 8 months ago
    Optimizing the Instruction Cache Performance of the Operating System
    Download  iacoma.cs.uiuc.edu
    —High instruction cache hit rates are key to high performance. One known technique to improve the hit rate of caches is to minimize cache interference by improving the layout of ...
    Josep Torrellas, Chun Xia, Russell L. Daigle
    claim paper
    Read More »
    TC
    1998
    85views Information Technology» more  TC 1998»
    Resilient Authentication Using Path Independence
    13 years 8 months ago
    Resilient Authentication Using Path Independence
    Download  www.ece.cmu.edu
    —Authentication using a path of trusted intermediaries, each able to authenticate the next in the path, is a well-known technique for authenticating channels in a large distribut...
    Michael K. Reiter, Stuart G. Stubblebine
    claim paper
    Read More »
    TC
    1998
    108views Information Technology» more  TC 1998»
    Design Verification of the S3.mp Cache-Coherent Shared-Memory System
    13 years 8 months ago
    Design Verification of the S3.mp Cache-Coherent Shared-Memory System
    Download  www.ri.cmu.edu
    —This paper describes the methods used to formulate and validate the memory subsystem of the cache-coherent Sun Scalable emory MultiProcessor (S3.mp) at three levels of abstracti...
    Fong Pong, Michael C. Browne, Gunes Aybay, Andreas...
    claim paper
    Read More »
    TC
    1998
    93views Information Technology» more  TC 1998»
    Comments on Duprat and Muller's Branching CORDIC Paper
    13 years 8 months ago
    Comments on Duprat and Muller's Branching CORDIC Paper
    Download  www.cs.umbc.edu
    In [1], Duprat and Muller introduced the ingenious “Branching CORDIC” algorithm. It enables a fast implementation of CORDIC algorithm using signed digits and requires a consta...
    Dhananjay S. Phatak
    claim paper
    Read More »
    TC
    1998
    88views Information Technology» more  TC 1998»
    Exact Minimization of Binary Decision Diagrams Using Implicit Techniques
    13 years 8 months ago
    Exact Minimization of Binary Decision Diagrams Using Implicit Techniques
    Download  www.cs.columbia.edu
    Arlindo L. Oliveira, Luca P. Carloni, Tiziano Vill...
    claim paper
    Read More »
    TC
    1998
    158views Information Technology» more  TC 1998»
    Abstraction Techniques for Validation Coverage Analysis and Test Generation
    13 years 8 months ago
    Abstraction Techniques for Validation Coverage Analysis and Test Generation
    Download  cadal.cse.nsysu.edu.tw
    ion Techniques for Validation Coverage Analysis and Test Generation Dinos Moundanos, Jacob A. Abraham, Fellow, IEEE, and Yatin V. Hoskote —The enormous state spaces which must be...
    Dinos Moundanos, Jacob A. Abraham, Yatin Vasant Ho...
    claim paper
    Read More »
    1234next ›last »
    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.