1226 search results - page 178 / 246 » Proofs, Programs and Abstract Complexity |
129
click to vote
ICALP
1992
Springer
15 years 7 months ago
1992
Springer
Abstract. We investigate the complexity of merging sequences of small integers on the EREW PRAM. Our most surprising result is that two sorted sequences of n bits each can be merge...
137
click to vote
PVM
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. The MPI standard provides a way to send and receive complex combinations of datatypes (e.g., integers and doubles) with a single communication operation. The MPI standard...
132
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
Abstract--We investigate the structure of the polytope underlying the linear programming (LP) decoder introduced by Feldman, Karger, and Wainwright. We first show that for expander...
125
click to vote
ECOOP
2005
Springer
15 years 8 months ago
2005
Springer
There are many algorithms for concurrent garbage collection, but they are complex to describe, verify, and implement. This has resulted in a poor understanding of the relationships...
125
click to vote
ECOOP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Aspect-Oriented Software Development (AOSD) provides better design solutions to problems where Object Oriented Development produces tangled and scattered designs. Neverth...