3330 search results - page 252 / 666 » software 2010 |
114
Voted
TSE
2010
14 years 11 months ago
2010
We present an algorithm Dash to check if a program P satisfies a safety property ϕ. The unique feature of the algorithm is that it uses only test generation operations, and nes ...
111
Voted
GRC
2010
IEEE
14 years 10 months ago
2010
IEEE
Given high-dimensional software measurement data, researchers and practitioners often use feature (metric) selection techniques to improve the performance of software quality clas...
105
Voted
SAC
2010
ACM
15 years 7 months ago
2010
ACM
In this paper, we discuss several facets of optimization in cloud computing, the corresponding challenges and propose an architecture for addressing those challenges. We consider ...
ICASSP
2010
IEEE
15 years 29 days ago
2010
IEEE
: © High-Resolution Glyph-Inspection Based Security System Steven J. Simske, Guy Adams HP Laboratories HPL-2010-42 Image forensics, CMOS imaging, authentication, print parasitics,...
106
click to vote
TOSEM
2010
14 years 11 months ago
2010
n the concept of abstract clone region descriptors (CRDs), which describe clone regions using a combination of their syntactic, structural, and lexical information. We present our ...