Nowadays, Rich Internet Applications are gaining ground thanks to the facilities they provide to develop Web applications with multimedia, high levels of interactivity, collaborative work, and/or homogeneous presentat...
详细信息
ISBN:
(纸本)9781424414505
Nowadays, Rich Internet Applications are gaining ground thanks to the facilities they provide to develop Web applications with multimedia, high levels of interactivity, collaborative work, and/or homogeneous presentation requirements at the client side. However, this new kind of Web applications currently lacks complete methodologies and models which aid its design and development. This paper introduces the concepts at the base of Rich Internet Applications to take full advantage of their new capacities, and proposes an integrated Web Engineering approach based on the WebML and the RUX-Model conceptual models for supporting a high-level design of these applications and their automatic code generation.
Billions of lines of code that have been written in Cobol, PL/I, and other old programming languages are still in active use. Many commercial efforts to convert these to more modern languages have begun, but few have ...
详细信息
Billions of lines of code that have been written in Cobol, PL/I, and other old programming languages are still in active use. Many commercial efforts to convert these to more modern languages have begun, but few have succeeded. These authors discuss the nuts and bolts of conversion between several pairs of languages and some of the possibilities and limitations of automating language conversion.
This article introduces an application of higher order functions as structure abstractions of recursive(1) functions as a method to reduce a search effort needed for the automatic programming (evolving) of common type...
详细信息
This article introduces an application of higher order functions as structure abstractions of recursive(1) functions as a method to reduce a search effort needed for the automatic programming (evolving) of common types of recursive functions. We will shortly describe a functional paradigm based language specially designed for automatic programming. Henceforward we introduce the structure abstraction functions (AR-functions) and the results of experiments.
A modified hybrid ARQ type-II retransmission technique is presented In this scheme, only the originally punctured bits are transmitted instead of full retransmission, if necessary. Compared to Narayanan's retransm...
详细信息
A modified hybrid ARQ type-II retransmission technique is presented In this scheme, only the originally punctured bits are transmitted instead of full retransmission, if necessary. Compared to Narayanan's retransmission scheme, the structure of the modified turbo encoder and decoder is simpler. Simulation results demonstrated that a frame error rate reduction can be obtained At the same time, the effective code rate remained relatively high.
One of the loveliest uses of SP I have come across is in vehicle testing. The Army particularly makes use of computers and automatic test equipment to mechanically test out new vehicles and uncover malfunctions. The p...
详细信息
One of the loveliest uses of SP I have come across is in vehicle testing. The Army particularly makes use of computers and automatic test equipment to mechanically test out new vehicles and uncover malfunctions. The programs for automatic test equipment are such that significant economic gain can be achieved in their development, documentation, and maintenance, provided appropriate language and system features are available.
Several approaches, such as the UML MARTE profile or AADL start to reach maturity for the design of Real-Time Embedded System (RTES). The use of such formalisms and their associated verification tools relies on the co...
详细信息
ISBN:
(纸本)9780769531397
Several approaches, such as the UML MARTE profile or AADL start to reach maturity for the design of Real-Time Embedded System (RTES). The use of such formalisms and their associated verification tools relies on the confidence of the designer in the successful translation of these high-level descriptions into correct executable code. Part of this translation is performed by code generators. However code generators are often black boxes or difficult to customize. This fact conflicts with the specific needs of the development of RTES where different code generation strategies could be involved. Recently, Model Driven Architecture (MDA) has offered sophisticated tools for model transformation. This paper presents an experimentation: code generation from an AADL model to C code using MDA tools. Based on this experimentation, statements on the interest of MDA tools for this purpose are given. Beyond this feedback, a set of open questions emerged about the need of flexibility of code generators and the different ways for setting this flexibility in MDA tools.
A coaxial quadrature bridge based on digital synthesis has been developed. The bridge compares two resistance standards (having nominal resistance R), with two capacitance standards (nominal capacitance C), at an angu...
详细信息
ISBN:
(纸本)9781424405886
A coaxial quadrature bridge based on digital synthesis has been developed. The bridge compares two resistance standards (having nominal resistance R), with two capacitance standards (nominal capacitance C), at an angular frequency w (such that wRC approximate to 1). All standards are defined as two terminal pair impedances. All voltages and currents employed in the bridge are generated by a multiphase direct digital synthesizer, constructed around a personal computer DAC board and a set of integrated amplifiers;the number of electromagnetic devices has been kept to a minimum. The bridge is made to be employed in the realization of the farad unit, starting from the representation of ohm given by the quantum Hall effect. Relative bridge accuracy during the calibration of 1000 pF capacitors in terms of 100 k Omega resistors at w =10 krad.s(-1) has been verified to be less than 10(-6);preliminary uncertainty assignement give a transfer uncertainty of a few parts in 10(-8).
As Moore's Law continues to increase the complexity of electronic systems, Electronic Design Automation (EDA) must advance to meet global demand. An important example of an EDA technology is SKILL, a scripting lan...
详细信息
ISBN:
(纸本)9781510672154;9781510672147
As Moore's Law continues to increase the complexity of electronic systems, Electronic Design Automation (EDA) must advance to meet global demand. An important example of an EDA technology is SKILL, a scripting language used to customize and extend EDA software. Recently, code generation models using the transformer architecture have achieved impressive results in academic settings and have even been used in commercial developer tools to improve developer productivity. To the best of our knowledge, this study is the first to apply transformers to SKILL code autocompletion towards improving the productivity of hardware design engineers. In this study, a novel, data-efficient methodology for generating SKILL code is proposed and experimentally validated. More specifically, we propose a novel methodology for (i) creating a high-quality SKILL dataset with both unlabeled and labeled data, (ii) a training strategy where T5 models pre-trained on general programming language code are fine-tuned on our custom SKILL dataset using self-supervised and supervised learning, and (iii) evaluating synthesized SKILL code. We show that models trained using the proposed methodology outperform baselines in terms of human-judgment score and BLEU score. A major challenge faced was the extremely small amount of available SKILL code data that can be used to train a transformer model to generate SKILL code. Despite our validated improvements, the extremely small dataset available to us was still not enough to train a model that can reliably autocomplete SKILL code. We discuss this and other limitations as well as future work that could address these limitations.
SETL is a set-theoretically oriented language of very high level whose repertoire of semantic objects includes finite sets, ordered n-tuples, and sets of ordered n-tuples useable as mappings. This two-part paper studi...
详细信息
The technology issues leading to the formation of the IEEE Computer Society's Technical Committee on Complexity in Computing are briefly reviewed. The technical committee (TC) aims to develop the scientific and en...
详细信息
The technology issues leading to the formation of the IEEE Computer Society's Technical Committee on Complexity in Computing are briefly reviewed. The technical committee (TC) aims to develop the scientific and engineering field of complex computing systems to the point where users can rely on the dependability of the complex systems they construct. To meet this objective, the scope of the TC covers all methods appropriate to thoroughly understand, specify, design, implement, maintain, and assess critical properties of complex computing systems. Committee members envision creating system environments that will carry out critical functions and whose architectures intrinsically support rigorous verification techniques. This demand is radically new: during the last half century, speed, capacity, and throughput had exclusively dominated computer development; now, developers need to address the increasingly urgent problem of growing complexity by optimizing computer-system design towards mastering complexity.
暂无评论