956 search results - page 38 / 192 » Dimensions in program synthesis |
KBSE
2003
IEEE
14 years 3 months ago
2003
IEEE
Physics-based animation programs can often be modeled in terms of hybrid automata. A hybrid automaton includes both discrete and continuous dynamical variables. The discrete varia...
DBPL
2001
Springer
14 years 2 months ago
2001
Springer
Commercial OLAP systems usually treat OLAP dimensions as static entities. In practice, dimension updates are often necessary in order to adapt the multidimensional database to chan...
VLSID
2004
IEEE
14 years 10 months ago
2004
IEEE
It has been observed that even highly optimized software programs perform "redundant" computations during their execution, due to the nature (statistics) of the values a...
KBSE
1994
IEEE
14 years 2 months ago
1994
IEEE
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
ECOOP
2007
Springer
14 years 4 months ago
2007
Springer
Applying changes to a program results typically in stopping the program execution. This is not acceptable for highly available applications. Such applications should be evolved at ...