1620 search results - page 166 / 324 » Testing Polymorphic Properties |
134
Voted
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
We present a novel technique that speeds up state-space exploration (SSE) for evolving programs with dynamically allocated data. SSE is the essence of explicit-state model checkin...
161
click to vote
SDM
2009
SIAM
16 years 3 months ago
2009
SIAM
Mining graph data is an active research area. Several data mining methods and algorithms have been proposed to identify structures from graphs; still, the evaluation of those resu...
150
click to vote
DAC
2009
ACM
16 years 28 days ago
2009
ACM
For a computing system to be trusted, it is equally important to verify that the system performs no more and no less functionalities than desired. Traditional testing and verifica...
118
Voted
ICASSP
2009
IEEE
16 years 27 days ago
2009
IEEE
We present a novel selective blurring algorithm that mimics the optical distance blur effects that occur naturally in cameras and eyes. The proposed algorithm provides a realistic...
162
click to vote
ICASSP
2008
IEEE
16 years 18 days ago
2008
IEEE
Noisy or distorted video/audio training sets represent constant challenges in automated identification and verification tasks. We propose the method of Mutual Interdependence An...