2129 search results - page 183 / 426 » Cutting-Edge Timing Analysis Techniques |
3DPVT
2004
IEEE
15 years 2 months ago
2004
IEEE
The computation of curvature and other differential properties of surfaces is essential for many techniques in analysis and rendering. We present a finite-differences approach for...
103
click to vote
ASPDAC
2001
ACM
15 years 1 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
97
Voted
IPMI
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Automatic and semi-automatic magnetic resonance angiography (MRA) segmentation techniques can potentially save radiologists large amounts of time required for manual segm...
82
Voted
CN
2004
14 years 10 months ago
2004
This paper presents a probabilistic event-driven fault localization technique, which uses a probabilistic symptomfault map as a fault propagation model. The technique isolates the...
166
click to vote
ICDE
2007
IEEE
15 years 11 months ago
2007
IEEE
We address the problem of preserving privacy in streams, which has received surprisingly limited attention. For static data, a well-studied and widely used approach is based on ra...