Sciweavers

    ENTCS
    2010
    125views more  ENTCS 2010»
    Concrete Memory Models for Shape Analysis
    13 years 8 months ago
    Concrete Memory Models for Shape Analysis
    Download  www.di.ens.fr
    This paper discusses four store-based concrete memory models. We characterize memory models by the class of pointers they support and whether they use numerical or symbolic offset...
    Pascal Sotin, Bertrand Jeannet, Xavier Rival
    claim paper
    Read More »
    ENTCS
    2010
    72views more  ENTCS 2010»
    View-Augmented Abstractions
    13 years 8 months ago
    View-Augmented Abstractions
    Download  www.cs.wisc.edu
    mented Abstractions Matt Eldera,1 , Denis Gopanb,2 , and Thomas Repsa,b,3 a Computer Sciences Department, Univ. of Wisconsin; Madison, WI; USA b GrammaTech, Inc.; Ithaca, NY; USA ...
    Matt Elder, Denis Gopan, Thomas W. Reps
    claim paper
    Read More »
    ENTCS
    2010
    66views more  ENTCS 2010»
    Reversible Computer Hardware
    13 years 8 months ago
    Reversible Computer Hardware
    Download  www.cs.le.ac.uk
    Alexis De Vos
    claim paper
    Read More »
    ENTCS
    2010
    82views more  ENTCS 2010»
    A Modular Static Analysis Approach to Affine Loop Invariants Detection
    13 years 8 months ago
    A Modular Static Analysis Approach to Affine Loop Invariants Detection
    Download  www.cri.ensmp.fr
    ional Workshop on Numerical and Symbolic Abstract Domains NSAD 2010 I.0.1I.0.1
    Corinne Ancourt, Fabien Coelho, François Ir...
    claim paper
    Read More »
    ENTCS
    2010
    103views more  ENTCS 2010»
    A Model and Analysis of the AKAP Scaffold
    13 years 8 months ago
    A Model and Analysis of the AKAP Scaffold
    Download  cs2bio10.di.unito.it
    We study the biochemical processes involved in scaffold-mediated crosstalk between the cAMP and the Raf-1/MEK/ERK pathways. We model the system by a continuous time Markov chain w...
    Oana Andrei, Muffy Calder
    claim paper
    Read More »
    ENTCS
    2010
    104views more  ENTCS 2010»
    Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration
    13 years 8 months ago
    Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration
    Download  cs2bio10.di.unito.it
    We present the derivation of a CTMC with levels model of diffusion in cylindrical coordinates partial differential equation for Fick's law. The resulting model abstracts both...
    Andrea Degasperi, Muffy Calder
    claim paper
    Read More »
    ENTCS
    2010
    89views more  ENTCS 2010»
    The Interval Analysis of Multilinear Expressions
    13 years 8 months ago
    The Interval Analysis of Multilinear Expressions
    Download  www.di.ens.fr
    Cosimo Laneve, Tudor A. Lascu, Vania Sordoni
    claim paper
    Read More »
    ENTCS
    2008
    97views more  ENTCS 2008»
    Coordination Models Orc and Reo Compared
    13 years 10 months ago
    Coordination Models Orc and Reo Compared
    Download  www.mendeley.com
    Orc and Reo are two complementary approaches to the problem of coordinating components or services. On one hand, Orc is highly asynchronous, naturally dynamic, and based on epheme...
    José Proença, Dave Clarke
    claim paper
    Read More »
    ENTCS
    2008
    97views more  ENTCS 2008»
    Performance of Reactive Interfaces in Stimulus Rich Environments, Applying Formal Methods and Cognitive Frameworks
    13 years 10 months ago
    Performance of Reactive Interfaces in Stimulus Rich Environments, Applying Formal Methods and Cognitive Frameworks
    Download  www.cs.kent.ac.uk
    Previous research has developed a formal methods-based (cognitive-level) model of the Interacting Cognitive Subsystems central engine, with which we have simulated attentional cap...
    Li Su, Howard Bowman, Philip Barnard
    claim paper
    Read More »
    ENTCS
    2008
    78views more  ENTCS 2008»
    Pre-Galois Connection on Coalgebras for Generic Component Refinement
    13 years 10 months ago
    Pre-Galois Connection on Coalgebras for Generic Component Refinement
    Download  homepages.cwi.nl
    Meng Sun
    claim paper
    Read More »
    « first‹ previous123456789…next ›last »
    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.