Recent performance enhancements, upgrade applications, and rapid advances in computers and networking technologies have all enabled information processing devices to share computer resources. We are interested in imag...
详细信息
ISBN:
(纸本)3540658211
Recent performance enhancements, upgrade applications, and rapid advances in computers and networking technologies have all enabled information processing devices to share computer resources. We are interested in image processing that requires a large amount of calculations. If individual pixels forming an image can be calculated independently, the processing speed can be increased by parallel processing, thus reducing the overall processing time. However, it has been previously confirmed that increasing the number of servers beyond a certain point does not raise the parallel processing efficiency in a paralleldistributed processing environment using a client-server model. Therefore, we constructed a new processing environment using an agent model in order to investigate parallel image processing. This paper discusses the results of experiments in this environment in comparison with those of parallel processing in a client-server model.
The proceedings contain 41 papers. The special focus in this conference is on advances in computing Science. The topics include: Emerging application domains and the computing fabric;the game of the name in cryptograp...
ISBN:
(纸本)354066856X
The proceedings contain 41 papers. The special focus in this conference is on advances in computing Science. The topics include: Emerging application domains and the computing fabric;the game of the name in cryptographic tables;a parallel approximation algorithm for the max cut problem on cubic graphs;rapid prototyping techniques for fuzzy controllers;transactional cache management with aperiodic invalidation scheme in mobile environments;observable sharing for functional circuit description;relating may and must testing semantics for discrete timed process algebras;a framework for formal reasoning about open distributed systems;structural sharing and efficient proof-search in propositional intuitionistic logic;verifying probabilistic programs using a hoare like logic;an expressive extension of TLC;completeness and decidability of a fragment of duration calculus with iteration;logical relations in circuit verification;lemma generalization and non-unit lemma matching for model elimination;on automating inductive and non-inductive termination methods;asynchronous links in the PBC and M-Nets;demand-driven model checking for context-free processes;programming the mobility behaviour of agents by composing itineraries;faster model checking for open systems;an argumentation approach to semantics of declarative programs with defeasible inheritance;entailment of non-structural subtype constraints;a CPS-transform of constructive classical logic;formal verification of the MCS list-based queuing lock;BDD-nodes can be more expressive;formal verification of descriptions with distinct order of memory operations;beyond tamaki-sato style unfold/fold transformations for normal logic programs and separators are as simple as cutsets.
Owing to advances in terminal performance and network speed communication-intensive distributed multimedia applications have grown. Hence the development of end-to-end quality of service (QoS) management mechanisms is...
详细信息
Owing to advances in terminal performance and network speed communication-intensive distributed multimedia applications have grown. Hence the development of end-to-end quality of service (QoS) management mechanisms is increasingly demanded for the applications. Since user's QoS requirements change and available resources for network and terminal fluctuate occasionally, adaptability is required for QoS management mechanisms. In this paper we propose a multi-agent-based, decentralized, adaptive QoS management framework that is suitable to a distributed multimedia environment. In this framework, the QoS management task is divided into subtasks, and the agents that take charge of the subtasks are designed. The adaptability is realized using collaborative QoS adaptation among the agents. A layered structure of multi-agent system is introduced to segregate long-term QoS adaptation from short-term QoS adaptation. Experimental and simulation results show the validity of layered QoS management using Application Agent (AA) and Stream Agent (SA).
Recent advances in Internet connectivity and implementations of safer distributedcomputing through languages such as Java provide the foundation for transforming computing resources into tradable commodities. We have...
详细信息
ISBN:
(纸本)0818684275
Recent advances in Internet connectivity and implementations of safer distributedcomputing through languages such as Java provide the foundation for transforming computing resources into tradable commodities. We have developed Javelin, a Java-based prototype of a globally distributed heterogeneous, high-performance computational infrastructure that conveniently enables rapid execution of massively parallel applications. Our infrastructure consists of three entities: Hosts, clients, and brokers. Our goal is to allow users to buy and sell computational power using supply and demand, and market mechanisms to marshal computational power far beyond what can be achieved via conventional techniques. Several research issues must be worked out to make this vision a reality: allocating resources between computational objects via market mechanisms;expressing and enforcing scheduling and quality of service constraints;modeling programming in a global computing ecosystem;supporting heterogeneous execution without sacrificing computational speed;ensuring host security;global naming and communication;and client privacy.
The Gran Telescopio Canarias (GTC) project office is in charge of the construction of an optical/IR 10-meter class telescope at the Observatorio del Rogue de los Muchachos, in Canary Islands. The conceptual design pha...
详细信息
ISBN:
(纸本)0819427985
The Gran Telescopio Canarias (GTC) project office is in charge of the construction of an optical/IR 10-meter class telescope at the Observatorio del Rogue de los Muchachos, in Canary Islands. The conceptual design phase has been completed in summer 1997, and the design of the control system has already started its initial phases. Recently, the complexity of the control system for large telescopes has increased. More and more functions are computer controlled. distributed computer systems are an effective architecture for these telescope control systems, but distributed semantics are more difficult to deal with. This gives complex architectures that are hard to develop and maintain. Additionally, technological change is continuous in computing, as the periodic reports of control system upgrade programs show. To keep these architectures in step with change is not an easy task. In the GTC control system (GCS) these issues are been taking into account from the beginning of the project. This paper is focused on how recent advances in distributedcomputing can help to deal with these problems.
In order to advance the level of integrated substation automation system (ISAS), a novel object-oriented optical interconnection distributedparallel processor array network used to ISAS is established. The function u...
详细信息
In order to advance the level of integrated substation automation system (ISAS), a novel object-oriented optical interconnection distributedparallel processor array network used to ISAS is established. The function unit (FU) and the optical interconnection network (OIN) are important parts of the ISAS. The FUs include protection unit, control unit, monitoring unit, man-machine unit and so on. The massively optical interconnection distributedparallel processor array network consists of various kinds of protection units, control units and other units by means of the OIN. In this paper, the architecture and implements of FU and OIN are described in detail. Results show that the ISAS not only has high parallel processing ability to coordinate the relationship organically between the FUs, but also has advantages of high speed, large bandwidth, immunity to electromagnetic interferences as well as simple, reliable, economic and easy to compact.
The proceedings contain 22 papers. The special focus in this conference is on advances in computing Science. The topics include: Mechanizing reasoning about large finite tables in a rewrite based theorem prover;a poly...
ISBN:
(纸本)3540653880
The proceedings contain 22 papers. The special focus in this conference is on advances in computing Science. The topics include: Mechanizing reasoning about large finite tables in a rewrite based theorem prover;a polymorphic language which is typable and poly-step;cut elimination for classical proofs as continuation passing style computation;semantics and logic for provable fault-tolerance, a tutorial;the rewriting calculus as a semantics of ELAN;tried linear hashing;a new factoring algorithm for magic predicates;an optimal parallel algorithm for the perfect dominating set problem on distance-hereditary graphs;taxonomy and expressiveness of preemption;exploring regional locality in distributed shared memory;guaranteed mutually consistent checkpointing in distributed computations;type inference for first-class messages with feature constraints;two flavors of offline partial evaluation;first-class contexts in ML;a comparison of petri net semantics under the collective token philosophy;bisimulation lattice of chi processes;eventuality in LOTOS with a disjunction operator and towards a characterisation of finite-state message-passing systems.
This paper deals with a new payment scheme on the Internet, the electronic exchange check system, based on Nguyen's (1997) scheme and Hwang's (1997) scheme. The electronic exchange check system is a kind of el...
详细信息
ISBN:
(纸本)0818686030
This paper deals with a new payment scheme on the Internet, the electronic exchange check system, based on Nguyen's (1997) scheme and Hwang's (1997) scheme. The electronic exchange check system is a kind of electronic cash system which has pre-denoted receiver and effective time. The scheme satisfies all the basic requirements for an electronic payment scheme in the aspect of security and privacy. In particular, it provides the prior-restraint of double-spending as well as the detection of the identity of a double-spender after the fact.
The proceedings contain 49 papers. The special focus in this conference is on Evaluation and Performance. The topics include: On-line performance monitoring using OMIS;performance analysis of task-based algorithms on ...
ISBN:
(纸本)3540650415
The proceedings contain 49 papers. The special focus in this conference is on Evaluation and Performance. The topics include: On-line performance monitoring using OMIS;performance analysis of task-based algorithms on heterogeneous systems with message passing;automatic detection of PVM program performance problems;evaluating and modeling communication overhead of MPI primitives on the meiko CS-2;a parallel I/O test suite;improving the PVM daemon network performance by direct network access;a detailed, accurate MPI benchmark;the current status and performance of the available environments;the next generation beyond PVM;advances in heterogeneous network computing;MPI connect managing heterogenous MPI applications interopration and process control;an active layer extension to MPI;interconnecting PVM and MPI applications;message passing interface for win32 clusters;a java interface for WMPI;porting CHAOS library to MPI;an experience on mixing MPI communications and threads;developing message-passing applications on MPICH under ensemble;the NAG parallel library and the PINEAPL project;on the implementation of a portable, client-server based MPI-IO interface;distributedcomputing in a heterogeneous computing environment;rank reordering strategy for MPI topology creation functions;scalable and adaptive resource sharing in PVM;load balancing for network based multi-threaded applications;creation of reconfigurable hardware objects in PVM environments;implementing MPI with the memory-based communication facilities on the SSS-CORE operating system;PVM on windows and NT clusters and java and network parallel processing.
A distributed presentation of a regular language L is a system of communicating automata accepting L, where the constraint on distribution is given in the form of a distributed alphabet. We study such presentations in...
详细信息
A distributed presentation of a regular language L is a system of communicating automata accepting L, where the constraint on distribution is given in the form of a distributed alphabet. We study such presentations in the assumption-commitment framework, where each process makes assumptions about other processes in the system. Symmetrically, each process makes commitments which the other processes can rely on. In Proc. FST & TCS 17, LNCS 1346, pp. 153-68 (1997), we showed that the class of (Mazurkiewicz) regular trace languages can be presented in this framework. In this paper, we show that every regular language can be thus decomposed and present a version of Kleene's theorem using top-level parallelism.
暂无评论