861 search results - page 76 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
138
click to vote
ASPLOS
2008
ACM
15 years 5 months ago
2008
ACM
Device drivers commonly execute in the kernel to achieve high performance and easy access to kernel services. However, this comes at the price of decreased reliability and increas...
142
click to vote
IWMM
2010
Springer
15 years 5 months ago
2010
Springer
The accurate prediction of program's memory requirements is a critical component in software development. Existing heap space analyses either do not take deallocation into ac...
114
click to vote
JSC
2010
15 years 1 months ago
2010
Negation is intrinsic to human thinking and most of the time when searching for something, we base our patterns on both positive and negative conditions. This should be naturally ...
113
click to vote
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
The term grammar-based software describes software whose input can be specified by a context-free grammar. This grammar may occur explicitly in the software, in the form of an in...
184
click to vote
POPL
2012
ACM
13 years 10 months ago
2012
ACM
Differential privacy is a notion of confidentiality that protects the privacy of individuals while allowing useful computations on their private data. Deriving differential priva...