2652 search results - page 208 / 531 » Privacy-preserving linear programming |
140
Voted
CADE
2008
Springer
16 years 3 months ago
2008
Springer
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...
122
click to vote
CPAIOR
2007
Springer
15 years 9 months ago
2007
Springer
Portfolio selection is a relevant problem arising in finance and economics. While its basic formulations can be efficiently solved through linear or quadratic programming, its mor...
112
Voted
SAS
2004
Springer
15 years 9 months ago
2004
Springer
We describe a polynomial-time algorithm for global value numbering, which is the problem of discovering equivalences among program sub-expressions. We treat all conditionals as non...
120
Voted
FPL
2006
Springer
15 years 7 months ago
2006
Springer
Multi-processor architectures have gained interest recently because of their ability to exploit programmable silicon parallelism at acceptable power-efficiency figures. Despite th...
106
Voted
VSTTE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. This paper presents a method for deriving an expression from the lowlevel code compiled from an expression in a high-level language. The input is a low-level control flo...