Sciweavers

    3239 search results - page 253 / 648
    » A Logical Process Calculus
    Sort
    View
    117
    Voted
    DATE
    2008
    IEEE
    126views Hardware» more  DATE 2008»
    Design Guidelines for Metallic-Carbon-Nanotube-Tolerant Digital Logic Circuits
    15 years 11 months ago
    Design Guidelines for Metallic-Carbon-Nanotube-Tolerant Digital Logic Circuits
    Download  www.date-conference.com
    Metallic Carbon Nanotubes (CNTs) create source-drain shorts in Carbon Nanotube Field Effect Transistors (CNFETs), causing excessive leakage, degraded noise margin and delay variat...
    Jie Zhang, Nishant Patil, Subhasish Mitra
    claim paper
    Read More »
    137
    Voted
    FDL
    2008
    IEEE
    141views Natural Language Processing» more  FDL 2008»
    VHDL-AMS Implementation of a Numerical Ballistic CNT Model for Logic Circuit Simulation
    15 years 11 months ago
    VHDL-AMS Implementation of a Numerical Ballistic CNT Model for Logic Circuit Simulation
    Download  eprints.ecs.soton.ac.uk
    —This paper introduces a novel numerical carbon nanotube transistor (CNT) modelling approach which brings in a flexible and efficient cubic spline non-linear approximation of t...
    Dafeng Zhou, Tom J. Kazmierski, Bashir M. Al-Hashi...
    claim paper
    Read More »
    125
    Voted
    FPGA
    1995
    ACM
    116views FPGA» more  FPGA 1995»
    Logic Partition Orderings for Multi-FPGA Systems
    15 years 8 months ago
    Logic Partition Orderings for Multi-FPGA Systems
    Download  www.ee.washington.edu
    One of the critical issues for multi-FPGA systems is developing software tools for automatically mapping circuits. In this paper we consider one step in this process, partitioning...
    Scott Hauck, Gaetano Borriello
    claim paper
    Read More »
    ISICT
    2003
    165views Information Technology» more  ISICT 2003»
    On the automated implementation of modal logics used to verify security protocols
    15 years 6 months ago
    On the automated implementation of modal logics used to verify security protocols
    Download  www.ece.ul.ie
    : Formal verification provides a rigid and thorough means of evaluating the correctness of cryptographic protocols so that even subtle defects can be identified. As the application...
    Tom Coffey, Reiner Dojen, Tomas Flanagan
    claim paper
    Read More »
    204
    Voted
    ACL
    1990
    146views Computational Linguistics» more  ACL 1990»
    Automated Inversion of Logic Grammars for Generation
    15 years 6 months ago
    Automated Inversion of Logic Grammars for Generation
    Download  www.mt-archive.info
    We describe a system of reversible grammar in which, given a logic-grammar specification of a natural language, two efficient PROLOGprograms are derived by an off-line compilation...
    Tomek Strzalkowski, Ping Peng
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.