Sciweavers

4164 search results - page 433 / 833
» Timing model reduction for hierarchical timing analysis
Sort
View
SIAMCO
2010
119views more  SIAMCO 2010»
15 years 1 months ago
Feedback Stabilization of a Fluid-Structure Model
We study a system coupling the incompressible Navier-Stokes equations in a 2D rectangular type domain with a damped Euler-Bernoulli beam equation, where the beam is a part of the u...
Jean-Pierre Raymond
NIPS
2001
15 years 8 months ago
Model Based Population Tracking and Automatic Detection of Distribution Changes
Probabilistic mixture models are used for a broad range of data analysis tasks such as clustering, classification, predictive modeling, etc. Due to their inherent probabilistic na...
Igor V. Cadez, Paul S. Bradley
MMB
2004
Springer
102views Communications» more  MMB 2004»
16 years 7 days ago
Improving the Timeliness of Rate Measurements
Rate measurements are required for many purposes, e.g. for system analysis and modelling or for live systems that react to measurements. For off-line measurement all data is avail...
Rüdiger Martin, Michael Menth
MEMOCODE
2003
IEEE
16 years 5 days ago
MoDe: A Method for System-Level Architecture Evaluation
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
Jan Romberg, Oscar Slotosch, Gabor Hahn
OOPSLA
2005
Springer
16 years 11 days ago
GOOAL: an educational object oriented analysis laboratory
Our goal is to enable rapid production of static and dynamic object models from natural language description of problems. Rapid modeling is achieved through automation of analysis...
Hector G. Pérez-González, Jugal K. K...