6897 search results - page 367 / 1380 » Parallelization of Modular Algorithms |
107
Voted
DCC
2009
IEEE
16 years 4 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...
117
Voted
ESOP
2009
Springer
15 years 10 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...
140
Voted
OTM
2007
Springer
15 years 9 months 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...
133
Voted
CF
2009
ACM
15 years 8 months ago
2009
ACM
Energy consumption and heat dissipation have become key considerations for modern high performance computer systems. In this paper, we focus on non-clairvoyant speed scaling to mi...
134
Voted
ENTCS
2008
15 years 3 months ago
2008
We describe a parallel algorithm for solving parity games, with applications in, e.g., modal