7430 search results - page 338 / 1486 » Programming Applications in CIFF |
139
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
The optimization of integrated spiral inductors has great practical importance. Previous optimization methods used in this field are either too slow or depend on very simplified a...
135
click to vote
CPAIOR
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. State-of-the-art solvers for mixed integer programming (MIP) problems are highly parameterized, and finding parameter settings that achieve high performance for specific ...
154
click to vote
WSC
2008
15 years 7 months ago
2008
Discrete-event dynamic systems with feedback, where the behavior of the system depends on the system state, are difficult to model due to the uncertainties and dependencies of sys...
155
click to vote
CAV
2008
Springer
15 years 7 months ago
2008
Springer
We study the problem of monitoring concurrent program runs for atomicity violations. Unearthing fundamental results behind scheduling algorithms in database control, we build space...
149
Voted
NIPS
2007
15 years 6 months ago
2007
Loopy belief propagation has been employed in a wide variety of applications with great empirical success, but it comes with few theoretical guarantees. In this paper we investiga...