691 search results - page 107 / 139 » Equational Abstractions |
CC
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Partial redundancy elimination (PRE) is a program transformation that identifies and eliminates expressions that are redundant on at least one (but not necessarily all) ...
HYBRID
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. This paper derives an optimization-based control methodology for networks of switched and hybrid systems in which each mode is governed by a partial differential equatio...
PARA
2004
Springer
14 years 3 months ago
2004
Springer
It is our belief that the ultimate automatic system for deriving linear algebra libraries should be able to generate a set of algorithms starting from the mathematical specificati...
INFOCOM
2003
IEEE
14 years 3 months ago
2003
IEEE
Abstract— In this paper we analyse a feedback system consisting of a finite buffer fluid queue and a responsive source. The source alternates between silence periods and active...
AGTIVE
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of c...