1866 search results - page 52 / 374 » Dynamic instantiation-checking components |
119
click to vote
ICCS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper reviews recent developments in our project that are focused on dynamic data-driven methods for efficient and reliable simulation based optimization, which may...
128
click to vote
VR
2003
IEEE
15 years 8 months ago
2003
IEEE
An Augmented Virtual Environment (AVE) fuses dynamic imagery with 3D models. The AVE provides a unique approach to visualize and comprehend multiple streams of temporal data or im...
107
click to vote
DATE
2002
IEEE
15 years 8 months ago
2002
IEEE
There are some types of faults in analogue and mixed signal circuits which are very difficult to detect using either voltage or current based test methods. However, it is possible...
149
click to vote
ISSTA
2010
ACM
15 years 7 months ago
2010
ACM
Dynamic loading of software components (e.g., libraries or modules) is a widely used mechanism for improved system modularity and flexibility. Correct component resolution is cri...
117
click to vote
CAV
2009
Springer
16 years 3 months ago
2009
Springer
This paper is concerned with the problem of computing the image of a set by a polynomial function. Such image computations constitute a crucial component in typical tools for set-b...