1689 search results - page 131 / 338 » Refining abstract interpretations |
166
click to vote
PDPTA
2007
15 years 6 months ago
2007
Abstract Trickle is a an extension to the Python programming language that provides explicit but simple mechanisms to write distributed scripts and programs. Trickle links together...
153
Voted
AAAI
2006
15 years 6 months ago
2006
LOCATE is workspace layout design software that also serves as a testbed for developing and refining principles of adaptive aiding. This demonstration illustrates LOCATE's ab...
155
click to vote
KDD
2010
ACM
15 years 3 months ago
2010
ACM
Successful software maintenance is becoming increasingly critical due to the increasing dependence of our society and economy on software systems. One key problem of software main...
140
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: The Affymetrix GeneChip technology uses multiple probes per gene to measure its expression level. Individual probe signals can vary widely, which hampers proper interp...
171
click to vote
VMCAI
2010
Springer
15 years 11 months ago
2010
Springer
This paper is concerned with the synthesis of invariants in programs with arrays. More specifically, we consider properties concerning array contents up to a permutation. For inst...