Sciweavers

    2916 search results - page 22 / 584
    » The simulation power of automod
    Sort
    View
    ALENEX
    2003
    137views Algorithms» more  ALENEX 2003»
    The Markov Chain Simulation Method for Generating Connected Power Law Random Graphs
    13 years 9 months ago
    The Markov Chain Simulation Method for Generating Connected Power Law Random Graphs
    Download  www.cc.gatech.edu
    Graph models for real-world complex networks such as the Internet, the WWW and biological networks are necessary for analytic and simulation-based studies of network protocols, al...
    Christos Gkantsidis, Milena Mihail, Ellen W. Zegur...
    claim paper
    Read More »
    AMAST
    2008
    Springer
    135views Software Engineering» more  AMAST 2008»
    Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving
    13 years 9 months ago
    Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving
    Download  research.microsoft.com
    Abstract. Vx86 is the first static analyzer for sequential Intel x86 assembler code using automated deductive verification. It proves the correctness of assembler code against func...
    Stefan Maus, Michal Moskal, Wolfram Schulte
    claim paper
    Read More »
    ICCAD
    2001
    IEEE
    77views Hardware» more  ICCAD 2001»
    Power Grid Transient Simulation in Linear Time Based on Transmission-Line-Modeling Alternating-Direction-Implicit Method
    14 years 4 months ago
    Power Grid Transient Simulation in Linear Time Based on Transmission-Line-Modeling Alternating-Direction-Implicit Method
    Download  vlsi-eda.cm.nctu.edu.tw
    Yu-Min Lee, Charlie Chung-Ping Chen
    claim paper
    Read More »
    CBSE
    2005
    Springer
    95views Software Engineering» more  CBSE 2005»
    A CCA-compliant Nuclear Power Plant Simulator Kernel
    14 years 1 months ago
    A CCA-compliant Nuclear Power Plant Simulator Kernel
    Download  www.lcc.uma.es
    Manuel Díaz, Daniel Garrido, Sergio Romero,...
    claim paper
    Read More »
    EMSOFT
    2005
    Springer
    82views Software Engineering» more  EMSOFT 2005»
    Power consumption profile analysis for security attack simulation in smart cards at high abstraction level
    14 years 1 months ago
    Power consumption profile analysis for security attack simulation in smart cards at high abstraction level
    Download  www.cs.york.ac.uk
    Klaus Rothbart, Ulrich Neffe, Christian Steger, Re...
    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.