3317 search results - page 217 / 664 » Strategies in Rigid-Variable Methods |
155
click to vote
IWPC
1998
IEEE
15 years 10 months ago
1998
IEEE
An approach to recover object oriented design patterns from design and code is presented. The pattern recovery process is based on a multi-stage filtering strategy to avoid combin...
168
click to vote
DICTA
2003
15 years 8 months ago
2003
Abstract. Curve detection is viewed as a process of hypothesis generation and hypothesis testing. Of the two, hypothesis generation has received much attention and many sophisticat...
146
click to vote
SIGSOFT
2004
ACM
16 years 7 months ago
2004
ACM
One of the benefits of finite-state verification (FSV) tools, such as model checkers, is that a counterexample is provided when the property cannot be verified. Not all counterexa...
173
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Synthesis is the automated construction of a system from its specification. The system has to satisfy its specification in all possible environments. Modern systems oft...
169
click to vote
ICPADS
2006
IEEE
16 years 18 days ago
2006
IEEE
One of the major factors that can potentially slow down widespread use of embedded chip multiprocessors is lack of efficient software support. In particular, automated code paral...