1760 search results - page 79 / 352 » Program Analysis Using Weighted Pushdown Systems |
131
click to vote
FPL
2010
Springer
14 years 10 months ago
2010
Springer
In this paper we present a rapid prototyping platform on a single Field Programmable Gate Array (FPGA) with support for software transactional memory. The system is composed only b...
157
click to vote
OOPSLA
2001
Springer
15 years 4 months ago
2001
Springer
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference variable or a reference object field. This information has a wide variety of ...
104
Voted
JAVA
1999
Springer
15 years 4 months ago
1999
Springer
Understanding the performance behaviour of Java Virtual Machines is important to Java systems developers and to applications developers. We review a range of Java benchmark progra...
104
Voted
SAC
2008
ACM
14 years 12 months ago
2008
ACM
Automatic cost analysis has interesting applications in the context of verification and certification of mobile code. For instance, the code receiver can use cost information in o...
CIVR
2004
Springer
15 years 5 months ago
2004
Springer
Most image retrieval systems only allow a fragment of text or an example image as a query. Most users have more complex information needs that are not easily expressed in either of...