Susanne Albers
2011
Algorithms for Dynamic Speed Scaling
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
1–11
10.4230/LIPIcs.STACS.2011.1
Shaull Almagor
Udi Boker
Orna Kupferman
2011
What's Decidable about Weighted Automata?
482–491
Springer
Berlin, Heidelberg
10.1007/978-3-642-24372-1_37
Rajeev Alur
Salvatore La Torre
George J. Pappas
2001
Optimal Paths in Weighted Timed Automata
Hybrid Systems: Computation and Control, 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001, Proceedings
49–62
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
28:1–28:36
10.1145/1721837.1721844
Nikhil Bansal
Ho-Leung Chan
Tak-Wah Lam
Lap-Kei Lee
2008
Scheduling for Speed Bounded Processors
409–420
Springer
Berlin, Heidelberg
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
3:1–3:39
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
29–82
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
33–47
Springer
Berlin, Heidelberg
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
International Conference for High Performance Computing, Networking, Storage and Analysis
ACM
52:1–52:12
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
Performance Evaluation of Computer and Communication Systems, Joint Tutorial Papers of Performance '93 and Sigmetrics '93
Springer-Verlag
London, UK, UK
121–146
10.1007/BFb0013851
Holger Hermanns
Ulrich Herzog
Joost-Pieter Katoen
2002
Process algebra for performance evaluation
Theoretical Computer Science
274
1-2
43–87
10.1016/S0304-3975(00)00305-4
ISO/IEC 14496-10
Advanced Video Coding for Generic Audiovisual Services
http://www.itu.int/ITU-T/recommendations/rec.aspx?rec=11466
David Kanter
2013
Silvermont: Intel's Low Power Architecture
http://www.realworldtech.com/silvermont
Astrid Kiehn
S. Arun-Kumar
2005
Amortised Bisimulations
Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings
320–334
10.1007/11562436_24
Bartek Klin
2009
Structural Operational Semantics for Weighted Transition Systems
121–139
Springer
Berlin, Heidelberg
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
58–83
10.1016/j.ic.2013.04.001
Paul C. Kocher
Joshua Jaffe
Benjamin Jun
1999
Differential Power Analysis
Proceedings of the 19th Annual International Cryptology Conference on Advances in Cryptology
CRYPTO '99
Springer-Verlag
388–397
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
197–213
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
Proceedings of the 42nd Annual IEEE/ACM International Symposium on Microarchitecture
ACM
469–480
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
247–261
10.1016/j.future.2015.09.018
Michael Roitzsch
2007
Slice-Balancing H.264 Video Encoding for Improved Scalability of Multicore Decoding
Proceedings of the 7th ACM/IEEE International Conference on Embedded Software
269–278
10.1145/1289927.1289969
F. Yao
A. Demers
S. Shenker
1995
A Scheduling Model for Reduced CPU Energy
Proceedings of the 36th Annual Symposium on Foundations of Computer Science
FOCS '95
IEEE Computer Society
Washington, DC, USA
374–
10.1109/SFCS.1995.492493