Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Cloth, Lucia
20  Ergebnisse:
Personensuche X
?
1

Mean-field framework for performance evaluation of push–pul..:

Bakhshi, Rena ; Cloth, Lucia ; Fokkink, Wan.
Performance Evaluation.  68 (2011)  2 - p. 157-179 , 2011
Link: https://doi.org/10.1016/..
 
?
2

Performability assessment by model checking of Markov rewar..:

Baier, Christel ; Cloth, Lucia ; Haverkort, Boudewijn R...
Formal Methods in System Design.  36 (2010)  1 - p. 1-36 , 2010
Link: https://doi.org/10.1007/..
 
?
3

Mean-Field Analysis for the Evaluation of Gossip Protocols:

, In: 2009 Sixth International Conference on the Quantitative Evaluation of Systems,
Bakhshi, Rena ; Cloth, Lucia ; Fokkink, Wan. - p. None , 2009
Link: https://doi.org/10.1109/..
 
?
4

Quantitative evaluation in embedded system design : pred..:

, In: Proceedings of the conference on Design, automation and test in Europe,
Cloth, Lucia ; Haverkort, Boudewijn R. - p. 90-91 , 2008
Link: https://dl.acm.org/doi/1..
 
?
5

MeanField analysis for the evaluation of gossip protocols:

Bakhshi, Rena ; Cloth, Lucia ; Fokkink, Wan.
ACM SIGMETRICS Performance Evaluation Review.  36 (2008)  3 - p. 31-39 , 2008
Link: https://doi.org/10.1145/..
 
?
6

MeanField analysis for the evaluation of gossip protocols:

Bakhshi, Rena ; Cloth, Lucia ; Fokkink, Wan.
ACM SIGMETRICS Performance Evaluation Review.  36 (2008)  3 - p. 31-39 , 2008
Link: https://dl.acm.org/doi/1..
 
?
7

Model Checking Markov Chains with Actions and State Labels:

Baier, Christel ; Cloth, Lucia ; Haverkort, Boudewijn R...
IEEE Transactions on Software Engineering.  33 (2007)  4 - p. 209-224 , 2007
Link: https://doi.org/10.1109/..
 
?
8

CSL model checking algorithms for QBDs:

Remke, Anne ; Haverkort, Boudewijn R. ; Cloth, Lucia
Theoretical Computer Science.  382 (2007)  1 - p. 24-41 , 2007
Link: https://doi.org/10.1016/..
 
?
9

Uniformization with representatives : comprehensive tran..:

, In: Proceeding from the 2006 workshop on Tools for solving structured Markov chains,
Remke, Anne ; Haverkort, Boudewijn R. ; Cloth, Lucia - p. 7-es , 2006
Link: https://dl.acm.org/doi/1..
 
?
10

Mean-Field Analysis for the Evaluation of Gossip Protocols:

Bakshi, Rena ; Cloth, Lucia ; Fokkink, Wan.
http://doc.utwente.nl/70227/1/IEEEXplore.pdf.  , 2009
Link: http://purl.utwente.nl/p..
 
?
11

Mean-field analysis for the evaluation of gossip protocols:

Bakhshi, Rena ; Cloth, Lucia ; Fokkink, Wan.
http://doc.utwente.nl/65330/1/bakhshietal.pdf.  , 2008
Link: http://purl.utwente.nl/p..
 
?
12

07101 Working Group Report -- Performance Measures Other Th..:

Cloth, Lucia ; Crouzen, Pepijn ; Fruth, Matthias...
doi:10.4230/DagSemProc.07101.3.  , 2007
Link: https://doi.org/10.4230/..
 
?
13

Model Checking Markov Chains with Actions and State Labels:

Baier, Christel ; Cloth, Lucia ; Haverkort, Boudewijn R..
http://doc.utwente.nl/66558/1/04123324.pdf.  , 2007
Link: http://purl.utwente.nl/p..
 
?
14

Computing Battery Lifetime Distributions:

Cloth, Lucia ; Jongerden, Marijn R ; Haverkort, Boudewijn R
http://doc.utwente.nl/64313/1/clothl-battery.pdf.  , 2007
Link: http://purl.utwente.nl/p..
 
?
15

Uniformization with Representatives - comprehensive transie..:

Remke, Anne ; Haverkort, Boudewijn R ; Cloth, Lucia
http://doc.utwente.nl/66348/1/gliederung.pdf.  , 2006
Link: http://purl.utwente.nl/p..
 
1-15