2451 search results - page 70 / 491 » The Octagon Abstract Domain |
146
click to vote
EXPERT
2002
15 years 6 months ago
2002
of thousands) of PubMed abstracts covering literature relevant to the domain of interest. For instance, This method uses the scientific literature to establish functional relations...
198
click to vote
PC
2002
15 years 6 months ago
2002
riented programming, design patterns, and frameworks are abstraction techniques that have been used to reduce the complexity of sequential programming. This paper describes our ap...
184
click to vote
INFORMATICALT
2000
15 years 6 months ago
2000
Abstract. In this paper we suggest a three-language (3L) paradigm for building the program generator models. The basis of the paradigm is a relationship model of the specification,...
190
click to vote
MOC
2002
15 years 6 months ago
2002
Abstract. We analyze the convergence rate of an asynchronous space decomposition method for constrained convex minimization in a reflexive Banach space. This method includes as spe...