3106 search results - page 516 / 622 » Both Generic Design and Different Forms of Designing |
SPIN
2010
Springer
14 years 8 months ago
2010
Springer
Concolic testing is a method for test input generation where a given program is executed both concretely and symbolically at the same time. This paper introduces the LIME Concolic ...
TASLP
2010
14 years 8 months ago
2010
Spherical and cylindrical microphone arrays offer a number of attractive properties such as direction-independent acoustic behavior and ability to reconstruct the sound field in ...
TMI
2010
14 years 8 months ago
2010
—Detecting blood vessels in retinal images with the presence of bright and dark lesions is a challenging unsolved problem. In this paper, a novel multiconcavity modeling approach...
VLSISP
2010
14 years 8 months ago
2010
— This paper presents ALA (Adaptable Logarithm Approximation), a novel hardware architecture for the approximation of the base-2 logarithm of integers at an arbitrary accuracy, s...
ACSAC
2010
IEEE
14 years 8 months ago
2010
IEEE
Smartphone usage has been continuously increasing in recent years. Moreover, smartphones are often used for privacysensitive tasks, becoming highly valuable targets for attackers....