4079 search results - page 310 / 816 » Differential Testing for Software |
153
click to vote
DSD
2005
IEEE
15 years 10 months ago
2005
IEEE
We describe a new e-learning environment and a runtime platform for educational tools on digital system testing and design for testability. This environment is being developed in ...
152
click to vote
COMPUTER
2006
15 years 4 months ago
2006
Model-driven development (MDD) is an emerging paradigm that improves the software development lifecycle, particularly for large software systems by providing a higherabstraction fo...
132
click to vote
FOSSACS
2009
Springer
15 years 11 months ago
2009
Springer
Although cryptographic protocols are typically analyzed in isolation, they are used in combinations. If a protocol was analyzed alone and shown to meet some security goals, will it...
100
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
: In this research, a fixed-point multimedia co-processor is designed and tested into an ARM-10 based mobile graphics processor for portable 2-D and 3-D multimedia applications. Th...
123
click to vote
SIGIR
2006
ACM
15 years 10 months ago
2006
ACM
Accurate estimation of information retrieval evaluation metrics such as average precision require large sets of relevance judgments. Building sets large enough for evaluation of r...