2300 search results - page 341 / 460 » Maximally Concurrent Programs |
COR
2008
15 years 2 months ago
2008
We adapt the competitive location model based on maximal covering to include the knowledge that a competitor will enter the market later with a single new facility. The objective ...
140
click to vote
DISOPT
2008
15 years 2 months ago
2008
We study a pricing problem where buyers with non-uniform demand purchase one of many items. Each buyer has a known benefit for each item and purchases the item that gives the larg...
100
Voted
ENTCS
2008
15 years 2 months ago
2008
RZ is a tool which translates axiomatizations of mathematical structures to program specifications using the realizability interpretation of logic. This helps programmers correctl...
INFORMS
2008
15 years 2 months ago
2008
Edge-finding algorithms for cumulative scheduling are at the core of commercial constraint-based schedulers. This paper shows that Nuijten's edge finder for cumulative schedu...
119
Voted
JUCS
2008
15 years 2 months ago
2008
: This paper presents a novel market model for balancing communication bandwidth trade. The distinguishing characteristic of the model is that it assumes that market players can pl...