1421 search results - page 113 / 285 » The First and Second Max-SAT Evaluations |
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Many firms these days, forced by increasing international competition and an unstable economy, are opting to specialize rather than generalize as a way of maintaining their compet...
DT
2006
13 years 10 months ago
2006
The widely used engineering decisions concerning the performance of technological equipment for process industries are usually deterministic. Since the early 1990s probabilistic m...
SIGIR
2002
ACM
13 years 9 months ago
2002
ACM
The optimal settings of retrieval parameters often depend on both the document collection and the query, and are usually found through empirical tuning. In this paper, we propose ...
TR
2010
13 years 4 months ago
2010
Software testing is an important issue in software engineering. As software systems become increasingly large and complex, the problem of how to optimally allocate the limited test...
ASPLOS
2009
ACM
14 years 10 months ago
2009
ACM
Multicore hardware is making concurrent programs pervasive. Unfortunately, concurrent programs are prone to bugs. Among different types of concurrency bugs, atomicity violation bu...