Recently, web service is growing more and more popular. Java is a representative language to implement web based services. But its platform independency slows its running speed. Partial evaluation can be used to improve Java bytecode efficiency. In this paper, we present a distributed Java bytecode partial evaluation architecture to accelerate Java based web service running speed by optimizing ...

Partial evaluation is a program specialisation technique that has been shown to have great potential in logic programming, particularly for the specialisation of meta-interpreters by the so-called " Futamura Projections ". Meta-interpreters and other meta-programs are programs which use another program as data. The Futamura projections also show that partial evaluator which is self-applicable (...

Despite major advances in the prediction of violence and risk management, risk evaluations are necessarily imperfect. This article focuses on the role of the evaluator in such assessments and addresses the consequences incurred by clinicians involved in conducting risk assessments. We discuss the risks of overpredicting and underpredicting violence with respect to how these risks can influence ...

This paper presents the design of NetPIPE, a new Network Protocol Independent Performance Evaluator. NetPIPE maps the performance of a network across a wide range and presents the data in a new manner. Its protocol independence allows for visualization of the overhead associated with a protocol layer. Using Net-PIPE has led to the discovery of a deep plunge in ATM performance for certain transf...

The generalized hypergeometric series is numerically evaluated using extended precision subroutines. Cases involving large, complex arguments are shown to be accurate up to 12 significant figures. PROGRAM SUMMARY Title of program: PFQ

The research evaluation process is becoming nowadays of critical importance since public and private institutions use results of this process to decide research funds allocations, promotions, and hiring positions. For this purpose, several data sources are available with different features, and different degree of openness, accuracy, completeness, and cost. It would be desirable having a tool a...

We show how testing convertibility of two types in dependently typed systems can advantageously be implemented instead untyped normalization by evaluation, thereby reusing existing compilers and runtime environments for stock functional languages, without peeking under the hood, for a fast yet cheap system in terms of implementation effort. Our focus is on performance of untyped normalization b...

Exposure to solar UVA (320-400 nm) radiation can damage DNA and lead to skin disorders. Conventional dosimetry using a single piece of polysulfone or diglycol carbonate (CR-39) cannot provide accurate measurement of the biologically effective irradiance for erythema for the UVA waveband. A package employing four dosimeters (polysulfone, nalidixic acid, 8-methoxypsoralen and phenothiazine) has b...