725 search results - page 113 / 145 » Escape Analysis for Java |
145
click to vote
ERSHOV
2009
Springer
14 years 12 months ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...
150
click to vote
TSE
2011
14 years 9 months ago
2011
— We present Bristlecone, a programming language for robust software systems. Bristlecone applications have two components: a high-level organization specification that describe...
122
Voted
CHI
2011
ACM
14 years 5 months ago
2011
ACM
While usability methods such as user studies and inspections can reveal a wide range of problems, they do so for only a subset of an application’s features and states. We presen...
113
click to vote
SAC
2011
ACM
14 years 5 months ago
2011
ACM
More and more functionality is provided by mobile phones today; this trend will continue over the next years. However, with the increasing functionality new risks go along. This n...
210
click to vote
DOCENG
2011
ACM
14 years 1 months ago
2011
ACM
In this paper, we explore different ways to publish multimedia documents on the web. We propose a solution that takes advantage of the new multimedia features of web standards, n...