4079 search results - page 311 / 816 » Differential Testing for Software |
130
click to vote
ICECCS
2005
IEEE
15 years 10 months ago
2005
IEEE
Component-based technology is increasingly adopted to speed up the development of complex software through component reuse. Unfortunately, the lack of complete information about r...
128
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...
117
click to vote
SPIRE
2000
Springer
15 years 8 months ago
2000
Springer
Biomolecular computing (BMC) aims to capture the innumerable advantages that biological molecules have gained in the course of millions of years of evolution to perform computatio...
139
click to vote
KDD
2004
ACM
16 years 4 months ago
2004
ACM
Analyzing data to find trends, correlations, and stable patterns is an important task in many industrial applications. This paper proposes a new technique based on parallel coordi...
120
click to vote
CHI
2007
ACM
16 years 4 months ago
2007
ACM
Domestic ubiquitous computing systems often rely on inferences about activities in the home, but the open-ended, dynamic and heterogeneous nature of the home poses serious problem...