4018 search results - page 55 / 804 » Process algebra for performance evaluation |
102
click to vote
WEBDB
2009
Springer
15 years 6 months ago
2009
Springer
Various approaches have been recently proposed for storing the evolution of an XML document, thereby preserving useful past information about the document and thus the ability to ...
DAC
2002
ACM
16 years 24 days ago
2002
ACM
We present an analytical method to evaluate embedded network packet processor architectures, and to explore their design space. Our approach is in contrast to those based on simul...
IPPS
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...
ISSAC
2001
Springer
15 years 4 months ago
2001
Springer
The following questions are often encountered in system and control theory. Given an algebraic model of a physical process, which variables can be, in theory, deduced from the inp...
ENTCS
2002
14 years 11 months ago
2002
Abstract. We present an extension to linear-time temporal logic (LTL) that combines the temporal specification with the collection of statistical data. By collecting statistics ove...