Sciweavers

    12981 search results - page 291 / 2597
    » Model Checking and Abstraction
    Sort
    View
    BIOSTEC
    2011
    247views Healthcare» more  BIOSTEC 2011»
    Kinetic Models and Qualitative Abstraction for Relational Learning in Systems Biology
    14 years 7 months ago
    Kinetic Models and Qualitative Abstraction for Relational Learning in Systems Biology
    Download  emotion.inrialpes.fr
    Gabriel Synnaeve, Katsumi Inoue, Andrei Doncescu, ...
    claim paper
    Read More »
    CEC
    2011
    IEEE
    197views Artificial Intelligence» more  CEC 2011»
    An abstract representation model for evolutionary analysis of multi-agent interactions
    14 years 7 months ago
    An abstract representation model for evolutionary analysis of multi-agent interactions
    Download  users.encs.concordia.ca
    Arash Shaban-Nejad, Volker Haarslev
    claim paper
    Read More »
    ASPDAC
    2012
    ACM
    281views Hardware» more  ASPDAC 2012»
    Abstract system-level models for early performance and power exploration
    14 years 3 months ago
    Abstract system-level models for early performance and power exploration
    Download  users.ece.utexas.edu
    Andreas Gerstlauer, Suhas Chakravarty, Manan Kathu...
    claim paper
    Read More »
    ICLP
    2007
    Springer
    178views Automated Reasoning» more  ICLP 2007»
    Declarative Diagnosis of Temporal Concurrent Constraint Programs
    16 years 1 months ago
    Declarative Diagnosis of Temporal Concurrent Constraint Programs
    Download  www.lix.polytechnique.fr
    Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
    Moreno Falaschi, Carlos Olarte, Catuscia Palamides...
    claim paper
    Read More »
    ISSTA
    2006
    ACM
    158views Software Engineering» more  ISSTA 2006»
    Application of automated environment generation to commercial software
    16 years 1 months ago
    Application of automated environment generation to commercial software
    Download  www.flacp.fujitsulabs.com
    Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
    Oksana Tkachuk, Sreeranga P. Rajan
    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.