Sciweavers

2897 search results - page 242 / 580
» Test Case Integration: From Components to Systems
Sort
View
DATE
2003
IEEE
99views Hardware» more  DATE 2003»
15 years 10 months ago
RF-BIST: Loopback Spectral Signature Analysis
Built-In Self-Test (BIST) becomes important also for more complex structures like complete front-ends. In order to bring down the costs for the test overhead, Spectral Signature A...
Doris Lupea, Udo Pursche, Hans-Joachim Jentschel
HASE
2007
IEEE
15 years 11 months ago
Integrating Product-Line Fault Tree Analysis into AADL Models
Fault Tree Analysis (FTA) is a safety-analysis technique that has been recently extended to accommodate product-line engineering for critical domains. This paper describes a tool-...
Hongyu Sun, Miriam Hauptman, Robyn R. Lutz
JLP
2000
102views more  JLP 2000»
15 years 4 months ago
Recursive Query Plans for Data Integration
Generating query-answering plans for data integration systems requires to translate a user query, formulated in terms of a mediated schema, to a query that uses relations that are...
Oliver M. Duschka, Michael R. Genesereth, Alon Y. ...
OWLED
2008
15 years 6 months ago
Opening, Closing Worlds - On Integrity Constraints
In many data-centric applications it is desirable to use OWL as an expressive schema language where one expresses constraints that need to be satisfied by the (instance) data. Howe...
Evren Sirin, Michael Smith, Evan Wallace
SIAMSC
2008
140views more  SIAMSC 2008»
15 years 4 months ago
Newton-GMRES Preconditioning for Discontinuous Galerkin Discretizations of the Navier--Stokes Equations
We study preconditioners for the iterative solution of the linear systems arising in the implicit time integration of the compressible Navier-Stokes equations. The spatial discreti...
Per-Olof Persson, Jaime Peraire