8874 search results - page 279 / 1775 » A New Implementation of Automath |
175
click to vote
PPL
2002
15 years 6 months ago
2002
We present new communication-efficient parallel dense linear solvers: a solver for triangular linear systems with multiple right-hand sides and an LU factorization algorithm. Thes...
156
Voted
JSC
2010
15 years 5 months ago
2010
We present a new algorithm to compute the integral closure of a reduced Noetherian ring in its total ring of fractions. A modiļ¬cation, applicable in positive characteristic, whe...
211
click to vote
USS
2010
15 years 4 months ago
2010
Secure multiparty computation (MPC) allows joint privacy-preserving computations on data of multiple parties. Although MPC has been studied substantially, building solutions that ...
262
click to vote
HPCA
2011
IEEE
14 years 10 months ago
2011
IEEE
Over the last twenty years the interfaces for accessing persistent storage within a computer system have remained essentially unchanged. Simply put, seek, read and write have deļ¬...
211
click to vote
IAJIT
2011
14 years 10 months ago
2011
: In recent years, Muslims have depended on the Halal logo, displayed on food packaging, to indicate that the products are prepared according to Halal precepts. As laid out in the ...