1029 search results - page 163 / 206 » Dependence Anti Patterns |
105
click to vote
BC
2004
15 years 2 months ago
2004
We develop a simple hexapedal model for the dynamics of insect locomotion in the horizontal plane. Each leg is a linear spring endowed with two inputs, controlling force-free lengt...
126
click to vote
CCR
2004
15 years 2 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
104
click to vote
ET
2000
15 years 2 months ago
2000
: We present a method for obtaining a minimal set of test configurations and their associated set oftest patterns that completely tests re-programmable Programmable Logic Arrays (P...
127
click to vote
FUIN
2000
15 years 2 months ago
2000
Knowledge scouts are software agents that autonomously search for and synthesize user-oriented knowledge (target knowledge) in large local or distributed databases. A knowledge ge...
131
click to vote
TCSV
2002
15 years 2 months ago
2002
Abstract--In this paper, we propose a new architectural technique to reduce energy dissipation of frame memory through adaptive bitwith compression. Unlike related approaches, the ...