Satciety is a distributed parallel satisfiability (SAT) solver which focuses on tackling the
domain-specific problems inherent to one of the most challenging environments for parallel …

为解决制造企业多价值链协同数据空间数据体量较大, 数据价值密度低, 数据对象粒度大,
数字资源边界模糊带来的数字资源聚合识别问题, 本文基于语义理论对制造企业多价值链协同 …

Desktop grid systems and applications have generated significant impacts on science and
engineering. The emerging convergence of grid and peer-to-peer (P2P) computing …

Dynamic and heterogeneous characteristics of large-scale Grids make the fundamental
problem of resource discovery a great challenge. This paper presents a self-organized …

To integrate data on the Internet, we often have to deal with uncertainties when matching
data schemas from different sources. The paper proposes an approach called Mashroom+ …

Scheduling many tasks in environments of millions of unreliable nodes is a challenging
problem. To our knowledge, no work in the literature has proposed a solution that also …

We consider information aggregation as a method for reducing the information exchanged in
a Grid network and used by the resource manager in order to make scheduling decisions. In …

In the business process of reengineering, one of the main problems consists in the
organizational reintegration of the employee. New instruments for the automatic …

The presented work is part of our long-term research goal to develop parallel SAT solving
methods for large scale Peer-to-Peer Desktop Grids, which aggregate globally distributed …

Many types of structured p2p networks have been developed in recent years. We are also
studying a scalable structured p2p network: Waon (Well-distributed Algorithm for an Overlay …