334 search results - page 39 / 67 » A parametric analysis of the state-explosion problem in mode... |
143
Voted
CASES
2004
ACM
15 years 6 months ago
2004
ACM
Many optimization techniques, including several targeted specifically at embedded systems, depend on the ability to calculate the number of elements that satisfy certain conditio...
100
Voted
WSC
2007
15 years 3 months ago
2007
Metamodels are functions with calibrated parameters, used actions and simplifications of the simulation model. A metamodel exposes the system’s input-output relationship and ca...
151
click to vote
RV
2010
Springer
14 years 10 months ago
2010
Springer
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
113
Voted
SAIG
2000
Springer
15 years 4 months ago
2000
Springer
Extracting information from data, often also called data analysis, is an important scienti c task. Statistical approaches, which use methods from probability theory and numerical a...
107
click to vote
FTEDA
2006
15 years 25 days ago
2006
As IC technologies scale to finer feature sizes, it becomes increasingly difficult to control the relative process variations. The increasing fluctuations in manufacturing process...