298 search results - page 3 / 60 » Abstract Fixpoint Computations with Numerical Acceleration M... |
113
Voted
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— A common approach to designing feedback controllers for nonlinear partial differential equations (PDEs) is to linearize the system about an equilibrium and use the line...
112
Voted
ENTCS
2010
15 years 21 hour ago
2010
In this paper, we present Aspic, an automatic polyhedral invariant generation tool for flowcharts programs. Aspic implements an improved Linear Relation Analysis on numeric counte...
107
Voted
CMSB
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Starting from a biochemical signalling pathway model expressed in a process algebra enriched with quantitative information we automatically derive both continuous-space a...
120
Voted
RECOMB
2007
Springer
16 years 3 months ago
2007
Springer
Abstract. Given the substantial computational requirements of stochastic simulation, approximation is essential for efficient analysis of any realistic biochemical system. This pap...
118
Voted
ECOOP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Lightweight bytecode verification uses stack maps to annotate Java bytecode programs with type information in order to reduce the verification to type checking. This pape...