Sciweavers

3579 search results - page 59 / 716
» Transformations of software models into performance models
Sort
View
PICS
2001
15 years 1 months ago
Applying Mixed Adaptation to Various Chromatic Adaptation Transformation (CAT) Models
In 1998, a Technical Committee 8-04 was formed in CIE/Division 8, "to investigate the state of adaptation of the visual system when comparing soft-copy images on selfluminous...
Naoya Katoh, Kiyotaka Nakabayashi
ENTCS
2007
101views more  ENTCS 2007»
14 years 11 months ago
Parametric Performance Contracts: Non-Markovian Loop Modelling and an Experimental Evaluation
Even with todays hardware improvements, performance problems are still common in many software systems. An approach to tackle this problem for component-based software architectur...
Heiko Koziolek, Viktoria Firus
WOSP
2005
ACM
15 years 5 months ago
Modeling the performance of a NAT/firewall network service for the IXP2400
The evolution towards IP-aware access networks creates the possibility (and, indeed, the desirability) of additional network services, like firewalling or NAT, integrated into th...
Tom Verdickt, Wim Van de Meerssche, Koert Vlaeminc...
MA
2010
Springer
94views Communications» more  MA 2010»
14 years 10 months ago
On sparse estimation for semiparametric linear transformation models
: Semiparametric linear transformation models have received much attention due to its high flexibility in modeling survival data. A useful estimating equation procedure was recent...
Hao Helen Zhang, Wenbin Lu, Hansheng Wang
VMCAI
2010
Springer
15 years 9 months ago
Best Probabilistic Transformers
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
Björn Wachter, Lijun Zhang