Sciweavers

    35 search results - page 2 / 7
    » mj 2006
    Sort
    View
    MJ
    2006
    102views more  MJ 2006»
    Hybrid verification integrating HOL theorem proving with MDG model checking
    13 years 5 months ago
    Hybrid verification integrating HOL theorem proving with MDG model checking
    Download  hvg.ece.concordia.ca
    In this paper, we describe a hybrid tool for hardware formal verification that links the HOL (higher-order logic) theorem prover and (multiway decision graphs) model checker. Our ...
    Rabeb Mizouni, Sofiène Tahar, Paul Curzon
    claim paper
    Read More »
    MJ
    2006
    88views more  MJ 2006»
    Compensation and doping effects in heavily helium-radiated silicon for power device applications
    13 years 5 months ago
    Compensation and doping effects in heavily helium-radiated silicon for power device applications
    Download  www.broeselsworld.de
    The formation of defects modifying the effective doping concentration of helium-radiated pC
    Ralf Siemieniec, Hans-Joachim Schulze, F.-J. Niede...
    claim paper
    Read More »
    MJ
    2006
    173views more  MJ 2006»
    Diaphragm design guidelines and an optical pressure sensor based on MEMS technique
    13 years 5 months ago
    Diaphragm design guidelines and an optical pressure sensor based on MEMS technique
    Download  web.njit.edu
    The design guidelines for micro diaphragm-type pressure sensors have been established by characterization of the relationships among diaphragm thickness, side length, sensitivity,...
    Xiaodong Wang, Baoqing Li, Onofrio L. Russo, Harry...
    claim paper
    Read More »
    MJ
    2007
    95views more  MJ 2007»
    A chalcogenide-based device with potential for multi-state storage
    13 years 4 months ago
    A chalcogenide-based device with potential for multi-state storage
    Download  www.ps.eng.gunma-u.ac.jp
    We have investigated electrical properties of a chalcogenide-based device with naturally oxidized Al electrodes. Intermediate-resistance (IR) states exhibited by current–voltage...
    You Yin, Hayato Sone, Sumio Hosaka
    claim paper
    Read More »
    MJ
    2008
    127views more  MJ 2008»
    Bottom-up approach to silicon nanoelectronics
    13 years 5 months ago
    Bottom-up approach to silicon nanoelectronics
    Download  eprints.ecs.soton.ac.uk
    This paper presents a brief review of our recent work investigating a novel bottom-up approach to realize silicon-based nanoelectronics. We discuss fabrication technique, electron...
    Hiroshi Mizuta, Shunri Oda
    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.