692 search results - page 74 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
109
click to vote
CONEXT
2005
ACM
15 years 1 months ago
2005
ACM
While the applications using the Internet have changed over time, TCP is still the dominating transport protocol that carries over 90% of the total traffic. Throughput is the key...
173
click to vote
CSFW
2011
IEEE
13 years 11 months ago
2011
IEEE
—This paper explores the idea of knowledge-based security policies, which are used to decide whether to answer queries over secret data based on an estimation of the querier’s ...
202
click to vote
PLDI
2009
ACM
16 years 15 days ago
2009
ACM
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...
PEPM
2007
ACM
15 years 6 months ago
2007
ACM
Program query languages and pattern-detection techniques are an essential part of program analysis and manipulation systems. Queries and patterns permit the identification of the...
112
click to vote
BMCBI
2010
14 years 12 months ago
2010
Background: Different microarray studies have compiled gene lists for predicting outcomes of a range of treatments and diseases. These have produced gene lists that have little ov...