579 search results - page 61 / 116 » Constraint Validation in Model Compilers |
169
Voted
WSC
2001
15 years 4 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...
122
Voted
ICCAD
2007
IEEE
16 years 9 days 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...
109
click to vote
ICRA
2009
IEEE
15 years 10 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 ...
135
Voted
UML
2005
Springer
15 years 9 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...
102
Voted
AAAI
2008
15 years 5 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...