6105 search results - page 297 / 1221 » A Parallel Algorithm for Bound-Smoothing |
142
Voted
DCC
2009
IEEE
16 years 7 months ago
2009
IEEE
This paper describes and evaluates pFPC, a parallel implementation of the lossless FPC compression algorithm for 64-bit floating-point data. pFPC can trade off compression ratio f...
155
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a separation logic framework which can express properties of memory separation between different points in a program. We describe an algorithm based on this fr...
199
click to vote
OTM
2007
Springer
16 years 25 days ago
2007
Springer
Practical scalability of Description Logic (DL) reasoning is an important premise for the adoption of OWL in a real-world setting. Many highly efficient optimizations for the DL ta...
176
click to vote
CLOUDCOM
2010
Springer
15 years 4 months ago
2010
Springer
Many scientific applications suffer from the lack of a unified approach to support the management and efficient processing of large-scale data. The Twister MapReduce Framework, whi...
205
click to vote
CSC
2010
15 years 4 months ago
2010
Abstract-- The immersed boundary (IB) method is an algorithm for simulating elastic structures immersed in a fluid. The IB method can be used, for example, to simulate blood flow i...