Abstract Satciety is a distributed parallel satisfiability (SAT) solver which focuses on tackling the domainspecific problems inherent to one of the most challenging environments f...
Background: Grid computing has great potential to become a standard cyberinfrastructure for life sciences which often require high-performance computing and large data handling wh...
We report our progress on SSOCK, a scalable highperformance communication library for wide-area environments. SSOCK has an API similar to that of the Socket library, but solves th...
Abstract. In this paper we suggest the use of light for performing useful computations. Namely, we propose a special computational device which uses light rays for solving the Hami...