@inproceedings(Albers,
 author       = {Susanne Albers},
 year         = {2011},
 title        = {{Algorithms for Dynamic Speed Scaling}},
 booktitle    = {28th International Symposium on Theoretical Aspects of Computer Science (STACS 2011)},
 series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
 volume       = {9},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
 address      = {Dagstuhl, Germany},
 pages        = {1--11},
 doi          = {10.4230/LIPIcs.STACS.2011.1},
)
@inbook(AlmagorBK,
 author       = {Shaull Almagor and Udi Boker and Orna Kupferman},
 year         = {2011},
 title        = {What's Decidable about Weighted Automata?},
 pages        = {482--491},
 publisher    = {Springer},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/978-3-642-24372-1\_37},
)
@inproceedings(AlurTP01,
 author       = {Rajeev Alur and {La Torre}, Salvatore and George J. Pappas},
 year         = {2001},
 title        = {Optimal Paths in Weighted Timed Automata},
 booktitle    = {Hybrid Systems: Computation and Control, 4th International Workshop, {HSCC} 2001, Rome, Italy, March 28-30, 2001, Proceedings},
 pages        = {49--62},
 doi          = {10.1007/3-540-45351-2\_8},
)
@article(AminofKL,
 author       = {Benjamin Aminof and Orna Kupferman and Robby Lampert},
 year         = {2010},
 title        = {Reasoning About Online Algorithms with Weighted Automata},
 journal      = {ACM Trans. Algorithms},
 volume       = {6},
 number       = {2},
 pages        = {28:1--28:36},
 doi          = {10.1145/1721837.1721844},
)
@inbook(BansalCLL,
 author       = {Nikhil Bansal and Ho-Leung Chan and Tak-Wah Lam and Lap-Kei Lee},
 year         = {2008},
 title        = {{Scheduling for Speed Bounded Processors}},
 pages        = {409--420},
 publisher    = {Springer},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/978-3-540-70575-8\_34},
)
@article(BansalKP,
 author       = {Nikhil Bansal and Tracy Kimbrel and Kirk Pruhs},
 year         = {2007},
 title        = {Speed scaling to manage energy and temperature},
 journal      = {J. {ACM}},
 volume       = {54},
 number       = {1},
 pages        = {3:1--3:39},
 doi          = {10.1145/1206035.1206038},
)
@article(Bernardo,
 author       = {Marco Bernardo and De Nicola, Rocco and Michele Loreti},
 year         = {2013},
 title        = {A Uniform Framework for Modeling Nondeterministic, Probabilistic, Stochastic, or Mixed Processes and Their Behavioral Equivalences},
 journal      = {Inf. Comput.},
 volume       = {225},
 pages        = {29--82},
 doi          = {10.1016/j.ic.2013.02.004},
)
@inbook(BouyerFLMS,
 author       = {{Bouyer, Patricia and Fahrenberg, Uli and Larsen, Kim G. and Markey, Nicolas and Srba, Ji{\v{r}}{\'i}}},
 year         = {2008},
 title        = {Infinite Runs in Weighted Timed Automata with Energy Constraints},
 pages        = {33--47},
 publisher    = {Springer},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/978-3-540-85778-5\_4},
)
@inproceedings(SNIPER,
 author       = {Trevor E. Carlson and Wim Heirman and Lieven Eeckhout},
 year         = {2011},
 title        = {{Sniper: Exploring the Level of Abstraction for Scalable and Accurate Parallel Multi-Core Simulations}},
 booktitle    = {International Conference for High Performance Computing, Networking, Storage and Analysis},
 publisher    = {ACM},
 pages        = {52:1--52:12},
 doi          = {10.1145/2063384.2063454},
)
@inproceedings(Gotz+:1993,
 author       = {Norbert G\"{o}tz and Ulrich Herzog and Michael Rettelbach},
 year         = {1993},
 title        = {Multiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis Using Stochastic Process Algebras},
 booktitle    = {Performance Evaluation of Computer and Communication Systems, Joint Tutorial Papers of Performance '93 and Sigmetrics '93},
 publisher    = {Springer-Verlag},
 address      = {London, UK, UK},
 pages        = {121--146},
 doi          = {10.1007/BFb0013851},
)
@article(HermannsHK02,
 author       = {Holger Hermanns and Ulrich Herzog and Joost{-}Pieter Katoen},
 year         = {2002},
 title        = {Process algebra for performance evaluation},
 journal      = {Theoretical Computer Science},
 volume       = {274},
 number       = {1-2},
 pages        = {43--87},
 doi          = {10.1016/S0304-3975(00)00305-4},
)
@inproceedings(H264,
 author       = {{ISO/IEC 14496-10}},
 title        = {{Advanced Video Coding for Generic Audiovisual Services}},
 booktitle    = {http://www.itu.int/ITU-T/recommendations/rec.aspx?rec=11466},
)
@inproceedings(silvermont,
 author       = {David Kanter},
 year         = {2013},
 title        = {{Silvermont: Intel{'}s Low Power Architecture}},
 booktitle    = {{http://www.realworldtech.com/silvermont}},
)
@inproceedings(KiehnA-amortized,
 author       = {Astrid Kiehn and Arun{-}Kumar, S.},
 year         = {2005},
 title        = {Amortised Bisimulations},
 booktitle    = {Formal Techniques for Networked and Distributed Systems - {FORTE} 2005, 25th {IFIP} {WG} 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings},
 pages        = {320--334},
 doi          = {10.1007/11562436\_24},
)
@inbook(Klin,
 author       = {Bartek Klin},
 year         = {2009},
 title        = {Structural Operational Semantics for Weighted Transition Systems},
 pages        = {121--139},
 publisher    = {Springer},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/978-3-642-04164-8\_7},
)
@article(KlinS,
 author       = {Bartek Klin and Vladimiro Sassone},
 year         = {2013},
 title        = {Structural operational semantics for stochastic and weighted transition systems},
 journal      = {Inf. Comput.},
 volume       = {227},
 pages        = {58--83},
 doi          = {10.1016/j.ic.2013.04.001},
)
@inproceedings(KocherJJ,
 author       = {Paul C. Kocher and Joshua Jaffe and Benjamin Jun},
 year         = {1999},
 title        = {Differential Power Analysis},
 booktitle    = {Proceedings of the 19th Annual International Cryptology Conference on Advances in Cryptology},
 series       = {CRYPTO '99},
 publisher    = {Springer-Verlag},
 pages        = {388--397},
 doi          = {10.1007/3-540-48405-1\_25},
)
@article(LarsenR08,
 author       = {Kim Guldstrand Larsen and Jacob Illum Rasmussen},
 year         = {2008},
 title        = {Optimal reachability for multi-priced timed automata},
 journal      = {Theoretical Computer Science},
 volume       = {390},
 number       = {2-3},
 pages        = {197--213},
 doi          = {10.1016/j.tcs.2007.09.021},
)
@inproceedings(MCPAT,
 author       = {Sheng Li and Jung Ho Ahn and Richard D. Strong and Jay B. Brockman and Dean M. Tullsen and Norman P. Jouppi},
 year         = {2009},
 title        = {{McPAT: An Integrated Power, Area, and Timing Modeling Framework for Multicore and Manycore Architectures}},
 booktitle    = {Proceedings of the 42nd Annual IEEE/ACM International Symposium on Microarchitecture},
 publisher    = {ACM},
 pages        = {469--480},
 doi          = {10.1145/1669112.1669172},
)
@article(PalSPP16,
 author       = {Rajesh Kumar Pal and Ierum Shanaya and Kolin Paul and Sanjiva Prasad},
 year         = {2016},
 title        = {Dynamic core allocation for energy efficient video decoding in homogeneous and heterogeneous multicore architectures},
 journal      = {Future Generation Comp. Syst.},
 volume       = {56},
 pages        = {247--261},
 doi          = {10.1016/j.future.2015.09.018},
)
@inproceedings(VIDEO,
 author       = {Michael Roitzsch},
 year         = {2007},
 title        = {{Slice-Balancing H.264 Video Encoding for Improved Scalability of Multicore Decoding}},
 booktitle    = {Proceedings of the 7th ACM/IEEE International Conference on Embedded Software},
 pages        = {269--278},
 doi          = {10.1145/1289927.1289969},
)
@inproceedings(YaoDS,
 author       = {F. Yao and A. Demers and S. Shenker},
 year         = {1995},
 title        = {A Scheduling Model for Reduced CPU Energy},
 booktitle    = {Proceedings of the 36th Annual Symposium on Foundations of Computer Science},
 series       = {FOCS '95},
 publisher    = {IEEE Computer Society},
 address      = {Washington, DC, USA},
 pages        = {374--},
 doi          = {10.1109/SFCS.1995.492493},
)