1993 search results - page 361 / 399 » Designing and Building Parallel Program |
CAV
2000
Springer
14 years 2 months ago
2000
Springer
Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion . . . . . . . . . . . . . . . . . . . . . . . . . . 1 A. Pnueli Invited Address...
Lecture Notes
Driven by recent innovations in Field-Programmable Gate Arrays (FPGAs), reconfigurable computing offers unique ways to accelerate key algorithms. FPGAs offer a programmable logic f...
HPCA
2003
IEEE
14 years 10 months ago
2003
IEEE
We consider the impact of different communication architectures on the performability (performance + availability) of cluster-based servers. In particular, we use a combination of ...
HPCA
2001
IEEE
14 years 10 months ago
2001
IEEE
The use of the Java programming language for implementing server-side application logic is increasing in popularity, yet there is very little known about the architectural require...
SIGMOD
2004
ACM
14 years 10 months ago
2004
ACM
We present new algorithms on commodity graphics processors to perform fast computation of several common database operations. Specifically, we consider operations such as conjunct...