The paper is concerned with methods for blowing power of singular cardinals using short extenders. Thus, for example, starting with κ of cofinality ω with {α < κ | o(α) ≥ α+n} cofinal in κ for every n < ω we construct a cardinal preserving extension having the same bounded subsets of κ and satisfying 2κ = κ+δ+1 for any δ < א1.

In this paper, we propose a novel kind of RF fingerprints (RFF) with better discriminability than typical RFF for identifying preamble-based wireless transmitters. First, the equivalent model of RFF identification system is built. Then, the typical RFF are analyzed with the built model and the novel RFF, which is transformed from preamble signal when its power is ramped up, is presented. Finall...

We prove some results related to the problem of blowing up the power set of the least measurable cardinal. Our forcing results improve those of [1] by using the optimal hypothesis.

In this paper, we propose a novel architecture for low-power direct-mapped instruction caches, called “historybased tag-comparison (HBTC) cache”. The cache attempts to reuse tag-comparison results for avoiding unnecessary tag checks. Execution footprints are recorded into an extended BTB (Branch Target Buffer). In our evaluation, it is observed that the energy for tag comparison can be reduced ...

Energy constraints form an important part of the design specification for processors running embedded applications. For estimating energy dissipation early at the design cycle, accurate power consumption models characterized for the processor are essential. A methodology and the corresponding instrumentation setup for taking current measurements to create high quality instruction level power mo...

In this article we present scenarios of wind power development in Finland up to the year 2025. We asked 14 experts to describe probable and preferable futures, through the means of a questionnaire and interviews. The 28 cases were grouped using cluster analysis, and the emerging five clusters were complemented into scenarios by qualitative analysis of the interviews. Wind power production grows...

Because the inductive noise Ldi/dt is induced by the power change and can have disastrous impact on the timing and reliability of the system, high-performance CPU designs are more concerned with the step power reduction instead of the average power reduction. The step power is defined as the power difference between the previous and present clock cycles, and represents the Ldi/dt noise at the m...