2652 search results - page 199 / 531 » Privacy-preserving linear programming |
140
click to vote
ISPDC
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents a package, called Heterogeneous PBLAS (HeteroPBLAS), which is built on top of PBLAS and provides optimized parallel basic linear algebra subprograms for hetero...
119
Voted
IPPS
2003
IEEE
15 years 8 months ago
2003
IEEE
We propose general purposes natural heuristics for static block and block-cyclic heterogeneous data decomposition over processes of parallel program mapped into multidimensional g...
124
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— Timed Continuous Petri Net (TCPN) systems are piecewise linear models with input constraints that can approximate the dynamical behavior of a class of timed discrete event syst...
109
Voted
ASPDAC
2005
ACM
15 years 5 months ago
2005
ACM
— A method for timing driven placement is presented. The core of the approach is optimal timing-driven relaxed placement based on a linear programming (LP) formulation. The formu...
125
Voted
CADE
2010
Springer
15 years 4 months ago
2010
Springer
This system description provides an overview of the MUNCH reasoner for sets and multisets. MUNCH takes as the input a formula in a logic that supports expressions about sets, multi...