As partial evaluation gets more mature it is now possible to use this program transformation technique to tackle realistic languages and real size application programs However this evolution raises a num ber of critical issues that need to be addressed before the approach be comes truly practical First of all most existing partial evaluators have been developed based on the assumption that they...

Because of its wide applicability, many eecient implementations of the Fast Fourier Transform have been developed. We propose that an eecient implementation can be produced automatically and reliably by partial evaluation. Partial evaluation of an unoptimized implementation produces a speedup of over 9 times. The automatically generated result of partial evaluation has performance comparable to...

In real-time computing is essential the accurate characterization of the performance and determinism that a particular real-time operating systehardware combination can provide for real-time applications. This issue is not properly addressed by existing performance metrics, mainly due to the lack of completeness and generalization. In this paper we present a set of comprehensive, easy-to-implem...

Logistics support is a key element of aircraft transportation systems. This paper is concerned with the impact of aircraft spares provisioning decisions on the availability of aircraft. Spares provisioning in this context is complicated by the fact that spares may be shared across aircraft and that aircraft may have redundant systems. In addition, decisions concerning aircraft spares support re...

Two main aspects of Partial Evaluation for Prolog programs are considered: treatment of cuts and control of recursion. The analysis about cut is exhaustive: we consider occurrences of cut within both conjunctions and disjunctions. We show which restrictions are necessary to safely deal with cut in Partial Evaluation and which transformations are allowed. We define a set of conditions for compil...

In this paper, the evaluation of time profile of a femtosecond pulse laser propagated through biological tissues is studied. The majority of the biological tissues with a high scattering anisotropy must be considered as turbid media, that their optical responses are complicated. To study the propagation of ultra-short pulse in turbid media, the diffuse equation is used. In this study, the analy...

We consider an exponentially stable closed loop interconnection of a continuous linear plant and a continuous linear controller, and we study the problem of interconnecting the plant output to the controller input through a digital channel. We propose a family of “transmission-lazy” sensors whose goal is to transmit the measured plant output information as little as possible while preserving cl...

Calendar queues (CQ) are often employed in discrete event simulators to store pending events. They can achieve O(1) access time as long as the CQ resizes often enough to ensure that events are not skewed but evenly distributed in the queue structure. However, a resize operation would involve creating a new CQ structure and then moving each item from the old CQ to the new CQ before discarding th...