Sciweavers

2652 search results - page 10 / 531
» Privacy-preserving linear programming
Sort
View
MCMASTER
1993
15 years 1 months ago
A Systolizing Compilation Scheme for Nested Loops with Linear Bounds
With the recent advances in massively parallel programmable processor networks, methods for the infusion of massive MIMD parallelism into programs have become increasingly relevant...
Michael Barnett, Christian Lengauer
88
Voted
ESOP
2011
Springer
14 years 1 months ago
Linear Absolute Value Relation Analysis
Liqian Chen, Antoine Miné, Ji Wang, Patrick...
CAV
2004
Springer
120views Hardware» more  CAV 2004»
15 years 3 months ago
Termination of Linear Programs
We show that termination of a class of linear loop programs is decidable. Linear loop programs are discrete-time linear systems with a loop condition governing termination, that is...
Ashish Tiwari
ESORICS
2010
Springer
14 years 9 months ago
Secure Multiparty Linear Programming Using Fixed-Point Arithmetic
Collaborative optimization problems can often be modeled as a linear program whose objective function and constraints combine data from several parties. However, important applicat...
Octavian Catrina, Sebastiaan de Hoogh