Time-space transformations and data alignments that can lead to efficient execution of parallel programs have been extensively studied. Recently, modular time-space transformations have been proposed to generate a cla...
Time-space transformations and data alignments that can lead to efficient execution of parallel programs have been extensively studied. Recently, modular time-space transformations have been proposed to generate a class of algorithm mappings that cannot be described by linear time-space transformations. This paper proposes a new class of data alignments, called expanded modular data alignments (EMDAs), for programs that result from modular time-space transformations. An EMDA subsumes multiple modular data alignments, which are described by affine functions modulo a constant vector. Conditions of a modular time-space mapping and an EMDA for perfect alignment are described. However, these conditions together with other conditions for validity and optimality of a modular mapping introduce nonlinear constraints in the problem of generating modular mappings. A method of O (n 2) complexity is provided to choose some entries of a transformation matrix so that nonlinear constraints are transformed into linear ones, where n is the dimension of the computation domain (e.g., the number of nested loops). Although the solution space of the problem is reduced by assigning fixed values to some entries, the proposed heuristic attempts to minimize the number of the fixed entries and consequently to exclude as few solutions as possible.
A new encoding/decoding scheme of multiple-valued separable balanced codes are presented. These codes have 2/spl middot/m information digits and m/spl middot/(R-2) check digits in radices R/spl ges/4, and 2/spl middot...
详细信息
A new encoding/decoding scheme of multiple-valued separable balanced codes are presented. These codes have 2/spl middot/m information digits and m/spl middot/(R-2) check digits in radices R/spl ges/4, and 2/spl middot/m-1 information digits and m+1 check digits in R=3 where code-length n=R/spl middot/m. In actual use of code-lengths and radices, it is shown that the presented codes are efficient in comparison with multiple-valued Berger-codes which are known as optimal unordered codes.< >
This paper presents a summary of the results of an examination of protocols produced via the integration of concurrency and coherence methods. Additionally locality of reference considerations are added to the integra...
详细信息
This paper presents a summary of the results of an examination of protocols produced via the integration of concurrency and coherence methods. Additionally locality of reference considerations are added to the integrating mixtures. Variants of a selected integration are simulated and a detailed analysis which clearly describes transactional behaviour within a realistically parametered distributed shared memory (DSM) environment is given. The performance tradeoffs identified through the simulation study should prove useful to designers of database systems in a DSM environment.< >
The authors define alpha -KS logic functions as infinite multiple-valued logic functions, adding a unary operation to fuzzy logic functions. The unary operation introduced is an extension of a unary operation of Kleen...
详细信息
The authors define alpha -KS logic functions as infinite multiple-valued logic functions, adding a unary operation to fuzzy logic functions. The unary operation introduced is an extension of a unary operation of Kleene-Stone logic functions. Any alpha -KS logic function can be expanded into a disjunctive form, but the form is not determined uniquely. A special disjunctive form that can be determined uniquely for a given alpha -KS logic function is shown.< >
The book will focus on exploiting state of the art research in semantic web and web science. The rapidly evolving world-wide-web has led to revolutionary changes in the whole of society. The research and development o...
详细信息
ISBN:
(数字)9781461468806
ISBN:
(纸本)9781461468790;9781489997432
The book will focus on exploiting state of the art research in semantic web and web science. The rapidly evolving world-wide-web has led to revolutionary changes in the whole of society. The research and development of the semantic web covers a number of global standards of the web and cutting edge tech.ologies, such as: linked data, social semantic web, semantic web search, smart data integration, semantic web mining and web scale computing. These proceedings are from the 6th Chinese Semantics Web Symposium.
暂无评论