780 search results - page 147 / 156 » Reasoning about sets using redescription mining |
EMSOFT
2007
Springer
14 years 5 months ago
2007
Springer
This paper describes techniques to estimate the worst case execution time of executable code on architectures with data caches. The underlying mechanism is Abstract Interpretation...
ACSAC
2007
IEEE
14 years 5 months ago
2007
IEEE
The effectiveness and precision of network-based intrusion detection signatures can be evaluated either by direct analysis of the signatures (if they are available) or by using bl...
100
click to vote
POPL
2009
ACM
14 years 11 months ago
2009
ACM
ibe an abstract interpretation based framework for proving relationships between sizes of memory partitions. Instances of this framework can prove traditional properties such as m...
CEC
2007
IEEE
14 years 5 months ago
2007
IEEE
Abstract— Target shape design optimization problem (TSDOP) is a miniature model for real world design optimization problems. It is proposed as a test bed to design and analyze op...
SCAI
2001
14 years 8 days ago
2001
Muskens presents in Meaning and Partiality a semantics of possibly contradictory beliefs and other propositional attitudes. We propose a different partial logic based on a few key...