429 search results - page 24 / 86 » Anti-unification Algorithms and Their Applications in Progra... |
CORR
2010
Springer
13 years 6 months ago
2010
Springer
Different from sequential programs, parallel programs possess their own characteristics which are difficult to analyze in the multi-process or multi-thread environment. This paper...
AAAI
2006
13 years 9 months ago
2006
We establish a declarative theory of forgetting for disjunctive logic programs. The suitability of this theory is justified by a number of desirable properties. In particular, one...
ACSC
2005
IEEE
14 years 1 months ago
2005
IEEE
We introduce a new approach to computing interprocedural modification side effects for Java programs in the presence of dynamic class loading. When compile-time unknown classes c...
JSS
2010
13 years 6 months ago
2010
This paper presents results of a study of the effect of global variables on the quantity of dependence in general and on the presence of dependence clusters in particular. The pa...
DEXAW
2004
IEEE
13 years 11 months ago
2004
IEEE
To achieve correct execution of peer-to-peer applications on non-reliable resources, we present a portable and distributed algorithm that provides fault tolerance and result checki...