-
Article
On the execution mechanisms of parallel graph reduction
Parallel graph reduction is a promising model for new generation computer because of its amenability to both programming and parallel computing. In this paper, an initial design for a parallel graph reduction ...
-
Article
Optimized parallel execution of declarative programs on distributed memory multiprocessors
In this paper, we focus on the compiling implementation of parallel logic language PARLOG and functional language ML on distributed memory multiprocessors. Under the graph rewriting framework, a Heterogeneous ...
-
Article
Parallel execution of prolog on shared-memory multiprocessors
Logic programs offer many opportunities for the exploitation of parallelism. But the parallel execution of a task incurs various overheads. This paper focuses on the issues relevant to parallelizing Prolog on ...
-
Article
Granularity analysis for exploiting adaptive parallelism of declarative programs on multiprocessors
Declarative Programming Languages (DPLs) apply a process model of Horn clauses such as PARLOG[8] or a reduction model of λ-calculus such as SML[7] and are, in principle, well suited to multiprocessor implementati...
-
Article
Compiling CIL rewriting language for multiprocessors
The high-level Compiler Intermediate Language CIL is a general-purpose description language of parallel graph rewriting computational model intended for parallel implementation of declarative languages on mult...
-
Article
Intention maintenance as conflict resolution upon a means-network
This paper presents a model for intention maintenance. It assumes that an intention is associated with a means network, and intention maintenance is a conflict resolution upon means networks. The difference be...
-
Article
Checkpointing and rollback recovery for network of workstations
Network of workstations (NOW) now becomes one of the main trends of parallel computing. But for long-running scientific programs, it needs effective fault tolerance for its changing property. Checkpointing and...
-
Article
Evolving information filtering for personalized information service
Information filtering (IF) systems are important for personalized information service. However, most current IF systems suffer from low quality and long training time. In this paper, a refined evolving informa...
-
Article
Interactive and symbolic data dependence analysis based on ranges of expressions
Traditional data dependence testing algorithms have become very accurate and efficient for simple subscript expressions, but they cannot handle symbolic expressions because of the complexity of data-flow and l...
-
Chapter and Conference Paper
Improving Availability of P2P Storage Systems
This paper discusses how to building high available storage systems on top of peer-to-peer infrastructure. We first demonstrate that traditional definitions of availability are not suitable for distributed sys...
-
Article
DSI: distributed service integration for service grid
This paper presents DSI, a distributed service discovery and integration utility for service grid. The goal of DSI is efficiently to improve service publishing, deletion and lookup, decentralized control, scal...
-
Chapter and Conference Paper
A Single Thread Discrete Event Simulation Toolkit for Java: STSimJ
Discrete event simulation is widely used in simulating complex systems. SimJava [6] is a popular java toolkit for discrete event simulation. However, SimJava employs multiple threads for the simulation process...
-
Chapter and Conference Paper
ORC-OpenMP: An OpenMP Compiler Based on ORC
This paper introduces a translation and optimization framework for OpenMP, based on the classification of OpenMP translation types. And an open source OpenMP compiler, which implements this framework is also i...
-
Chapter and Conference Paper
Scalable Resource Management and Load Assignment for Grid and Peer-to-Peer Services
In this paper we propose DRMI, a fully decentralized, highly scalable and efficient resource management infrastructure, which is built on top of prefix-based DHT. DRMI provides large-scale resource monitoring ...
-
Chapter and Conference Paper
Making Peer-to-Peer Keyword Searching Feasible Using Multi-level Partitioning
This paper discusses large scale keyword searching on top of peer-to-peer (P2P) networks. The state-of-the-art keyword searching techniques for unstructured and structured P2P systems are query flooding and in...
-
Chapter and Conference Paper
VTarget: An Improved Software Target Emulator for SANs
With the increasing of storage scale and complexity, the storage management for heterogeneous environments is becoming more and more important. This paper introduces an improved software target emulator integr...