Finite State Machine Decomposition for Low Power

Clock-gating techniques have been shown to be very effective in the reduction of the switching activity in sequential logic circuits. In this paper we describe a new clock-gating technique based on finite state machine (FSM) decomposition. We compute two sub-FSMs that together have the same functionality as the original FSM. For all the transitions within one sub-FSM, the clock for the other sub-FSM is disabled. To minimize the average switching activity, we search for a small cluster of states with high stationary state probability and use it to create the small sub-FSM. This way we will have a small amount of logic that is active most of the time, during which is disabling a much larger circuit, the other sub-FSM. We provide a set of experimental results that show that power consumption can be substantially reduced, in some cases up to 80%. I

Generalization of Pattern-growth Methods for Sequential Pattern Mining with Gap Constraints

Abstract The problem of sequential pattern mining is one of the several issues that have deserved particular attention on the general problem of data mining. Despite the important developments in the last years, the best algorithm in the area (PrefixSpan) does not deal with gap constraints and consequently doesn't allow for the introduction of background knowledge into the process. In this paper we present the generalization of the PrefixSpan algorithm to deal with gap constraints, using a new method to generate projected databases. Studies on performance and scalability were conducted in synthetic and real-life datasets, and the respective results are presented

A Tense And Aspect Calculus

This paper focuses on a theory of tense and aspect (the representation of time in natural language) that attempts a formal representation of the relevant linguistic devices as implication rules in first order logic. It presents a rich ontology as far as verb aspect is concerned, distinguishing between complex patterns and vagueness. Examples and conclusions are drawn from the comparison between English and Portuguese, pinpointing the importance of contrastive studies both for the understanding and for the evaluation of a general theory of tense and aspect. In the paper, we present the actual translations of a wide range of phenomena, and a short example. 1 Introduction The method we propose to represent and reason with tense and aspect (T&A) in natural language has several distinguished features: It is both used in the building of the semantic representation of natural language text, and in the inferences allowed from what was actually said. There is therefore no conceptual separa..