Sciweavers

    4036 search results - page 57 / 808
    » Formal Methods
    Sort
    View
    ASPLOS
    2004
    ACM
    144views Programming Languages» more  ASPLOS 2004»
    Formal online methods for voltage/frequency control in multiple clock domain microprocessors
    15 years 11 months ago
    Formal online methods for voltage/frequency control in multiple clock domain microprocessors
    Download  parapet.ee.princeton.edu
    Multiple Clock Domain (MCD) processors are a promising future alternative to today’s fully synchronous designs. Dynamic Voltage and Frequency Scaling (DVFS) in an MCD processor ...
    Qiang Wu, Philo Juang, Margaret Martonosi, Douglas...
    claim paper
    Read More »
    155
    Voted
    TPHOL
    2009
    IEEE
    270views Automated Reasoning» more  TPHOL 2009»
    Formal Verification of Exact Computations Using Newton's Method
    16 years 1 months ago
    Formal Verification of Exact Computations Using Newton's Method
    Download  www-sop.inria.fr
    Nicolas Julien, Ioana Pasca
    claim paper
    Read More »
    MLDM
    2009
    Springer
    135views Machine Learning» more  MLDM 2009»
    Tree Kernel and Feature Vector Methods for Formal Semantic Requests Classification
    16 years 28 days ago
    Tree Kernel and Feature Vector Methods for Formal Semantic Requests Classification
    Download  www.limsi.fr
    François Bouchet, Jean-Paul Sansonnet
    claim paper
    Read More »
    190
    Voted
    NCA
    2008
    IEEE
    144views Computer Networks» more  NCA 2008»
    On the Application of Formal Methods for Specifying and Verifying Distributed Protocols
    16 years 23 days ago
    On the Application of Formal Methods for Specifying and Verifying Distributed Protocols
    Download  www.cs.ucy.ac.cy
    In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
    Marina Gelastou, Chryssis Georgiou, Anna Philippou
    claim paper
    Read More »
    AB
    2008
    Springer
    284views Computational Biology» more  AB 2008»
    Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal Concept Analysis Methods
    16 years 22 days ago
    Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal Concept Analysis Methods
    Download  www.risc.jku.at
    Johannes Wollbold, Reinhard Guthke, Bernhard Gante...
    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.