Results 1  10
of
820,197
Conservative Approximations for Heterogeneous Design
 In EMSOFT â€™04: Proceedings of the 4th ACM International Conference on Embedded Software
, 2004
"... Embedded systems are electronic devices that function in the context of a real environment, by sensing and reacting to a set of stimuli. Because of their close interaction with the environment, and to simplify their design, different parts of an embedded system are best described using different n ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
on abstraction and refinement relationships in the form of conservative approximations. We do so by constructing a framework, called Agent Algebra, where the different models reside and share a common algebraic structure. We compare our techniques to the well established notion of abstract interpretation. We
Conservative Approximations of Hybrid Systems
, 1994
"... Systems that are modeled using both continuous and discrete mathematics are commonly called hybrid systems. Although much work has been done to develop frameworks in which both types of systems can be modeled at the same time, this is often a very difficult task. Verifying that desired properties ..."
Abstract
 Add to MetaCart
model, which is typically less detailed, is actually used to verify properties of the system. The detailed model is typically defined in terms of both continuous and discrete mathematics, whereas the abstract one is typically discrete. We formally define the concept of conservative approximation, a
Approximate Riemann Solvers, Parameter Vectors, and Difference Schemes
 J. COMP. PHYS
, 1981
"... Several numerical schemes for the solution of hyperbolic conservation laws are based on exploiting the information obtained by considering a sequence of Riemann problems. It is argued that in existing schemes much of this information is degraded, and that only certain features of the exact solution ..."
Abstract

Cited by 1007 (2 self)
 Add to MetaCart
Several numerical schemes for the solution of hyperbolic conservation laws are based on exploiting the information obtained by considering a sequence of Riemann problems. It is argued that in existing schemes much of this information is degraded, and that only certain features of the exact solution
Discrete Conservative Approximations of Hybrid Systems
, 1993
"... Systems that are modeled using both continuous and discrete mathematics are commonly called hybrid systems. Although much work has been done to develop frameworks in which both types of systems can be handled at the same time, this is often a very difficult task. Verifying that desired properties ..."
Abstract
 Add to MetaCart
model, which is typically less detailed, is actually used to verify properties of the system. The detailed model is typically defined in terms of both continuous and discrete mathematics, whereas the abstract one is typically discrete. We formally define the concept of conservative approximation, a
The RungeKutta discontinuous Galerkin method for conservation laws V: multidimensional systems
, 1997
"... This is the fifth paper in a series in which we construct and study the socalled RungeKutta Discontinuous Galerkin method for numerically solving hyperbolic conservation laws. In this paper, we extend the method to multidimensional nonlinear systems of conservation laws. The algorithms are describ ..."
Abstract

Cited by 508 (43 self)
 Add to MetaCart
This is the fifth paper in a series in which we construct and study the socalled RungeKutta Discontinuous Galerkin method for numerically solving hyperbolic conservation laws. In this paper, we extend the method to multidimensional nonlinear systems of conservation laws. The algorithms
Fronts propagating with curvature dependent speed: algorithms based on Hamiltonâ€“Jacobi formulations
, 1988
"... We devise new numerical algorithms, called PSC algorithms, for following fronts propagating with curvaturedependent speed. The speed may be an arbitrary function of curvature, and the front also can be passively advected by an underlying flow. These algorithms approximate the equations of motion, w ..."
Abstract

Cited by 1184 (60 self)
 Add to MetaCart
We devise new numerical algorithms, called PSC algorithms, for following fronts propagating with curvaturedependent speed. The speed may be an arbitrary function of curvature, and the front also can be passively advected by an underlying flow. These algorithms approximate the equations of motion
Conserving approximations for the attractive Holstein and Hubbard models
, 1994
"... Conserving approximations are applied to the attractive Holstein and Hubbard models (on an infinitedimensional hypercubic lattice). All effects of nonconstant density of states and vertex corrections are taken into account in the weakcoupling regime. Infinite summation of certain classes of diagra ..."
Abstract
 Add to MetaCart
Conserving approximations are applied to the attractive Holstein and Hubbard models (on an infinitedimensional hypercubic lattice). All effects of nonconstant density of states and vertex corrections are taken into account in the weakcoupling regime. Infinite summation of certain classes
A generalized processor sharing approach to flow control in integrated services networks: The singlenode case
 IEEE/ACM TRANSACTIONS ON NETWORKING
, 1993
"... The problem of allocating network resources to the users of an integrated services network is investigated in the context of ratebased flow control. The network is assumed to be a virtual circuit, connectionbased packet network. We show that the use of Generalized processor Sharing (GPS), when co ..."
Abstract

Cited by 2011 (5 self)
 Add to MetaCart
conserving. We present a practical packetbypacket service discipline, PGPS (first proposed by Deme5 Shenker, and Keshav [7] under the name of Weighted Fair Queueing), that closely approximates GPS. This allows us to relate ressdta for GPS to the packetbypacket scheme in a precise manner. In this paper
Reachability analysis of nonlinear systems using conservative approximation
 In Oded Maler and Amir Pnueli, editors, Hybrid Systems: Computation and Control, LNCS 2623
, 2003
"... ..."
Results 1  10
of
820,197