Logical definability of Y-tree and trellis systolic ω-languages

In this paper we investigate the correspondence (in the style of the well known Büchi Theorem) between ω-languages accepted by systolic automata and suitable (proper) extensions of the Monadic Second Order theory of one successor (MSO[<]). To this purpose we extend Y-tree and trellis systolic automata to deal with ω-words and we study the expressiveness, closure and decidability properties of the two classes of ω-languages accepted by Y-tree and trellis automata, respectively. We define, then, two extensions of MSO[<], MSO[<,adj] and MSO[<,2x], which allow to express Y-tree ω-languages and trellis ω-languages, respectively

VLSI implementation of a multi-mode turbo/LDPC decoder architecture

Flexible and reconfigurable architectures have gained wide popularity in the communications field. In particular, reconfigurable architectures for the physical layer are an attractive solution not only to switch among different coding modes but also to achieve interoperability. This work concentrates on the design of a reconfigurable architecture for both turbo and LDPC codes decoding. The novel contributions of this paper are: i) tackling the reconfiguration issue introducing a formal and systematic treatment that, to the best of our knowledge, was not previously addressed; ii) proposing a reconfigurable NoCbased turbo/LDPC decoder architecture and showing that wide flexibility can be achieved with a small complexity overhead. Obtained results show that dynamic switching between most of considered communication standards is possible without pausing the decoding activity. Moreover, post-layout results show that tailoring the proposed architecture to the WiMAX standard leads to an area occupation of 2.75 mm2 and a power consumption of 101.5 mW in the worst case

Synthesis, structure and power of systolic computations

AbstractA variety of problems related to systolic architectures, systems, models and computations are discussed. The emphases are on theoretical problems of a broader interest. Main motivations and interesting/important applications are also presented. The first part is devoted to problems related to synthesis, transformations and simulations of systolic systems and architectures. In the second part, the power and structure of tree and linear array computations are studied in detail. The goal is to survey main research directions, problems, methods and techniques in not too formal a way

Proceedings of the Second International Mobile Satellite Conference (IMSC 1990)

Presented here are the proceedings of the Second International Mobile Satellite Conference (IMSC), held June 17-20, 1990 in Ottawa, Canada. Topics covered include future mobile satellite communications concepts, aeronautical applications, modulation and coding, propagation and experimental systems, mobile terminal equipment, network architecture and control, regulatory and policy considerations, vehicle antennas, and speech compression

Survey on Instruction Selection: An Extensive and Modern Literature Review

Instruction selection is one of three optimisation problems involved in the code generator backend of a compiler. The instruction selector is responsible of transforming an input program from its target-independent representation into a target-specific form by making best use of the available machine instructions. Hence instruction selection is a crucial part of efficient code generation. Despite on-going research since the late 1960s, the last, comprehensive survey on the field was written more than 30 years ago. As new approaches and techniques have appeared since its publication, this brings forth a need for a new, up-to-date review of the current body of literature. This report addresses that need by performing an extensive review and categorisation of existing research. The report therefore supersedes and extends the previous surveys, and also attempts to identify where future research should be directed.Comment: Major changes: - Merged simulation chapter with macro expansion chapter - Addressed misunderstandings of several approaches - Completely rewrote many parts of the chapters; strengthened the discussion of many approaches - Revised the drawing of all trees and graphs to put the root at the top instead of at the bottom - Added appendix for listing the approaches in a table See doc for more inf

User interface development and software environments : the Chiron-1 system

User interface development systems for software environments have to cope with the broad, extensible and dynamic character of such environments, must support internal and external integration, and should enable various software development strategies. The Chiron-1 system adapts and extends key ideas from current research in user interface development systems to address the particular demands of software environments. Important Chiron-1 concepts are: separation of concerns, dynamism, and open architecture. We discuss the requirements on such user interface development systems, present the Chiron-1 architecture and a scenario of its usage, detail the concepts it embodies, and report on its design and prototype implementation

Deep Learning Based Channel Estimation in Data Driven MIMO Receiver

OFDM (orthogonal frequency division multiplexing) is a wireless network methodology that sends multiple data streams across a particular channel while effectiently&nbsp;handling inter-symbol interference and enhancing&nbsp;frequency band available. And since the antenna is sending&nbsp;signals, evaluating the noise in a noisy channel is essential. This research aims into compressed sensing (CS) as a way to improve throughput and BER&nbsp;performance by transmitting additional data bits within every subcarrier frame whilst still limiting detector unpredictability. The Neuro-LS methodology is used in this study to generate a soft trellis decoding algorithm through&nbsp;channel estimation. Trellis decoding performs better BER, and DNN relying&nbsp;channel estimation outperforms BER, according to the findings

The Effect of Constructional Features on the Tensile Strength of Woven Structures

The main field of enquiry included the effect of interlacing on the tensile strength and the influence of changes in weft particulars on the strength of the warp. The result in all cases are expressed in terms of fabric assistance ratios which are of greater interest when dealing with the influence of component yarns on the fabric than direct strength values. Behaviour of continous filement yarns and cotton yarns in woven constructions was investigated and considerable differences in the basic pattern were discovered between the different materials. In addition to the sett and the weave structure it was found that the crimp factor exerted a distinct influence on the ultimate strength value. In this connection it was postulated that of considerable importance in the standard method of tensile strength was the ratio of crimp between longitudinal and transverse components of a fabric. A trellis type of jaw was constructed to test fabrics under conditions of homogeneous strain with the elimination of "waist" effects and comparisons were made between the two methods of test using identical specimens