Sciweavers

    8 search results - page 1 / 2
    » rex 1991
    Sort
    View
    REX
    1991
    115views Logical Reasoning» more  REX 1991»
    An Old-Fashioned Recipe for Real Time
    13 years 8 months ago
    An Old-Fashioned Recipe for Real Time
    Download  research.microsoft.com
    Martín Abadi, Leslie Lamport
    claim paper
    Read More »
    REX
    1991
    107views Logical Reasoning» more  REX 1991»
    The State Operator in Real Time Process Algebra
    13 years 8 months ago
    The State Operator in Real Time Process Algebra
    Download  igitur-archive.library.uu.nl
    Jos C. M. Baeten, Jan A. Bergstra
    claim paper
    Read More »
    REX
    1991
    89views Logical Reasoning» more  REX 1991»
    Timed Transition Systems
    13 years 8 months ago
    Timed Transition Systems
    Download  www.comp.nus.edu.sg
    Thomas A. Henzinger, Zohar Manna, Amir Pnueli
    claim paper
    Read More »
    DAC
    1991
    ACM
    121views Computer Architecture» more  DAC 1991»
    REX - A VLSI Parasitic Extraction Tool for Electromigration and Signal Analysis
    13 years 8 months ago
    REX - A VLSI Parasitic Extraction Tool for Electromigration and Signal Analysis
    Download  opencircuitdesign.com
    REX is a program that extracts parasitic resistance and capacitance values for nodes in VLSI layouts. REX also performs network serial and parallel simplifications. Two types of n...
    Jerry P. Hwang
    claim paper
    Read More »
    REX
    1991
    89views Logical Reasoning» more  REX 1991»
    The Theory of Timed Automata
    13 years 8 months ago
    The Theory of Timed Automata
    Download  www.seas.upenn.edu
    Abstract. We consider an optimal-reachability problem for a timed automaton with respect to a linear cost function which results in a weighted timed automaton. Our solution to this...
    Rajeev Alur, David L. Dill
    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.