R. Moreno

Learn More
A method for register number estimation in unscheduled or partially scheduled dataflow graphs is presented. The strategy consists of studying the probability that an edge between two nodes crosses the boundary between two control steps, and its is based on a model that associates probabilities with the different scheduling alternatives of each node. These(More)
Article is made available in accordance with the publisher's policy and may be subject to US copyright law. Please refer to the publisher's site for terms of use. The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters. ABSTRACT This paper describes an effective method for teaching design in a(More)
The markets in which organizations currently operate require them to use behaviour based on both exploitation strategy and exploration strategy, each of which contributes fundamental benefits for the firm's success. Exploitation strategy attempts to obtain the maximum advantage from existing abilities, whereas exploration strategy searches for new ways for(More)
The well-founded semantics for normal logic programs is deened in a constructive way through the use of a xpoint operator and in general is not computable. We propose an approach for approximating through abstract interpretation the concrete behavior of normal logic programs described by the well-founded semantics. We provide also an abstract well-founded(More)
The paper introduces a semantics for logic programs based on rst order hereditary Harrop formulas which are expressed in terms of intuitionistic derivations. The derivations are constructed by means of an intuitionistic proof procedure that constitutes the resolution mechanism of the language. The semantics of a program is a goal independent denotation(More)