Sciweavers

6939 search results - page 410 / 1388
» Algorithm Engineering for Parallel Computation
Sort
View
PLDI
2009
ACM
15 years 10 months ago
Analyzing recursive programs using a fixed-point calculus
We show that recursive programs where variables range over finite domains can be effectively and efficiently analyzed by describing the analysis algorithm using a formula in a ...
Salvatore La Torre, Parthasarathy Madhusudan, Genn...
PDP
1997
IEEE
15 years 8 months ago
Language and library support for practical PRAM programming
We investigate the well-known PRAM model of parallel computation as a practical parallel programming model. The two components of this project are a general-purpose PRAM programmin...
Christoph W. Keßler, Jesper Larsson Trä...
FSTTCS
2005
Springer
15 years 9 months ago
Market Equilibrium for CES Exchange Economies: Existence, Multiplicity, and Computation
Abstract. We consider exchange economies where the traders’ preferences are expressed in terms of the extensively used constant elasticity of substitution (CES) utility functions...
Bruno Codenotti, Benton McCune, Sriram Penumatcha,...
PVM
2005
Springer
15 years 9 months ago
Some Improvements to a Parallel Decomposition Technique for Training Support Vector Machines
We consider a parallel decomposition technique for solving the large quadratic programs arising in training the learning methodology Support Vector Machine. At each iteration of th...
Thomas Serafini, Luca Zanni, Gaetano Zanghirati
SPAA
2004
ACM
15 years 9 months ago
Improved combination of online algorithms for acceptance and rejection
Given two admission control algorithms that are cA-acceptcompetitive and cR-reject-competitive respectively, we give two ways to make an algorithm that is simultaneously O(cA)acce...
David P. Bunde, Yishay Mansour