2652 search results - page 129 / 531 » Privacy-preserving linear programming |
134
click to vote
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...
137
click to vote
CAV
2009
Springer
15 years 7 months ago
2009
Springer
We consider the decision problem for quantifier-free formulas whose atoms are linear inequalities interpreted over the reals or rationals. This problem may be decided using satisf...
152
click to vote
AMAST
1991
Springer
15 years 6 months ago
1991
Springer
Boolean logic treats disjunction and conjunction symmetrically and algebraically. The corresponding operations for computation are respectively nondeterminism (choice) and concurr...
118
click to vote
ASPDAC
2008
ACM
15 years 5 months ago
2008
ACM
- We present a topology synthesis method for high performance System-on-Chip (SoC) design. Our method provides an optimal topology of on-chip communication network for the given ba...
129
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
Packrat parsing is a novel technique for implementing parsers in a lazy functional programming language. A packrat parser provides the power and flexibility of top-down parsing wi...