10870 search results - page 2009 / 2174 » Model Checking Programs |
113
click to vote
ISSRE
2002
IEEE
15 years 6 months ago
2002
IEEE
The effectiveness of mutation testing depends heavily on the types of faults that the mutation operators are designed to represent. Therefore, the quality of the mutation operator...
104
Voted
WMCSA
2002
IEEE
15 years 6 months ago
2002
IEEE
The emergence of pervasive networked data sources, such as web services, sensors, and mobile devices, enables context-sensitive, mobile applications. We have developed a programmi...
105
click to vote
GECCO
2010
Springer
15 years 6 months ago
2010
Springer
We have acquired panelist data that provides hedonic (liking) ratings for a set of 40 flavors each composed of the same 7 ingredients at different concentration levels. Our goal...
141
Voted
ICA3PP
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Finite volume numerical methods have been widely studied, implemented and parallelized on multiprocessor systems or on clusters. Modern graphics processing units (GPU) pr...
114
Voted
ICS
2010
Tsinghua U.
15 years 6 months ago
2010
Tsinghua U.
– Communication overhead is one of the dominant factors that affect performance in high-performance computing systems. To reduce the negative impact of communication, programmers...