868 search results - page 19 / 174 » Debugging for Model Expansion |
102
click to vote
ECAI
2010
Springer
15 years 2 months ago
2010
Springer
The paper describes a model-based approach to developing a general tool for localizing faults in applications of data warehouse technology. A model of the application is configured...
WSC
2001
15 years 2 months ago
2001
Emulation is a very powerful tool for testing and debugging control code/logic in an office environment rather than on the plant floor. Through the use of emulation, the actual co...
AUTOMATICA
2002
15 years 24 days ago
2002
A solution is presented for the problem of realizing a discrete-time LTI state-space model of minimal McMillan degree such that its
FMCAD
2009
Springer
15 years 7 months ago
2009
Springer
—Given an erroneous design, functional verification returns an error trace exhibiting a mismatch between the specification and the implementation of a design. Automated design ...
ICADL
2005
Springer
15 years 6 months ago
2005
Springer
Exploratory search over a collection often requires users to iteratively apply a variety of strategies, such as searching for more general or more specific concepts in reaction to ...