Concurrent logic languages have been traditionally executed in a \greedy" fashion, such that computations are goal-driven. In contrast, non-strict functional programs have been traditionally executed in a \dataaow" fashion, such that computations are demand-driven. The latter method can be superior when allocation of resources such as memory is critical, which is usually the case for large, com...

Production decisions in a manufacturing supply chain are no longer driven by manual systems based on instinct and experience. They are regulated interactions between analysts, production managers and their collective manipulation of policies within the production information system. This paper studies the demand behavior in manufacturing supply chains and its relationships to the logic of produ...

Ray tracing is a powerful technique to generate realistic images of 3D scenes. A drawback is its high demand for processing power. Multiprocessing is one way to meet this demand. However, when the models are very large, special attention must be paid to the way the algorithm is parallelised. Combining demand driven and data parallel techniques provides good opportunities to arrive at an efficie...

Achieving the organizational objectives needs employees’ behavior and their collaboration with management. Strategic behavior-driven is depend on different factors. The aim of this article is to determine the impact of factors on strategic behavior-driven. A conceptual model was developed and tested on a survey in Social Insurance Company of Tehran which employees’ participated. Data collected ...

Call graph construction has been an important area of research within the compilers and programming languages community. However, all existing techniques focus on exhaustive analysis of all the call-sites in the program. With increasing importance of just-in-time or dynamic compilation and use of program analysis as part of the software development environments, we believe that there is a need ...

Many researchers have proposed programming languages that support incremental computation (IC), which allows programs to be efficiently re-executed after a small change to the input. However, existing implementations of such languages have two important drawbacks. First, recomputation is oblivious to specific demands on the program output; that is, if a program input changes, all dependencies w...

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...

In this paper we first point out a puzzle regarding the nature of US business cycles over the last thirty years. As is well known, over this period the economy experienced three main cycles. In each case, the common narrative behind these cycles has been that they were in large part driven by demand (residential investment demand in the 2000s, “tech” investment demand in the 1990s, and commerci...