A Framework for the Evaluation of Worst-Case System Efficiency

Details A Framework for the Evaluation of Worst-Case System Efficiency A Framework for the Evaluation of Worst-Case System Efficiency

2011-05-06

arxiv.org/abs/1105.1370v1

Computer Science

Logic in Computer Science

5 Pages. In ICTCS 2010: 12th Italian Conference on Theoretical Computer Science, University of Camerino, Camerino, 2010

Scientific paper

In this paper we present FASE (Fast Asynchronous Systems Evaluation), a tool for evaluating worst-case efficiency of asynchronous systems. This tool implements some well-established results in the setting of a timed CCS-like process algebra: PAFAS (a Process Algebra for Faster Asynchronous Systems). Moreover, we discuss some new solutions that are useful to improve the applicability of FASE to concrete meaningful examples. We finally use fase to evaluate the efficiency of three different implementations of a bounded buffer and compare our results with previous ones obtained when the same implementations have been contrasted according to an efficiency preorder.

Affiliated with

Also associated with

No associations

Rating

A Framework for the Evaluation of Worst-Case System Efficiency does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A Framework for the Evaluation of Worst-Case System Efficiency, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Framework for the Evaluation of Worst-Case System Efficiency will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-577265