3330 search results - page 531 / 666 » software 2010 |
172
click to vote
FSTTCS
2010
Springer
15 years 2 months ago
2010
Springer
In the Connected Dominating Set problem we are given as input a graph G and a positive integer k, and are asked if there is a set S of at most k vertices of G such that S is a dom...
141
click to vote
CGO
2010
IEEE
15 years 9 months ago
2010
IEEE
Feedback-directed optimization (FDO) is effective in improving application runtime performance, but has not been widely adopted due to the tedious dual-compilation model, the dif...
154
click to vote
EMSOFT
2010
Springer
15 years 2 months ago
2010
Springer
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...
133
click to vote
UIST
2010
ACM
15 years 2 months ago
2010
ACM
Tabletop applications cannot display more than a few dozen on-screen objects. The reason is their limited size: tables cannot become larger than arm's length without giving u...
165
click to vote
PASTE
2010
ACM
15 years 9 months ago
2010
ACM
Recently there has been significant interest in employing probabilistic techniques for fault localization. Using dynamic dependence information for multiple passing runs, learnin...