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