429 search results - page 11 / 86 » Symbolic Computation Software Composability |
CDC
2009
IEEE
14 years 7 days ago
2009
IEEE
— In this paper we propose an approach to control design of nonlinear time–delay systems, which is based on the construction of symbolic models, where each symbolic state and e...
FSTTCS
2008
Springer
13 years 8 months ago
2008
Springer
A sup-interpretation is a tool which provides upper bounds on the size of the values computed by the function symbols of a program. Sup-interpretations have shown their interest to...
MKM
2009
Springer
14 years 2 months ago
2009
Springer
In this short communication we want to give an overview of how OpenMath is used in the European project “SCIEnce” [12]. The main aim of this project is to allow unified commun...
CODES
2008
IEEE
14 years 2 months ago
2008
IEEE
The compositional computation of Pareto points in multi-dimensional optimization problems is an important means to efficiently explore the optimization space. This paper presents ...
APSEC
2005
IEEE
14 years 1 months ago
2005
IEEE
— In this paper, we present a temporal logic called F whose interpretation is over Input Output Symbolic Transition Systems (IOSTS). IOSTS extend transition systems to communicat...