437 search results - page 14 / 88 » Automatic Generation of Implied Constraints |
AMDO
2010
Springer
13 years 11 months ago
2010
Springer
In this paper, we present a novel constraint-based method that is able to adapt captured gait motions to new paths while preserving the original gait style. Foot-plant constraints ...
CP
2003
Springer
14 years 1 months ago
2003
Springer
In this paper, we propose a new language-independent representation of adhoc constraints, called a box constraint collection. Using constructive disjunction, this representation ac...
VLSID
2003
IEEE
14 years 8 months ago
2003
IEEE
Design of efficient System-on-Chips (SoCs) require thorough application analysis to identify various compute intensive parts. These compute intensive parts can be mapped to hardwa...
SP
2006
IEEE
14 years 2 months ago
2006
IEEE
In this paper we explore the problem of creating vulnerability signatures. A vulnerability signature matches all exploits of a given vulnerability, even polymorphic or metamorphic...
TSE
2010
13 years 3 months ago
2010
Recent advances in mechanical techniques for systematic testing have increased our ability to automatically find subtle bugs, and hence to deploy more dependable software. This pap...