BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × United Kingdom
Collaborated with:
B.R.Haverkort A.Remke
Talks about:
quantit (1) predict (1) lifetim (1) infinit (1) batteri (1) system (1) markov (1) design (1) state (1) model (1)

Person: Lucia Cloth

DBLP DBLP: Cloth:Lucia

Contributed to:

DATE 20082008
TACAS 20052005

Wrote 2 papers:

DATE-2008-ClothH #design #embedded #evaluation #mobile #predict
Quantitative Evaluation in Embedded System Design: Predicting Battery Lifetime in Mobile Devices (LC, BRH), pp. 90–91.
TACAS-2005-RemkeHC #infinity #markov #model checking
Model Checking Infinite-State Markov Chains (AR, BRH, LC), pp. 237–252.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.