Sciweavers

4018 search results - page 48 / 804
» Process algebra for performance evaluation
Sort
View
COORDINATION
2009
Springer
16 years 11 days ago
Assume-Guarantee Verification of Concurrent Systems
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
Liliana D'Errico, Michele Loreti
ICSE
2008
IEEE-ACM
16 years 19 days ago
A case study evaluation of maintainability and performance of persistency techniques
Efforts for software evolution supersede any other part of the software life cycle. Technological decisions have a major impact on the maintainability, but are not well reflected ...
Thomas Goldschmidt, Ralf Reussner, Jochen Winzen
CIVR
2008
Springer
127views Image Analysis» more  CIVR 2008»
15 years 1 months ago
Performance evaluation of relevance feedback methods
In this paper we review the evaluation of relevance feedback methods for content-based image retrieval systems. We start out by presenting an overview of current common practice, ...
Mark J. Huiskes, Michael S. Lew
RSP
2006
IEEE
116views Control Systems» more  RSP 2006»
15 years 5 months ago
Performance Evaluation of an Adaptive FPGA for Network Applications
This paper presents the design and the performance evaluation of a coarse-grain dynamically reconfigurable platform for network applications. The platform consists of two MicroBla...
Christoforos Kachris, Stamatis Vassiliadis
IPPS
2006
IEEE
15 years 5 months ago
Performance evaluation of an enhanced distributed channel access protocol under heterogeneous traffic
Recently there have been considerable interests focusing on the performance evaluation of IEEE 802.11e Medium Access Control (MAC) protocols, which were proposed for supporting Qu...
Mamun I. Abu-Tair, Geyong Min