Sciweavers

    368 search results - page 37 / 74
    » b 1998
    Sort
    View
    DAC
    1998
    ACM
    137views Computer Architecture» more  DAC 1998»
    Combining Theorem Proving and Trajectory Evaluation in an Industrial Environment
    14 years 8 months ago
    Combining Theorem Proving and Trajectory Evaluation in an Industrial Environment
    Download  verify.stanford.edu
    We describe the verification of the IM: a large, complex (12,000 gates and 1100 latches) circuit that detects and marks the boundaries between Intel architecture (IA-32) instructi...
    Mark Aagaard, Robert B. Jones, Carl-Johan H. Seger
    claim paper
    Read More »
    DAC
    1998
    ACM
    112views Computer Architecture» more  DAC 1998»
    Robust IP Watermarking Methodologies for Physical Design
    14 years 8 months ago
    Robust IP Watermarking Methodologies for Physical Design
    Download  vlsicad.ucsd.edu
    Increasingly popular reuse-based design paradigms create a pressing need for authorship enforcement techniques that protect the intellectual property rights of designers. We devel...
    Andrew B. Kahng, Stefanus Mantik, Igor L. Markov, ...
    claim paper
    Read More »
    ICGI
    1998
    Springer
    83views Natural Language Processing» more  ICGI 1998»
    A Stochastic Search Approach to Grammar Induction
    13 years 12 months ago
    A Stochastic Search Approach to Grammar Induction
    Download  www.demo.cs.brandeis.edu
    This paper describes a new sampling-based heuristic for tree search named SAGE and presents an analysis of its performance on the problem of grammar induction. This last work has b...
    Hugues Juillé, Jordan B. Pollack
    claim paper
    Read More »
    NIPS
    1998
    88views Information Technology» more  NIPS 1998»
    Scheduling Straight-Line Code Using Reinforcement Learning and Rollouts
    13 years 9 months ago
    Scheduling Straight-Line Code Using Reinforcement Learning and Rollouts
    Download  www.cs.ou.edu
    The execution order of a block of computer instructions can make a difference in its running time by a factor of two or more. In order to achieve the best possible speed, compiler...
    Amy McGovern, J. Eliot B. Moss
    claim paper
    Read More »
    CJ
    1998
    63views more  CJ 1998»
    Protecting IT Systems from Cyber Crime
    13 years 7 months ago
    Protecting IT Systems from Cyber Crime
    Download  www.cs.ncl.ac.uk
    Large-scale commercial, industrial and financial operations are becoming ever more interdependent, and ever more dependent on IT. At the same time, the rapidly growing interconnec...
    R. Benjamin, B. Gladman, Brian Randell
    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.