| Publisher | University of New Mexico | ||
|---|---|---|---|
| Format | 333.6KB PDF | Date added | 26 Jan 2008 |
| Topics | Programming Languages, Java, Application Development | ||
| Downloads | 7 | ||
Automatic cost analysis of programs has been traditionally studied in terms of a number of concrete, predefined resources such as execution steps, time, or memory. However, the increasing relevance of analysis applications such as static debugging and/or certification of user-level properties (including for mobile code) makes it interesting to develop analyses for resource notions that are actually application-dependent. This may include, for example, bytes sent or received by an application, number of files left open, number of SMSs sent or received, number of accesses to a database, money spent, energy consumption, etc. This paper presents a fully automated analysis for inferring upper bounds on the usage that a Java bytecode program makes of a set of application programmer-definable resources.
Did you find this white paper useful?
1 out of 2 users found this white paper useful
Related white papers
Enhancing Development and Performance with C# 2.0 Generics
Generics allow you to define data structures, without committing to actual data types. This results with significant performance boost, and higher quality code, because you get to reuse data processing...
Sentara Healthcare optimizes the health of critical technology
To effectively serve the 2 million residents that turn to them for healthcare services, Sentara Healthcare must coordinate operations across some 112 separate facilities in Virginia and North Carolina, including...
MSDN Webcast: Comparative Windows Code Protection Technologies, Strengths, and Weaknesses (Level 200)
As a developer, one not only have to consider writing great applications with broad appeal, but one also needs to consider how to protect applications so that they are not...
MSDN Webcast: Lighting Up the New Visual Studio 2010 Editor With Rich Extensions (Level 200)
While many of them may know that Microsoft Visual Studio 2010 comes with a new extensible editor based on Windows Presentation Foundation (WPF), does one know why one should care?...
MSDN Webcast: Got Memory Leaks? Find Errors Using Intel Parallel Studio (Level 300)
Discover how easy it is to detect challenging memory errors by taking advantage of the power of Microsoft Visual Studio 2010 and Intel Parallel Studio. Intel Parallel Studio is an...
Ajax: For Graphics-Intensive Web Applications
Ajax (which stands for asynchronous JavaScript and XHTML) is not a technology per se, but rather a design approach for Web applications. Ajax improves the user's Web application experience while...
Numerical Library Provider Realizes Major Performance Gains by Parallelizing Its Code
Visual Numerics needed a way to efficiently parallelize its C# numerical library software - and thus realized the performance gains made possible by today's multicore processors. The company continues to...
