1760 search results - page 204 / 352 » Program Analysis Using Weighted Pushdown Systems |
179
click to vote
IWMM
2011
Springer
14 years 8 months ago
2011
Springer
The goal of cache management is to maximize data reuse. Collaborative caching provides an interface for software to communicate access information to hardware. In theory, it can o...
174
click to vote
ASIAN
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...
179
Voted
ICDAR
1995
IEEE
15 years 8 months ago
1995
IEEE
We describe a new approach for evaluating page segmentation algorithms. Unlike techniques that rely on OCR output, our method is region-based: the segmentation output, described a...
185
Voted
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
In this paper we address the problem of finding gene regulatory networks from experimental DNA microarray data. We focus on the evaluation of the performance of different mathemat...
156
click to vote
ACSAC
2007
IEEE
15 years 11 months ago
2007
IEEE
We have implemented an information flow framework for the Java Virtual Machine that combines static and dynamic techniques to capture not only explicit flows, but also implicit ...