2652 search results - page 294 / 531 » Privacy-preserving linear programming |
147
click to vote
EUSFLAT
2009
15 years 1 months ago
2009
Abstract-- In this paper, we deal with the production and transportation planning of a household appliances manufacturer that has production facilities and central stores for resel...
210
Voted
POPL
2011
ACM
14 years 6 months ago
2011
ACM
We define a new logic, STRAND, that allows reasoning with heapmanipulating programs using deductive verification and SMT solvers. STRAND logic (“STRucture ANd Data” logic) f...
151
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— The assignment problem constitutes one of the fundamental problems in the context of linear programming. Besides its theoretical significance, its frequent appearance in the a...
157
Voted
LICS
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract—Polarized logic is the logic of values and continuations, and their interaction through continuation-passing style. The main limitations of this logic are the limitation...
133
click to vote
VLSID
2007
IEEE
16 years 3 months ago
2007
IEEE
Crosstalk noise in the clock network of digital circuits is often detected late in the design cycle, sometimes as late as after first silicon. It is therefore necessary to fix cros...