1554 search results - page 169 / 311 » cases 2003 |
142
Voted
IWPC
2003
IEEE
15 years 10 months ago
2003
IEEE
Increasingly, applications are being built by combining existing software components. For the most part, a software developer can treat components as black-boxes. However, for som...
154
click to vote
LICS
2003
IEEE
15 years 10 months ago
2003
IEEE
We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...
190
click to vote
MICRO
2003
IEEE
15 years 10 months ago
2003
IEEE
Single-event upsets from particle strikes have become a key challenge in microprocessor design. Techniques to deal with these transient faults exist, but come at a cost. Designers...
154
click to vote
RTSS
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper presents a quantification of the timing effects that advanced processor features like data and instruction cache, pipelines, branch prediction units and out-oforder ex...
167
click to vote
VISUALIZATION
2003
IEEE
15 years 10 months ago
2003
IEEE
We present techniques for discovering and exploiting regularity in large curvilinear data sets. The data can be based on a single mesh or a mesh composed of multiple submeshes (al...