A common program optimization strategy is to eliminate recomputation by caching and reusing results. We analyze the problems involved in automating this strategy: deciding which computations are safe to cache, transforming the rest of the program to make them safe, choosing the most cost-effective ones to cache, and maintaining the optimized code. The analysis extends previous work on caching b...

We introduce a class of linear programs with constraints in the form of implications. Such linear programs arise in support vector machine classification, where in addition to explicit datasets to be classified, prior knowledge such as expert’s experience in the form of logical implications, are imposed on the classifier. The overall problem can be viewed either as a semi-infinite linear progra...

In this paper, we propose Estimation of Distribution Programming (EDP) based on a probability distribution expression using a Bayesian network. EDP is a population-based program search method, in which the population probability distribution is estimated, and individuals are generated based on the results. We focus our attention on the fact that the dependency relationship of nodes of the progr...

Discussion of a paper in RE program committees is often complicated by lack of agreement about evaluation criteria to be applied to the paper. For some years now, successive program chairs have attempted to increase clarity by including a paper classification in their CFP, and making the evaluation criteria per paper class explicit. This short note presents a paper classification based on this ...

This chapter presents the recommendation techniques applied in Personal Program Guide (PPG). This is a system generating personalized Electronic Program Guides for Digital TV. The PPG manages a user model that stores the estimates of the individual user’s preferences for TV program categories. This model results from the integration of different preference acquisition modules that handle explic...

An information flow program is one that processes or transforms streams of data packets. The object-based Infopipes system allows an information flow program to be constructed by connecting objects with explicit data channels, but a phenomenon known as port polarity makes code reuse difficult by requiring the programmer to maintain multiple versions of the same Infopipe that differ slightly in ...

The mechanism of copy-on-write is recently used in speculative and deterministic parallel systems. In these systems, copy-on-write happens when a task modifies a variable for the first time. At the program level, the copying is a form of renaming. This paper extends the formalism of static single assignment (SSA) to introduce a program representation called task static single assignment (T-SSA)...

objective: the study was designed to examine explicit memory bias in trait-anxiety and obsessive compulsive disorder. method: memory bias was examined in three groups of subjects: low-trait  anxious (20 subjects), high-trait anxious (20 subjects), and obsessive compulsive patients (20 subjects) in whom danger schema were activated after they were exposed the threat-related material. the trait-a...

this study examines the efficiency of pedagogical intervention in raising l2 pragmatic awareness of the iranian efl learners. more specifically, it seeks to investigate the difference between explicit and implicit instructions in improving pragmatic appropriateness of the english refusals by adult persian native speakers in an efl classroom context. fifty-four participants, with approximately t...