2774 search results - page 344 / 555 » Query-Driven Program Testing |
127
Voted
MP
2010
14 years 11 months ago
2010
We consider the single item lot-sizing problem with capacities that are non-decreasing over time. When the cost function is i) non-speculative or Wagner-Whitin (for instance, cons...
270
click to vote
POPL
2003
ACM
16 years 5 months ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
137
click to vote
ASPLOS
2010
ACM
15 years 12 months ago
2010
ACM
The behavior of a multithreaded program does not depend only on its inputs. Scheduling, memory reordering, timing, and low-level hardware effects all introduce nondeterminism in t...
132
click to vote
ASPLOS
2010
ACM
15 years 12 months ago
2010
ACM
Debugging concurrent programs is difficult. This is primarily because the inherent non-determinism that arises because of scheduler interleavings makes it hard to easily reproduc...
197
click to vote
ASPLOS
2010
ACM
15 years 12 months ago
2010
ACM
Scalable heterogeneous computing systems, which are composed of a mix of compute devices, such as commodity multicore processors, graphics processors, reconfigurable processors, ...