9842 search results - page 678 / 1969 » Compositional timing analysis |
175
click to vote
ICPR
2004
IEEE
16 years 8 months ago
2004
IEEE
We present a novel statistical texture descriptor employing level-crossing statistics. Images are first mapped into 1D signals using space-filling curves, such as Peano or Hilbert...
171
click to vote
MICCAI
2004
Springer
16 years 8 months ago
2004
Springer
For diagnosis, preoperative planning and postoperative guides, an accurate estimate of joints kinematics is required. We bring together MRI developments and new image processing me...
229
click to vote
PERCOM
2005
ACM
16 years 7 months ago
2005
ACM
In this paper, we quantify the energy cost of authentication and key exchange based on public-key cryptography on an 8-bit microcontroller platform. We present a comparison of two...
154
click to vote
ICCD
2005
IEEE
16 years 4 months ago
2005
IEEE
Consideration of pairs of transition in probabilistic simulation allows power estimation for digital circuits in which inertial delays can filter glitches [5]. However, the merit ...
235
Voted
TACAS
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. We propose a symbolic algorithm to accurately predict atomicity violations by analyzing a concrete execution trace of a concurrent program. We use both the execution trac...