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 4 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
    16 years 1 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 11 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 10 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 10 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
    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.