868 search results - page 19 / 174 » Debugging for Model Expansion |
ECAI
2010
Springer
13 years 11 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
13 years 11 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
13 years 9 months 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
14 years 4 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
14 years 3 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 ...