3707 search results - page 251 / 742 » A Simple Technique for Self-Calibration |
179
click to vote
ICPADS
2007
IEEE
16 years 29 days ago
2007
IEEE
For some sequential loops, existing techniques that form speculative threads only at their loop boundaries do not adequately expose the speculative parallelism inherent in them. T...
155
click to vote
LICS
2007
IEEE
16 years 28 days ago
2007
IEEE
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be: (1) the proof of congruence, as well as enhancements of the bisimulatio...
172
click to vote
PRDC
2007
IEEE
16 years 28 days ago
2007
IEEE
Several recent studies identify the memory system as the most frequent source of hardware failures in commercial servers. Techniques to protect the memory system from failures mus...
165
click to vote
BTW
2007
Springer
16 years 25 days ago
2007
Springer
: Analysts interact with OLAP data in a predominantly “drill-down” fashion, i.e. gradually descending from a coarsely grained overview towards the desired level of detail. Anal...
159
click to vote
COMPSAC
2006
IEEE
16 years 21 days ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...