Model based estimation and verification of mobile device performance

EMSOFT 2004 - Fourth ACM International Conference on Embedded Software

Volumn , Issue , 2004, Pages 34-43

  Raghavan, Gopal ^a   Salomaki, Ari ^b   Lencevicius, Raimondas ^a  

^a NOKIA RESEARCH CENTER   (United States)

^b NOKIA RESEARCH CENTER   (United States)

Author keywords

Performance analysis; System level modeling; Use case verification

Indexed keywords

COMPUTER SOFTWARE; MOBILE COMPUTING; QUEUEING THEORY; REGRESSION ANALYSIS;

MOBILE DEVICES; PERFORMANCE ANALYSIS; SYSTEM LEVEL MODELING;

EMBEDDED SYSTEMS;

EID: 27644540342     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1017753.1017764     Document Type: Conference Paper

References (19)

1. C. U. Smith and L. G. Williams, Performance Solutions: A Practical Guide to Creating Responsive, Scalable Software, Addison-Wesley, 2002.
2. K. Richter, M. Jarsak, Rolf Ernst, A Formal Approach to MpSoC Performance Verification, Computer, Vol 38, no 4, April 2003
3. M. Woodside, Tutorial Introduction to Layered Modeling of Software Performance, Edition 3.0, Carleton University, http://sce.carlton.ca/rads
4. K. Kant, Introduction to Computer System Performance Evaluation, McGraw-Hill, Inc., 1992.
5. R. Jain, The Art of Computer Systems Performance Analysis, John Wiley & Sons, Inc., 1991.
6. D. Jerding, S. Rugaber, "Using Visualization for Architectural Localization and Extraction", Proceedings of the Fourth Working Conference on Reverse Engineering, IEEE Computer Society Press, 1997.
7. N. C. Mendonça, J. Kramer, "Developing an Approach for the Recovery of Distributed Software Architectures", Proceedings of the 6th IEEE International Workshop on Program Comprehension, IEEE Society Press, 1998.
8. E. Stroulia, T. Systa, "Dynamic Analysis for Reverse Engineering and Program Understanding", Applied Computing Review, ACM, vol 10, No. 1, 2002.
9. R. Harrison, Symbian OS C++ for Mobile Phones, John Wiley and Sons Ltd, England, 2003.
10. T. Grotker, S. Liao, G. Martin, S. Swan, System Design with SystemC, Kluwer Academic Publishers, May 2002.
11. ARM technical reference manuals, http://www.arm.com
12. A. Orso, Improving Dynamic Analysis through Partial Replay of User's Executions, Dagstuhl Seminar N0 03491, 30.11.-05.12.2003. http://www.dagstuhl.de/03491/Talks/
13. D. Saff and M. D. Ernst, Automatic mock object creation for test factoring, In proceedings of Workshop on Program Analysis for Software Tools and Engineering (PASTE'04), Washington, DC, USA, June 2004.
14. D.J. Lilja, Measuring computer performance: A practitioner's guide, Cambridge University Press, 2000.
15. W. Wolf, A Decade of Hardware/Software Codesign, Computer, Vol 38, no 4, April 2003
16. N. C. Audsley, A. Burns, M. F. Richardson and A. J. Wellings, Hard Real-Time Scheduling: The Deadline-Monotonic Approach, In Proceedings, Eighth IEEE Workshop on Real-Time Operating Systems and Software, pp. 133-137, 1991.
17. C. L. Liu, J. W. Layland, Scheduling algorithms for multiprogramming in a hard real time environment, Journal of the ACM, vol. 20, no 1, pp. 46-61, 1973.
18. RapidRMA tool, Tri Pacific Software, Inc. http://www.tripac.com/
19. Source Navigator, http://sourcenav.sourceforge.net/