1022 search results - page 42 / 205 » Challenges for Constraint Programming in Networking |
145
click to vote
TACAS
2012
Springer
13 years 8 months ago
2012
Springer
Abstract. Automated verification of multi-threaded programs is difficult. Direct treatment of all possible thread interleavings by reasoning about the program globally is a prohib...
102
click to vote
JMLR
2006
15 years 13 days ago
2006
The problem of finding the most probable (MAP) configuration in graphical models comes up in a wide range of applications. In a general graphical model this problem is NP hard, bu...
111
Voted
CISS
2008
IEEE
15 years 7 months ago
2008
IEEE
Recent advancement in peer-to-peer (P2P) technologies has enabled a wide range of new applications. In this paper, we present mixed integer programming (MIP) formulations to analy...
122
Voted
NETWORKS
2008
15 years 13 days ago
2008
The resource-constrained elementary shortest path problem arises as a pricing subproblem in branch-and-price algorithms for vehicle routing problems with additional constraints. W...
83
Voted
EOR
2007
15 years 13 days ago
2007
One of the key challenges of current day electronic procurement systems is to enable procurement decisions transcend beyond a single attribute such as cost. Consequently, multiatt...