In this paper, we introduce FPS, a mechanism to define performance measures for stochastic process algebra models. FPS is a functional performance specification language which describes passagetime, transient, steady-state and continuous state space performance questions. We present a generalisation of stochastic probes, a formalismindependent specification of behaviour in stochastic process al...

This paper presents a practical evaluation and comparison of three state-of-the-art parallel functional languages. The evaluation is based on implementations of three typical symbolic computation programs, with performance measured on a Beowulf-class parallel architecture. ∗This work is primarily supported by the Austrian Academy of Sciences (APART fellowship 624), the Japan Society for the Pro...

OBJECTIVES The purpose of this study was to describe home and community functional performance in 5-year-old children with Down syndrome. METHOD In a cross-sectional study of 5-year-old children with Down syndrome in Norway (N=43), functional performance was measured with the Norwegian translation of the Pediatric Evaluation of Disability Inventory (PEDI). Additional descriptive information r...

We present a major revision of the XPath benchmark known as XPathMark [1]. The new version splits into a functional test over a small educational document and a more elaborated performance test over XMark [2] documents. We conclude by sharing with the reader our experience on running XPathMark on some popular XSLT/XQuery processors. 1 Functional and Performance Tests for XPath The new release o...

Web Service Choreography Description Language is a main-stream standard for the description of peer-to-peer collaborations for the participants for service composition. To predict the performance of composite service processes gives the way to tell whether the process meet the non-functional requirements, and to choose the process with better performance from those with identical function. Unfo...

A key component of group analyses of neuroimaging data is precise and valid spatial normalization (i.e., inter-subject image registration). When patients have structural brain lesions, such as a stroke, this process can be confounded by the lack of correspondence between the subject and standardized template images. Current procedures for dealing with this problem include regularizing the estim...

We address the problem of verifying the correctness of pre-silicon models of a microprocessor. We touch on the latest advances in this area by considering two different aspects of the validation problem: (a) verifying the functional integrip of the model and (b) testing the model for timing accuracy at the architectural level. The latter area, that of performance verification, is of increasing ...

Trade-offs are believed to impose major constraints on adaptive evolution, and they arise when modification of a trait improves one aspect of performance but incurs a cost in another. Here we show that performance costs that result from competing demands on one trait can be mitigated by compensatory changes in other traits, so long as performance has a complex basis. Numerical simulations indic...