Fast-path I/O architecture for high performance streaming server
A formal analysis of database replication protocols with SI replicas and crash failures
The panconnectivity and the pancycle-connectivity of the generalized base-b hypercube
A directive-based MPI code generator for Linux PC clusters