5128 search results - page 242 / 1026 » When Abstraction Fails |
198
click to vote
IWPC
1999
IEEE
15 years 11 months ago
1999
IEEE
Automatic program comprehension is particularly useful when applied to sparse matrix codes, since it allows to abstract e.g. from specific sparse matrix storage formats used in th...
177
click to vote
SSPR
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. In this paper, we propose a method for recognizing architectural symbols. The method is based on the description of the model through a set of constraints on geometrical ...
204
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
Abstract-- This paper proposes a state reduction algorithm for incompletely specified FSMs. The algorithm is based on iterative improvements. When the number of compatibles is like...
138
Voted
CAISE
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Systems interact with their environment (e.g., other systems) by exchanging messages in a particular order. Interoperability problems arise when systems do not understand...
179
click to vote
AAIM
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. This paper considers a generalization of the capacitated spanning tree, in which some of the nodes have capacity K, and the others have capacity k < K. We prove that t...