9626 search results - page 1860 / 1926 » Invariant Based Programming |
125
click to vote
MICRO
1998
IEEE
15 years 4 months ago
1998
IEEE
To achieve highly accurate branch prediction, it is necessary not only to allocate more resources to branch prediction hardware but also to improve the understanding of branch exe...
103
click to vote
SP
1998
IEEE
15 years 4 months ago
1998
IEEE
This paper presents results from analyzing the vulnerability of security-critical software applications to malicious threats and anomalous events using an automated fault injectio...
IUI
1998
ACM
15 years 4 months ago
1998
ACM
Eliciting user-task models is a thorny problem in modelbased user interface design, and communicating domainspecific knowledge from an expert to a knowledge engineer is a continui...
118
click to vote
FCCM
1997
IEEE
15 years 4 months ago
1997
IEEE
The RAW benchmark suite consists of twelve programs designed to facilitate comparing, validating, and improving reconfigurable computing systems. These benchmarks run the gamut o...
110
click to vote
VISUALIZATION
1997
IEEE
15 years 4 months ago
1997
IEEE
Modular Visualization Environments (MVEs) have recently been regarded as the de facto standard for scientific data visualization, mainly due to adoption of visual programming sty...