The interest in the implementation of demand response programs for domestic customers within the framework of smart grids is increasing, both from the point of view of scientific research and from the point of view of real applications through pilot projects. A fundamental element of any demand response program is the introduction at customer level of a device, generally named energy box, able ...

This paper presents a demand transformation analysis that maps a predi-cate's output demands to its input demands. This backward dataaow analysis for concurrent constraint programs is constructed in the framework of abstract interpretation. In the context of stream parallelism, this analysis identiies an amount of input data for which predicate execution can safely wait without danger of introd...

Objectives: OpenMusic (OM) is a domain-specific visual programming language designed for computeraided music composition. This language based on Common Lisp allows composers to develop functional processes generating or transforming musical data, and to execute them locally by demand-driven evaluations. As most historical computer-aided composition environments, OM relies on a transformational ...

In this paper we discuss the advantage of lazy functional logic languages to solve search problems. We show that the lazy evaluation strategy of such languages can be easily exploited to implement a solver that explores only the dynamically demanded parts of the search space. In contrast to pure logic programming, the use of nondeterministic functions enables a modular and simple implementation...

duration of enrollment and utilization under children's health insurance programs for States planning to expand such programs in response to the Balanced Budget Act of 1997. Using data from children's health insurance programs in Pennsylvania, we find that there is a significant turnover among enrollees and the pattern of use following enrollment suggests considerable pent-up demand for medical...