Performance considerations affecting the design of a mechanism that preserves locality and avoids high-latency remote references called the concurrent pools data structure are explored. the effectiveness of three diff...
详细信息
Performance considerations affecting the design of a mechanism that preserves locality and avoids high-latency remote references called the concurrent pools data structure are explored. the effectiveness of three different implementations of concurrent pools is evaluated. Experiments performed on a BBN Butterfly multiprocessor under a variety of workloads shown that the three implementations perform similarly well for light workloads, but that with stressful workloads it appears that a simple algorithm can provide better performance than a complex algorithm, designed to keep remote accesses to a minimum. Implementations can benefit by taking into account information on the nature of the operations performed by each process to help balance the elements among processes that need them.< >
the authors take efficient kernel-level support as a given, and study the performance implications of design alternatives one level up-in the stubs, which insulate the client and server from details about network comm...
详细信息
the authors take efficient kernel-level support as a given, and study the performance implications of design alternatives one level up-in the stubs, which insulate the client and server from details about network communication. these alternatives represent a collection of approaches to achieving standard remote procedure call of semantics. Consideration is given to the performance implications of compiled vs. interpreted stubs, procedural vs. inline code for moving data to/from packet buffers, block copy vs. individual data item copy moving data to/from packet buffers, and the presence or absence of byte swapping.< >
An object/thread based paradigm is presented that links data consistency with object/thread semantics. the paradigm can be used to achieve a wide range of consistency semantics from strict atomic transactions to stand...
详细信息
An object/thread based paradigm is presented that links data consistency with object/thread semantics. the paradigm can be used to achieve a wide range of consistency semantics from strict atomic transactions to standard process semantics. the paradigm supports three types of data consistency. Object programmers indicate the type of consistency desired on a per-operation basis, and the system performs automatic concurrency control and recovery management to ensure that those consistency requirements are met. this allows programmers to customize consistency and recovery on a per-application basis without having to supply complicated, custom recovery management schemes. the paradigm allows robust and nonrobust computation to operate concurrently on the same data in a well-defined manner. the operating system need support only one vehicle of computation-the thread.< >
An approach is presented for verifying the communication among modules in distributed computing system software. this approach is based on the inductive assertion method. the inference rules used in this approach are ...
详细信息
An approach is presented for verifying the communication among modules in distributed computing system software. this approach is based on the inductive assertion method. the inference rules used in this approach are derived for verifying the partial correctness of communicating sequential modules. In this approach, the virtual circuits are used for synchronous message-passing. the advantage of this approach is that proofs of the satisfaction and noninterference are not needed, since no assumptions about the effects of receiving messages are made in the sequential proofs and the uses of shared auxiliary variables and universal assertions are carefully controlled during the process verification. Without these proofs, the user only needs to deal withthe individual modules instead of the entire distributed computing system. the technique for detecting the deadlock of a program is given.< >
Term Matching is a fundamental operation in term rewriting, functionalprogramming and logic programming. Parallel algorithms for this operation have attracted much attention recently. However nontrivial lower bounds ...
详细信息
A dynamic programming algorithm that was initially designed to solve simple queries in chain networks (Scheuermann and Gursel 1984) and later extended to solve similar queries in ring networks (Gursel 1986) is introdu...
详细信息
An elastic matching method is proposed that is based on dynamic programming. It makes use of the fact that dynamic programming provides not only a global transformation, but also one-to-one correspondences between pri...
详细信息
ISBN:
(纸本)0818608781
An elastic matching method is proposed that is based on dynamic programming. It makes use of the fact that dynamic programming provides not only a global transformation, but also one-to-one correspondences between primitives, and therefore carries much more information about geometrical deformation. A deformation model that provides a much more accurate matching result is then estimated by using a minimum-mean-square criterion.
A type of LOG-BASIC programming language, which has the functions of logic reasoning and data processing, is proposed. this LOG-BASIC programming language supplies a good supporting environment for realizing the exper...
详细信息
ISBN:
(纸本)0818608781
A type of LOG-BASIC programming language, which has the functions of logic reasoning and data processing, is proposed. this LOG-BASIC programming language supplies a good supporting environment for realizing the expert systems for pattern recognition. LOG-BASIC has Prolog's tree structure, and is suited for pattern matching, automatic backtracking, and database management. A LOG-BASIC interpreter has been successfully implemented for the IBM-PC/XT and compatible computers.
the ways are explored in which object-oriented programming is well adapted to image analysis, and attempt is made to assess the implications of its use. In particular, the possible transition from C to C+30+30 of an e...
详细信息
ISBN:
(纸本)0818608781
the ways are explored in which object-oriented programming is well adapted to image analysis, and attempt is made to assess the implications of its use. In particular, the possible transition from C to C+30+30 of an existing image processing system called Woolz is examined. It is concluded that the system already closely follows the object-oriented paradigm, and that an efficient implementation in the C+30+30 language, using restricted removal of interobject privacy constraints, could be achieved.
暂无评论