1177 search results - page 130 / 236 » System-in-Package Testing: Problems and Solutions |
PROCEDIA
2010
14 years 8 months ago
2010
High quality meshes are crucial for the solution of partial differential equations (PDEs) via the finite element method (or other PDE solvers). The accuracy of the PDE solution,...
VSTTE
2010
Springer
14 years 7 months ago
2010
Springer
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...
DSVIS
2003
Springer
15 years 3 months ago
2003
Springer
Based on a revision of the common task understanding in model-based approaches a formal meta model is proposed which allows more expressive task descriptions. A task is considered ...
ICIP
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper we address two closely related problems. The first is the object detection problem, i.e., the automatic decision of whether a given image represents a known object o...
GECCO
2003
Springer
15 years 3 months ago
2003
Springer
Supply planning optimization is one of the most important issues for manufacturers and distributors. Supply is planned to meet the future demand. Under the uncertainty involved in ...