1890 search results - page 253 / 378 » Model-Based Testing in Practice |
224
click to vote
ICDE
2006
IEEE
16 years 2 months ago
2006
IEEE
DaWaII (Data Warehouse IntegratIon) is a tool for supporting the various activities related to the integration of multidimensional databases. This problem arises in common scenari...
MICCAI
2009
Springer
16 years 2 months ago
2009
Springer
Obtaining detailed, patient-specific blood flow information would be very useful in detecting and monitoring cardio-vascular diseases. Current approaches rely on computational flui...
DAC
2002
ACM
16 years 2 months ago
2002
ACM
Many real-time embedded systems involve a collection of independently executing event-driven code blocks, having hard real-time constraints. Tasks in many such systems, like netwo...
138
click to vote
DAC
2003
ACM
16 years 2 months ago
2003
ACM
Chemical-mechanical planarization (CMP) and other manufacturing steps in very deep-submicron VLSI have varying effects on device and interconnect features, depending on the local ...
DAC
2004
ACM
16 years 2 months ago
2004
ACM
Coverage analysis is used to monitor the quality of the verification process. Reports provided by coverage tools help users identify areas in the design that have not been adequat...