Sciweavers

    601 search results - page 73 / 121
    » Simulation vs. Equivalence
    Sort
    View
    ISLPED
    1997
    ACM
    104views Hardware» more  ISLPED 1997»
    Composite sequence compaction for finite-state machines using block entropy and high-order Markov models
    14 years 22 days ago
    Composite sequence compaction for finite-state machines using block entropy and high-order Markov models
    Download  www.cs.york.ac.uk
    - The objective of this paper is to provide an effective technique for accurate modeling of the external input sequences that affect the behavior of Finite State Machines (FSMs). B...
    Radu Marculescu, Diana Marculescu, Massoud Pedram
    claim paper
    Read More »
    CSFW
    2008
    IEEE
    184views Security Privacy» more  CSFW 2008»
    Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus
    13 years 11 months ago
    Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus
    Download  www.infsec.cs.uni-saarland.de
    We present a general technique for modeling remote electronic voting protocols in the applied pi-calculus and for automatically verifying their security. In the first part of this...
    Michael Backes, Catalin Hritcu, Matteo Maffei
    claim paper
    Read More »
    ESA
    2008
    Springer
    129views Algorithms» more  ESA 2008»
    More Robust Hashing: Cuckoo Hashing with a Stash
    13 years 11 months ago
    More Robust Hashing: Cuckoo Hashing with a Stash
    Download  www.eecs.harvard.edu
    Cuckoo hashing holds great potential as a high-performance hashing scheme for real applications. Up to this point, the greatest drawback of cuckoo hashing appears to be that there...
    Adam Kirsch, Michael Mitzenmacher, Udi Wieder
    claim paper
    Read More »
    CIIT
    2007
    133views Communications» more  CIIT 2007»
    Linear-tree rule structure for firewall optimization
    13 years 10 months ago
    Linear-tree rule structure for firewall optimization
    Download  www-or.amp.i.kyoto-u.ac.jp
    Given a list of filtering rules with individual hitting probabilities, it is known that the average processing time of a linear-search based firewall can be minimized by searchi...
    Liang Zhao, A. Shimae, Hiroshi Nagamochi
    claim paper
    Read More »
    ICONIP
    2007
    126views Information Technology» more  ICONIP 2007»
    Analog CMOS Circuits Implementing Neural Segmentation Model Based on Symmetric STDP Learning
    13 years 10 months ago
    Analog CMOS Circuits Implementing Neural Segmentation Model Based on Symmetric STDP Learning
    Download  lalsie.ist.hokudai.ac.jp
    We proposed a neural segmentation model that is suitable for implementation in analog VLSIs using conventional CMOS technology. The model consists of neural oscillators mutually co...
    Gessyca Maria Tovar, Eric Shun Fukuda, Tetsuya Asa...
    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.