1111 search results - page 160 / 223 » Program Analysis as Model Checking of Abstract Interpretatio... |
110
click to vote
ESOP
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We propose a new representation for the domain of Definite Boolean functions. The key idea is to view the set of models of a Boolean function as an incidence relation be...
131
Voted
ESOP
2006
Springer
15 years 6 months ago
2006
Springer
Language-based information-flow analysis is promising in protecting data confidentiality. Although much work has been carried out in this area, relatively little has been done for ...
128
Voted
ESAW
2009
Springer
15 years 9 months ago
2009
Springer
Multi-agent systems are viewed as consisting of individual agents whose behaviors are regulated by organization artifacts. This abstract presents a programming language, which is d...
97
Voted
HIPEAC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. The shared-cache contention on Chip Multiprocessors causes performance degradation to applications and hurts system fairness. Many previously proposed solutions schedule ...
152
Voted
BMCBI
2006
15 years 2 months ago
2006
Background: The invariant lineage of the nematode Caenorhabditis elegans has potential as a powerful tool for the description of mutant phenotypes and gene expression patterns. We...