15777 search results - page 3046 / 3156 » The Reformulation-Optimization Software Engine |
144
click to vote
FSTTCS
2010
Springer
15 years 18 days ago
2010
Springer
In mean-payoff games, the objective of the protagonist is to ensure that the limit average of an infinite sequence of numeric weights is nonnegative. In energy games, the objectiv...
152
Voted
EUROSYS
2006
ACM
15 years 11 months ago
2006
ACM
Peer-to-peer (p2p) technology can potentially be used to build highly reliable applications without a single point of failure. However, most of the existing applications, such as ...
127
Voted
EUROSYS
2006
ACM
15 years 8 months ago
2006
ACM
K42 is one of the few recent research projects that is examining operating system design structure issues in the context of new whole-system design. K42 is open source and was des...
195
click to vote
PLDI
2005
ACM
15 years 8 months ago
2005
ACM
Robust and powerful software instrumentation tools are essential for program analysis tasks such as profiling, performance evaluation, and bug detection. To meet this need, we ha...
172
click to vote
BMCBI
2011
14 years 9 months ago
2011
Background: Broad-based collaborations are becoming increasingly common among disease researchers. For example, the Global HIV Enterprise has united cross-disciplinary consortia t...