Quantitative resource-oriented analysis of Java (Adaptable) applications

Proceedings of the 6th International Workshop on Software and Performance, WOPS'07

Volumn , Issue , 2007, Pages 15-25

  Mancinelli, Fabio ^a   Inverardi, Paola ^a  

^a UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

Adaptable applications; Resource aware frameworks

Indexed keywords

CONTEXT SENSITIVE GRAMMARS; NUMERICAL METHODS; PROBLEM SOLVING; RESOURCE ALLOCATION; SEMANTICS; STATIC ANALYSIS;

ADAPTABLE APPLICATIONS; JAVA LANGUAGE; RESOURCE ANALYZERS; RESOURCE AWARE FRAMEWORKS;

JAVA PROGRAMMING LANGUAGE;

EID: 34748917602     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1216993.1216998     Document Type: Conference Paper

References (21)

1. ASPINALL, D., GILMORE, S., HOPMANN, M., SANNELLA, D., AND STARK, I. Mobile resource guarantees for smart devices. In CASSIS (2004), pp. 1-26.
2. BARTHS, G. Mobius, securing the next generation of java-based global computers. ERCIM News, 2005.
3. COUSOT, P., AND COUSOT, R. Static determination of dynamic properties of programs. In 2nd International Symposium on Programming, Paris, France (1976).
4. COUSOT, P., AND COUSOT, R. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In 4th POPL, Los Angeles, CA (Jan. 1977), pp. 238-252.
5. C.U.SMITH. Performance Engineering of Software Systems. Addison-Wesley, 1990.
6. HALL, R. S., HEIMBIGNER, D., VAN DER HOEK, A., AND WOLF, A. L. The software dock: An architecture for post-development configuration management in a wide-area network. In ICDCS (1997), pp. 0-.
7. J. VAN PEURSEM. Mobile Information Device Profile. SUN Microsystems, 2002.
8. KERNIGHAN, B. W., AND RITCHIE, D. M. The C Programming Language, Second Edition. Prentice Hall, 1998. http://cm.bell-labs.com/cm/cs/cbook/.
9. LAMANNA, D. D., SKENE, J., AND EMMERICH, W. Slang: A language for defining service level agreements. In FTDCS (2003), pp. 100-107.
10. LINDHOLM, T., AND YELLIN, F. The JavaTM Virtual Machine Specification (Second Edition). 1999. http://java.sun.com/ docs/books/vmspec/.
11. LUDWIG, H., KELLER, A., DAN, A., KING, R. P., AND FRANCK, R. Web Service Level Agreement (WSLA) Language Specification. IBM, 2002. http://www.research.ibm. com/wsla/WSLASpecV1-20030128.pdf.
12. MICROSOFT CORPORATION. Description of the microsoft windows registry, http://support.microsoft.com/kb/256986.
13. MOELLER, M., CALLAHAN, B., GUCER, V., HOLLIS, J., AND WEBER, S. Introducing Tivoli Distributed Monitoring Workbench 4. 1. IBM Redbooks, 2002. http://www.redbooks.ibm.com/redbooks/SG246534.html.
14. NECULA, G. C. Proof-carrying code. In POPL (1997), pp. 106-119.
15. NECULA, G. C. Proof-Carrying Code. In Proceedings of the Symposium on Principles of Programming Languages (Jan. 1997), ACM Press, pp. 106-119.
16. SOKOLSKY, O. Resource modeling for embedded systems design. In WSTFEUS (2004), pp. 99-103.
17. SUN MICROSYSTEMS. Java2 Platform Micro Edition Technology for Creating Mobile Devices. SUN Microsystems, 2000.
18. SUN MICROSYSTEMS. Connected Limited Device Specification (Version 1. 1). SUN Microsystems, 2003.
19. SUN MICROSYSTEMS. Java2 Platform, Micro Edition. SUN Microsystems, 2003.
20. W3C CONSORTIUM. Extensible markup language (xml) 1.0 (third edition), 2004. http://www.w3.org/TR/REC-xml/.
21. W.R.FLOYD. Assigning meaning to programs. Symposium on Applied Mathematics.