13 search results - page 3 / 3 » Generating Data Race Witnesses by an SMT-Based Analysis |
SODA
2010
ACM
14 years 2 months ago
2010
ACM
Correlation clustering is a type of clustering that uses a basic form of input data: For every pair of data items, the input specifies whether they are similar (belonging to the s...
HPCA
2006
IEEE
14 years 5 months ago
2006
IEEE
An important means of validating the design of commercial-grade shared memory multiprocessors is to run a large number of pseudo-random test programs on them. However, when intent...
WSDM
2010
ACM
14 years 2 months ago
2010
ACM
The success of "infinite-inventory" retailers such as Amazon.com and Netflix has been ascribed to a "long tail" phenomenon. To wit, while the majority of their...