ENTCS 2010 | Sciweavers

12

ENTCS
2010

125views more ENTCS 2010»

Concrete Memory Models for Shape Analysis

13 years 2 months ago

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 »

16

click to vote

ENTCS
2010

72views more ENTCS 2010»

View-Augmented Abstractions

13 years 2 months ago

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 »

9

click to vote

ENTCS
2010

66views more ENTCS 2010»

Reversible Computer Hardware

13 years 2 months ago

Download www.cs.le.ac.uk

Alexis De Vos

claim paper

Read More »

10

click to vote

ENTCS
2010

82views more ENTCS 2010»

A Modular Static Analysis Approach to Affine Loop Invariants Detection

13 years 2 months ago

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 »

12

click to vote

ENTCS
2010

103views more ENTCS 2010»

A Model and Analysis of the AKAP Scaffold

13 years 2 months ago

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 »

9

click to vote

ENTCS
2010

104views more ENTCS 2010»

Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration

13 years 2 months ago

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 »

9

click to vote

ENTCS
2010

89views more ENTCS 2010»

The Interval Analysis of Multilinear Expressions

13 years 2 months ago

Download www.di.ens.fr

Cosimo Laneve, Tudor A. Lascu, Vania Sordoni

claim paper

Read More »

17

click to vote

ENTCS
2008

97views more ENTCS 2008»

Coordination Models Orc and Reo Compared

13 years 3 months ago

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 »

12

click to vote

ENTCS
2008

97views more ENTCS 2008»

Performance of Reactive Interfaces in Stimulus Rich Environments, Applying Formal Methods and Cognitive Frameworks

13 years 3 months ago

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 »

7

click to vote

ENTCS
2008

78views more ENTCS 2008»

Pre-Galois Connection on Coalgebras for Generic Component Refinement

13 years 3 months ago