46 search results - page 10 / 10 » Automatic Binding-Related Error Diagnosis in Logic Programs |
169
click to vote
ICSE
2010
IEEE-ACM
15 years 8 months ago
2010
IEEE-ACM
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...