This paper presents a new low-power Threshold Logic family featuring self lock-out and run-time reprogrammability. The simulated results have shown that, the proposed Threshold Logic dissipates between and less power and between and less energy, at , when compared with previous similar Threshold Logic families. Moreover, at , it has between and less energy and between and ! less dissipated powe...

Baeten and Bergstra added real time to ACP, and introduced the notion of integration, which expresses the possibility of an action happening within a time interval. In order to axiomatize this feature, they needed anùncountable' axiom. This paper deals with preex integration, and integration is parametrized by conditions, which are inequalities between linear expressions of variables. We presen...

Side-by-side intercomparisons of ground-based remote sounding instruments are of very high interest within the NDACC (Network for the Detection of Atmospheric Composition Change) community. There have been earlier studies (e.g., Murphy et al., 2001; Wunch et al., 2007) and there are planned future intercomparisons (e.g., Sung et al., to be submitted to ACP, 2008). It would be desirable to make ...

In many intervention analysis applications, time series data may be expensive or otherwise difficult to collect. In this case the power function is helpful, because it can be used to determine the probability that a proposed intervention analysis application will detect a meaningful change. Assuming that an underlying autoregressive integrated moving average (ARIMA) or fractional ARIMA model is...

The objective of this paper is to bridge the gap between ACP and TCSP. To this end, ACP is extended with two non-deterministic choice operators in a setting of bisimulation semantics. With these operators, we can express safety properties of systems without the use of silent steps, and we can verify safety properties in a setting in which no assumption on fairness (or unfairness) has been made.

The scaling trend of MOSFETs requires the supply and the threshold voltages to be reduced in future generations. Although the supply voltage is reduced, the total power dissipation and the static power of the chip are increased. Power dissipation is one of the limiting factors in achieving the highest performance of a chip. Therefore, new power reduction techniques are required. In this paper a...

R. Aaij et al.* (LHCb Collaboration) (Received 6 December 2011; published 12 March 2012; publisher error corrected 12 March 2012) A search for time-integrated CP violation in D ! h hþ (h 1⁄4 K, ) decays is presented using 0:62 fb 1 of data collected by LHCb in 2011. The flavor of the charm meson is determined by the charge of the slow pion in the D þ ! D þ and D ! D decay chains. The difference...

Power estimation is an important issue in digital VLSI circuit design. The estimation of average power dissipation of a circuit through exhaustive simulation is impractical due to the large number of primary inputs and their combinations. In this paper, two algorithms based on least square estimation are proposed for determining the average power dissipation in CMOS circuits. Least square estim...