640 search results - page 29 / 128 » On Timed Simulation Relations for Hybrid Systems and Composi... |
DAC
1999
ACM
14 years 2 days ago
1999
ACM
We present a novel formulation, called the WaMPDE, for solving systems with forced autonomous components. An important feature of the WaMPDE is its ability to capture frequency mo...
VLDB
2005
ACM
14 years 1 months ago
2005
ACM
Schemas evolve over time to accommodate the changes in the information they represent. Such evolution causes invalidation of various artifacts depending on the schemas, such as sc...
ICPP
2006
IEEE
14 years 1 months ago
2006
IEEE
— Molecular Dynamics (MD) is an important atomistic simulation technique, with widespread use in computational chemistry, biology, and materials. An important limitation of MD is...
HYBRID
2004
Springer
14 years 1 months ago
2004
Springer
We present a parameter inference algorithm for autonomous stochastic linear hybrid systems, which computes a maximum-likelihood model, given only a set of continuous output data of...
CEC
2007
IEEE
14 years 2 months ago
2007
IEEE
— Static resources allocation problems have been widely studied. More recently some of this attention has changed to focus on dynamic problems, where problem specifications, con...