TY - JOUR AU - Tiwari, V. AU - Malik, S. AU - Wolfe, A. PY - 1994 DA - 1994// TI - Power analysis of embedded software: a first step towards software power minimization JO - IEEE Transactions on Very Large Scale Integration (VLSI) Systems VL - 2 UR - https://doi.org/10.1109/92.335012 DO - 10.1109/92.335012 ID - Tiwari1994 ER - TY - CHAP AU - Brooks, D. AU - Tiwari, V. AU - Martonosi, M. PY - 2000 DA - 2000// TI - Wattch: a framework for architectural-level power analysis and optimizations BT - Proceedings of the 27th Annual International Symposium on Computer Architecture (ISCA '07) ID - Brooks2000 ER - TY - CHAP AU - de Almeida Callou, G. AU - Maciel, P. AU - de Andrade, E. AU - Nogueira, B. AU - Tavares, E. PY - 2008 DA - 2008// TI - A coloured petri net based approach for estimating execution time and energy consumption in embedded systems. BT - Proceedings of the 21st Annual Symposium on Integrated Circuits and System Design ID - de Almeida Callou2008 ER - TY - CHAP AU - Senn, E. AU - Laurent, J. AU - Julien, N. AU - Martin, E. PY - 2004 DA - 2004// TI - Algorithmic level power and energy optimization for DSP applications: SoftExplorer. BT - Proceedings of the IEEE International Symposium on Image/Video Communications (ISIVC '04) ID - Senn2004 ER - TY - CHAP AU - Ye, W. AU - Vijaykrishnan, N. AU - Kandemir, M. AU - Irwin, M. J. PY - 2000 DA - 2000// TI - The design and use of SimplePower: a cycle-accurate energy estimation tool BT - Proceedings of the 37th Design Automation Conference (DAC '00) UR - https://doi.org/10.1145/337292.337436 DO - 10.1145/337292.337436 ID - Ye2000 ER - TY - BOOK AU - Jensen, K. PY - 1992 DA - 1992// TI - Coloured Petri Nets: Basic Concepts, Analysis Methods, and Practical Use PB - Springer CY - New York, NY, USA UR - https://doi.org/10.1007/978-3-662-06289-0 DO - 10.1007/978-3-662-06289-0 ID - Jensen1992 ER - TY - JOUR AU - Murata, T. PY - 1989 DA - 1989// TI - Petri nets: properties, analysis and applications JO - Proceedings of the IEEE VL - 77 UR - https://doi.org/10.1109/5.24143 DO - 10.1109/5.24143 ID - Murata1989 ER - TY - BOOK AU - Wells, L. PY - 2002 DA - 2002// TI - Performance analysis using coloured petri nets, Ph.D. thesis ID - Wells2002 ER - TY - JOUR AU - Bleakley, C. AU - Casas-Sanchez, M. AU - Rizo-Morente, J. PY - 2006 DA - 2006// TI - Software level power consumption models and power saving techniques for embedded DSP processors JO - Journal of Low Power Electronics VL - 2 ID - Bleakley2006 ER - TY - JOUR AU - Tiwari, V. AU - Lee, M. T. -. C. PY - 1998 DA - 1998// TI - Power analysis of a 32-bit embedded microcontroller JO - VLSI Design VL - 7 UR - https://doi.org/10.1155/1998/89432 DO - 10.1155/1998/89432 ID - Tiwari1998 ER - TY - CHAP AU - Oliveira, M. N. AU - Neto, S. AU - Maciel, P. AU - Lima, R. AU - Ribeiro, A. AU - Barreto, R. AU - Tavares, E. AU - Braga, F. PY - 2006 DA - 2006// TI - Analyzing software performance and energy consumption of embedded systems by probabilistic modeling: an approach based on coloured petri nets. BT - Proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (ICATPN '06) ID - Oliveira2006 ER - TY - CHAP AU - Laurent, J. AU - Senn, E. AU - Julien, N. AU - Martin, E. PY - 2001 DA - 2001// TI - High-level energy estimation for DSP systems BT - Proceedings of the International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS '01) ID - Laurent2001 ER - TY - BOOK AU - Zimmermann, A. PY - 2007 DA - 2007// TI - Stochastic Discrete Event Systems: Modeling, Evaluation, Applications PB - Springer CY - New York, NY, USA ID - Zimmermann2007 ER - TY - BOOK AU - Cassandras, C. AU - Lafortune, S. PY - 2008 DA - 2008// TI - Introduction to Discrete Event Systems PB - Springer CY - New York, NY, USA UR - https://doi.org/10.1007/978-0-387-68612-7 DO - 10.1007/978-0-387-68612-7 ID - Cassandras2008 ER - TY - BOOK AU - Bolch, G. AU - Greiner, S. AU - de Meer, H. AU - Trivedi, K. PY - 2005 DA - 2005// TI - Queueing Networks and Markov Chains PB - Wiley-Interscience CY - New York, NY, USA ID - Bolch2005 ER - TY - BOOK AU - Stewart, W. PY - 2009 DA - 2009// TI - Probability, Markov Chains, Queues, and Simulation: The Mathematical Basis of Performance Modeling PB - Princeton University CY - Princeton, NJ, USA ID - Stewart2009 ER - TY - JOUR AU - Hirel, C. AU - Sahner, R. AU - Zang, X. AU - Trivedi, K. PY - 2000 DA - 2000// TI - Reliability and performability modeling using sharpe JO - Proceedings of the 11th International Conference on Computer Performance Evaluation. Modelling Techniques and Tools VL - 1786 UR - https://doi.org/10.1007/3-540-46429-8_28 DO - 10.1007/3-540-46429-8_28 ID - Hirel2000 ER - TY - CHAP AU - Vinter Ratzer, A. AU - Wells, L. AU - Lassen, H. PY - 2003 DA - 2003// TI - CPN tools for editing, simulating, and analysing coloured petri nets. BT - Proceedings of the 24th International Conference on Applications and Theory of Petri Nets PB - Springer CY - Eindhoven, The Netherlands ID - Vinter Ratzer2003 ER - TY - CHAP AU - ARM Limited PY - 2001 DA - 2001// BT - ARM7TDMI-S Technical Reference Manual (Rev. 4) ID - ARM Limited2001 ER - TY - CHAP AU - Philips Electronics PY - 2004 DA - 2004// BT - NXP LPC2104, LPC2105, LPC2106 Data Sheet ID - Philips Electronics2004 ER - TY - BOOK AU - Lilja, D. PY - 2005 DA - 2005// TI - Measuring Computer Performance: A Practitioner's Guide PB - Cambridge University Press CY - Cambridge, UK ID - Lilja2005 ER - TY - STD TI - Keil : Gcc compiler.https://www.keil.com/demo/eval/arm.htm UR - https://www.keil.com/demo/eval/arm.htm ID - ref22 ER - TY - CHAP AU - Westergaard, M. AU - Kristensen, L. PY - 2009 DA - 2009// TI - The access/CPN framework: a tool for interacting with the CPN tools simulator. BT - Proceedings of the 30th International Conference on Applications and Theory of Petri Nets UR - https://doi.org/10.1007/978-3-642-02424-5_19 DO - 10.1007/978-3-642-02424-5_19 ID - Westergaard2009 ER -