Results 171 to 180 of about 527 (228)
Some of the next articles are maybe not open access.
System Level LBIST Implementation
2008 17th Asian Test Symposium, 2008In industry, chips become more and more complicated as advancing in deep submicron silicon process technology. LBIST can cover some newly emerging faults missed by traditional ATPG. That's why LBIST is becoming more and more popular. Besides launching LBIST through TAP interface, CPU launch LBIST feature may provide more flexibility for system-level or
Fei Zhuang, Junbo Jia, Xiangfeng Li
openaire +1 more source
Implementing LISP in a high‐level language
Software: Practice and Experience, 1977AbstractThe problems of producing an efficient but robust implementation of a high‐level language by building on existing compilers are discussed with reference to a LISP system consisting of an interpreter, a compiler and a large collection of support routines.In retrospect it can be seen that almost all of the major difficulties encountered were ...
John P. Fitch, A. C. Norman
openaire +2 more sources
High-level tools for language implementation
Journal of Systems and Software, 1991Abstract TOOLS is a language implementation system based on the integration of context-free grammars and class-based programming. The main goal of TOOLS has been to explore unified mechanisms for different aspects of language implementations. To this end, the TOOLS specification language has been geared toward object-oriented languages so that ...
Kai Koskimies, Jukka Paakki
openaire +1 more source
Implementation of a high level language machine
Communications of the ACM, 1973Computing machines which directly execute the statements of a high level language have been proposed in the past. This report describes the actual implementation of such a machine: it is a computer whose “machine language” is APL. The machine is fully operational and correctly executes almost all of the APL operations on scalars, vectors, and arrays ...
Anthony Hassitt +2 more
openaire +1 more source
Complexity of implementations on the level of algebraic specifications
Proceedings of the twelfth annual ACM symposium on Theory of computing - STOC '80, 1980The aim of this paper is to study implementations of abstract data types and their complexity within the framework of algebraic specifications. An implementation of an abstract data type ADTO by an abstract data type ADT1 is defined on a syntactical and on a semantical level where data and operations of ADTO are simulated by those of ADT1.
Hartmut Ehrig, Bernd Mahr
openaire +1 more source
Verifying Low-Level Implementations of High-Level Datatypes
2010For efficiency and portability, network packet processing code is typically written in low-level languages and makes use of bit-level operations to compactly represent data Although packet data is highly structured, low-level implementation details make it difficult to verify that the behavior of the code is consistent with high-level data invariants ...
Christopher L. Conway, Clark W. Barrett
openaire +1 more source
Implementing network protocols at user level
IEEE/ACM Transactions on Networking, 1993Traditionally, network software has been structured in a monolithic fashion with all protocol stacks executing either within the kernel or in a single trusted user-level server. This organization is motivated by performance and security concerns.
Chandramohan A. Thekkath +3 more
openaire +1 more source
Distance education: models, implementation levels and implementation challenges
Journal of Pedagogical Innovations, 2021The article aims to consider the problem of implementing distance learning at the micro-meso and macro levels. In the study, the authors rely on a systematic approach. Using the example of studies of the results of the introduction of distance learning during the pandemic, the problems faced by educational organizations at the regional level are shown.
Roman Vladimirovich Kamenev +2 more
openaire +1 more source
Relay Implementation in WiMAX System Level Simulator
2009 First International Conference on Networked Digital Technologies, 2009Future wireless communication systems are expected to provide more stable and higher data rate transmissions in the whole network. WiMAX is one of the technologies to cover diverse geographic regions. WiMAX covers the high dense urban areas and provide access over large geographic regions in remote rural area.
Shahid Mumtaz +3 more
openaire +2 more sources
Implementing Language Support in High-Level Languages
IEEE Transactions on Software Engineering, 1984Summary: One of the requirements for building an operating system in a high-level operating system language, such as Ada, concurrent Pascal, or modula, is the construction of a language support system, or kernel. This paper presents a model that generalizes the concept of a kernel, and defines a kernel and the processes it supports to be at different ...
Martin S. McKendry, Roy H. Campbell
openaire +2 more sources