5064 search results - page 277 / 1013 » Recent Developments in Gridsolve |
136
click to vote
COR
2006
15 years 6 months ago
2006
In this paper we develop a variable neighborhood search (VNS) heuristic for solving mixed-integer programs (MIPs). It uses CPLEX, the general-purpose MIP solver, as a black-box. N...
151
click to vote
ENTCS
2006
15 years 6 months ago
2006
We review the recently developed technique of Monte Carlo model checking and show how it can be applied to the implementation problem for I/O Automata. We then consider some open ...
247
click to vote
FTEDA
2006
15 years 6 months ago
2006
Design automation or computer-aided design (CAD) for field programmable gate arrays (FPGAs) has played a critical role in the rapid advancement and adoption of FPGA technology ove...
143
click to vote
IEICET
2006
15 years 6 months ago
2006
Abstract-Because of the development of recent broadband access technologies, fair service among users are becoming more important criteria. The most promising scheme of router mech...
158
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract - This short paper introduces two new fusion rules for combining quantitative basic belief assignments. These rules although very simple have not been proposed in literatu...