121 search results - page 12 / 25 » Efficient algorithms for verifying memory consistency |
94
Voted
DAGSTUHL
2008
15 years 1 months ago
2008
Existing selfverifying solvers for dense linear (interval-)systems in C-XSC provide high accuracy, but are rather slow. A new set of solvers is presented, which are a lot faster th...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Iterative algorithms aimed at solving some problems are discussed. For certain problems, such as finding a common point in the intersection of a finite number of convex sets, there...
COR
2008
2008
Observations in using parallel and sequential evolutionary algorithms for automatic software testing
14 years 11 months ago
In this paper we analyze the application of parallel and sequential evolutionary algorithms (EAs) to the automatic test data generation problem. The problem consists of automatica...
121
click to vote
SIGSOFT
2007
ACM
16 years 14 days ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
153
click to vote
ICDE
2012
IEEE
13 years 11 months ago
2012
IEEE
Top-k pairs queries have received significant attention by the research community. k-closest pairs queries, k-furthest pairs queries and their variants are among the most well stu...