21319 search results - page 348 / 4264 » An Approach for Method Reengineering |
145
click to vote
ISPAN
2002
IEEE
15 years 10 months ago
2002
IEEE
Many applications written in C allocate memory blocks for their major data structures from the heap space at runtime. The analysis of heap-oriented pointers in such programs is cr...
104
click to vote
WACV
2002
IEEE
15 years 10 months ago
2002
IEEE
Aiming at manipulating clothes, a model-driven method of estimating the state of hanging clothes is proposed. We suppose a system consisting of two manipulators and a camera. The ...
141
click to vote
AGENTS
2000
Springer
15 years 9 months ago
2000
Springer
This paper describes and evaluates three methods for coordinating multiple agents. These agents interact in two ways. First, they are able to work together to achieve a common poo...
127
click to vote
KDD
1998
ACM
15 years 9 months ago
1998
ACM
Several pattern discovery methods proposed in the data mining literature have the drawbacks that they discover too many obvious or irrelevant patterns and that they do not leverag...
129
click to vote
FMCAD
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present a simple method for verifying the safety properties of cache coherence protocols with arbitrarily many nodes. Our presentation begins with two examples. The fi...