1190 search results - page 133 / 238 » Enhancing Sharing for Precision |
146
click to vote
TOOLS
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
112
click to vote
ICFP
2000
ACM
15 years 8 months ago
2000
ACM
We show that a non-duplicating transformation into Continuation-Passing Style (CPS) has no effect on control-flow analysis, a positive effect on binding-time analysis for tradi...
145
click to vote
IH
1999
Springer
15 years 8 months ago
1999
Springer
This paper presents a new stochastic approach which can be applied with di erent watermark techniques. The approach is based on the computation of a Noise Visibility Function NVF ...
172
click to vote
VRST
1997
ACM
15 years 8 months ago
1997
ACM
Augmented reality deals with the problem of dynamically augmenting or enhancing (images or live video of) the real world with computer generated data (e.g., graphics of virtual ob...
166
click to vote
ICCAD
1994
IEEE
15 years 8 months ago
1994
IEEE
The BIST implementation of a conventionally synthesized controller in most cases requires the integration of an additional register only for test purposes. This leads to some seri...