1422 search results - page 31 / 285 » Complementation in Abstract Interpretation |
103
click to vote
ICDM
2002
IEEE
15 years 7 months ago
2002
IEEE
One of the problems with existing clustering methods is that the interpretation of clusters may be difficult. Two different approaches have been used to solve this problem: conce...
GLOBECOM
2008
IEEE
15 years 8 months ago
2008
IEEE
—A sudden delay spike or reordering in the network can cause TCP to experience a loss event. Since loss is interpreted as a sign of congestion in TCP, this causes the protocol to...
APAL
2010
15 years 2 months ago
2010
We upgrade the light Dialectica interpretation [6] by adding two more light universal quantifiers, which are both semi-computational and semi-uniform and complement each other. An...
FM
2009
Springer
15 years 8 months ago
2009
Springer
e Abstractions for Parameterized Systems JOXAN JAFFAR and ANDREW E. SANTOSA Department of Computer Science, National University of Singapore Singapore 117590 {joxan,andrews}comp.nu...
122
click to vote
AGP
1993
IEEE
15 years 6 months ago
1993
IEEE
Abstract. This paper presents a general approach to the Abstract Interpretation of Prolog programs with cut. In most of previous approaches the cut primitive is merely ignored. Our...