579 search results - page 61 / 116 » Constraint Validation in Model Compilers |
WSC
2001
13 years 9 months ago
2001
Taking into account input-model, input-parameter, and stochastic uncertainties inherent in many simulations, our Bayesian approach to input modeling yields valid point and confide...
ICCAD
2007
IEEE
14 years 4 months ago
2007
IEEE
— The need to perform power analysis in the early stages of the design process has become critical as power has become a major design constraint. Embedded and highperformance mic...
ICRA
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract— A differential geometry based modeling to represent belt object deformation is proposed. Deformation of a belt object such as film circuit boards or flexible circuit ...
UML
2005
Springer
14 years 1 months ago
2005
Springer
Crosscutting concerns are pervasive in embedded software, because of the various constraints imposed by the environment and the stringent QOS requirements on the system. This pape...
AAAI
2008
13 years 10 months ago
2008
The interpreted system model offers a computationally grounded model, in terms of the states of computer processes, to S5 epistemic logics. This paper extends the interpreted syst...