Sciweavers

386 search results - page 30 / 78
» Signature Verification Using Static and Dynamic Features
Sort
View
IWPC
2009
IEEE
14 years 2 months ago
An exploratory study on assessing feature location techniques
This paper presents an exploratory study of ten feature location techniques that use various combinations of textual, dynamic, and static analyses. Unlike previous studies, the ap...
Meghan Revelle, Denys Poshyvanyk
BIRTHDAY
2003
Springer
13 years 11 months ago
Aspect Validation Using Model Checking
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...
Shmuel Katz, Marcelo Sihman
CVPR
2000
IEEE
14 years 9 months ago
On the Synthesis of Dynamic Scenes from Reference Views
We consider a scene, containing many objects moving with constant velocity along straight line paths, seen from three reference viewpoints at three different times.The scene may e...
Yonatan Wexler, Amnon Shashua
ISCA
2009
IEEE
199views Hardware» more  ISCA 2009»
14 years 2 months ago
SigRace: signature-based data race detection
Detecting data races in parallel programs is important for both software development and production-run diagnosis. Recently, there have been several proposals for hardware-assiste...
Abdullah Muzahid, Darío Suárez Graci...
EMSOFT
2006
Springer
13 years 11 months ago
Software partitioning for effective automated unit testing
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...
Arindam Chakrabarti, Patrice Godefroid