Sciweavers

3384 search results - page 446 / 677
» More Testable Properties
Sort
View
ITC
2003
IEEE
134views Hardware» more  ITC 2003»
15 years 12 months ago
Effectiveness Improvement of ECR Tests
Energy Consumption Ratio (ECR) test, a current-based test, has shown its ability to reduce the impact of process variations and detect hard-to-detect faults. The effectiveness of ...
Wanli Jiang, Erik Peterson, Bob Robotka
LICS
2003
IEEE
15 years 12 months ago
Model-checking Trace Event Structures
Given a regular collection of Mazurkiewicz traces, which can be seen as the behaviours of a finite-state concurrent system, one can associate with it a canonical regular event st...
P. Madhusudan
SRDS
2003
IEEE
15 years 12 months ago
Coordinated Forward Error Recovery for Composite Web Services
This paper proposes a solution based on forward error recovery, oriented towards providing dependability of composite Web services. While exploiting their possible support for fau...
Ferda Tartanoglu, Valérie Issarny, Alexande...
VISUALIZATION
2003
IEEE
15 years 12 months ago
Clifford Convolution And Pattern Matching On Vector Fields
The goal of this paper is to transfer image processing to vector fields and flow visualization by defining a suitable convolution operation. For this, a multiplication of vecto...
Julia Ebling, Gerik Scheuermann
183
Voted
VISUALIZATION
2003
IEEE
15 years 12 months ago
Image Space Based Visualization of Unsteady Flow on Surfaces
We present a novel technique for direct visualization of unsteady flow on surfaces from computational fluid dynamics. The method generates dense representations of time-dependen...
Robert S. Laramee, Bruno Jobard, Helwig Hauser