Sciweavers

    4341 search results - page 27 / 869
    » Quantitative Model checking
    Sort
    View
    VLSID
    2004
    IEEE
    75views VLSI» more  VLSID 2004»
    Quantitative Model for Thermal Behaviour of an Analog Integrated Circuit
    16 years 2 months ago
    Quantitative Model for Thermal Behaviour of an Analog Integrated Circuit
    Download  www.columbia.edu
    Gagandeep S. Sandha, Pawan K. Singh, C. Pradeep Ku...
    claim paper
    Read More »
    ICCAD
    2004
    IEEE
    87views Hardware» more  ICCAD 2004»
    A quantitative study and estimation models for extensible instructions in embedded processors
    15 years 11 months ago
    A quantitative study and estimation models for extensible instructions in embedded processors
    Download  www.cse.unsw.edu.au
    Newton Cheung, Sri Parameswaran, Jörg Henkel
    claim paper
    Read More »
    ICEIS
    2009
    IEEE
    115views Information Technology» more  ICEIS 2009»
    Assessing Workflow Management Systems - A Quantitative Analysis of a Worfklow Evaluation Model
    15 years 9 months ago
    Assessing Workflow Management Systems - A Quantitative Analysis of a Worfklow Evaluation Model
    Download  is.tm.tue.nl
    Stephan Poelmans, Hajo A. Reijers
    claim paper
    Read More »
    BIBE
    2007
    IEEE
    113views Bioinformatics» more  BIBE 2007»
    Quantitative and Probabilistic Modeling in Pathway Logic
    15 years 8 months ago
    Quantitative and Probabilistic Modeling in Pathway Logic
    Download  www-formal.stanford.edu
    —This paper presents a study of possible extensions of Pathway Logic to represent and reason about semiquantitative and probabilistic aspects of biological processes. The underly...
    Alessandro Abate, Yu Bai, Nathalie Sznajder, Carol...
    claim paper
    Read More »
    DASC
    2006
    IEEE
    205views Applied Computing» more  DASC 2006»
    Measuring Quantitative Dependability Attributes in Digital Publishing Using Petri Net Workflow Modeling
    15 years 8 months ago
    Measuring Quantitative Dependability Attributes in Digital Publishing Using Petri Net Workflow Modeling
    Download  pdc.ece.uprm.edu
    Gustavo A. Chaparro-Baquero, Nayda G. Santiago, Wi...
    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-2026, USA.