作者:
Denning, Peter J.US Navy
Postgrad Sch Cebrowski Inst Informat Innovat Monterey CA 93943 USA ACM
New York NY 10087 USA
The author reflects on the evolution of operating systems. Topics covered include a brief history of operating systems, the four stages of an operating system and highlights of various research made on operating syste...
详细信息
The author reflects on the evolution of operating systems. Topics covered include a brief history of operating systems, the four stages of an operating system and highlights of various research made on operating systems. He discusses the eight principles which serve as the foundation for the generation of operating systems, wherein the principles include interactive computing, interrupt systems and modular programming.
Previous work on paging behavior has concentrated on procedures rather than data. Recent research: 1. clarifies the paging behavior of data referenced by a newly developed language processor, and 2. analyzes theore...
详细信息
Previous work on paging behavior has concentrated on procedures rather than data. Recent research: 1. clarifies the paging behavior of data referenced by a newly developed language processor, and 2. analyzes theoretically the performance of several page replacement algorithms with no loss of generality. Experimental analyses demonstrate that the optimum page size for these data is small and locality is evident (but not so high in comparison with that for procedures), and that the efficiency of each replacement algorithm can be ranked in descending order as LRU, simplified LRUs, and first-in-first-out (FIFO). The language processor is improved on the basis of these results. Assuming the existence of locality, the performance of algorithms is analyzed theoretically. Difference in performance between LRU and FIFO is evaluated by upper and lower bound functions and is found to increase at low fault rate. The reason for the difference between LRU and simplified LRUs is analyzed by the period measure for which information about recent references to pages is collected. It is concluded that the performance of simplified LRUs is consistent with this measure and strongly depends on the reset timing of LRU-flags. Figures.
This paper presents Tarsos, a modular software platform used to extract and analyse pitch organization in music. With Tarsos pitch estimations are generated from an audio signal and those estimations are processed in ...
详细信息
This paper presents Tarsos, a modular software platform used to extract and analyse pitch organization in music. With Tarsos pitch estimations are generated from an audio signal and those estimations are processed in order to form musicologically meaningful representations. Tarsos aims to offer a flexible system for pitch analysis through the combination of an interactive user interface, several pitch estimation algorithms, filtering options, immediate auditory feedback and data output modalities for every step. To study the most frequently used pitches, a fine-grained histogram that allows up to 1200 values per octave is constructed. This allows Tarsos to analyse deviations in Western music, or to analyse specific tone scales that differ from the 12 tone equal temperament, common in many non-Western musics. Tarsos has a graphical user interface or can be launched using an apias a batch script. Therefore, it is fit for both the analysis of individual songs and the analysis of large music corpora. The interface allows several visual representations, and can indicate the scale of the piece under analysis. The extracted scale can be used immediately to tune a midi keyboard that can be played in the discovered scale. These features make Tarsos an interesting tool that can be used for musicological analysis, teaching and even artistic productions.
In this paper a technical description of the simulation package TROCADERO is provided. This program implements large-scale atomistic simulations of materials, using a variety of simulation techniques which include sev...
详细信息
In this paper a technical description of the simulation package TROCADERO is provided. This program implements large-scale atomistic simulations of materials, using a variety of simulation techniques which include several forms of molecular dynamics, structural relaxation and phonon calculations. Also a growing number of different models are available in the program, ranging from empirical potentials to semi-empirical tight-binding models. A detailed discussion of the coding strategy is given, followed by a summary of the capabilities of the program, both in terms of simulation algorithms and models available, which are further illustrated by a review of recent applications of the code in several branches of computational materials science. (C) 2003 Elsevier B.V. All rights reserved.
The development of computer simulation methods has proceeded in parallel with those in other areas of computing. Thus, interest in component-based approaches is evident both in general software engineering and in comp...
详细信息
The development of computer simulation methods has proceeded in parallel with those in other areas of computing. Thus, interest in component-based approaches is evident both in general software engineering and in computer simulation, with advocates arguing that component-based approaches are far superior to more conventional ways of developing software and applications. Potential benefits are reduced cost and development time arising from reuse of components, as well as easier model adaptation due to the features of extensibility and evolvability. If these are to be realised, then organisations must develop ways to ensure that costs and benefits are shared and should ensure that suitable libraries and component distribution frameworks are available. In a simulation context it is also crucial to ensure that the issue of model credibility and validity is addressed even if the components are thought valid. (C) 2004 Elsevier B.V. All rights reserved.
A breakthrough in Machine Learning (ML) based technologies has been seen during last years. To overcome energy, latency and security issues, new concepts are developed to bring the ML codes, namely the Artificial Neur...
详细信息
ISBN:
(纸本)9783031298592;9783031298608
A breakthrough in Machine Learning (ML) based technologies has been seen during last years. To overcome energy, latency and security issues, new concepts are developed to bring the ML codes, namely the Artificial Neural Network (ANN), closer to the systems (Edge-Computing devices, AI-dedicated hardware, smart embedded systems, and derivatives). In this paper, we present a modular implementation approach of the Feed-Forward ANN using LabView VIs and compiled on a Field Programmable Gate Array (FPGA) board embedded in the NI Elvis III station, and we explore the number of resources required to run each part of the ANN modules (Look-Up-Table (LUT) slices, RAM blocks, Register slices, and DSP slices). The modular programming of the ANN allows getting detailed percentages of the resource allocation and helps identifying the most resource-hungry module of the ANN. The experimental results of the ANN implementation on the FPGA showthat the LUT represents the highest percentage of the FPGA resource used by the different ANN modules (Input generation, desired output, Loss Function, Update Function, Feed-Forward). The second most used resource is the Register Slices, followed by the DSPs then the block of RAMs. The experiment also shows that the Feed-Forward module of the ANN is the most resource-hungry due to the computation and normalization of the ANN mathematical functions.
Existing network data plane verification approaches check network correctness with various models and algorithms. With respect to a specific scenario, it is hard to judge which network model provides sufficient functi...
详细信息
ISBN:
(纸本)9781450391689
Existing network data plane verification approaches check network correctness with various models and algorithms. With respect to a specific scenario, it is hard to judge which network model provides sufficient functionality and suitable performance, because existing verification approaches are implemented with different languages and evaluated against different datasets on different hardware platforms in their papers. A network operator usually has to try out a number of complex verification approaches to find the best one for her/his network and intents. Mahjong has a modular system architecture, a unified input format, and three classic verification tools built-in. Leveraging its well-defined partition interfaces and straight-forward configuration file, not only existing approaches can be refactored and merged into Mahjong, new approaches can also be introduced and evaluated with ease.
The development of computer simulation methods has proceeded in parallel with those in other areas of computing. Thus, interest in component-based approaches is evident both in general software engineering and in comp...
详细信息
The development of computer simulation methods has proceeded in parallel with those in other areas of computing. Thus, interest in component-based approaches is evident both in general software engineering and in computer simulation, with advocates arguing that component-based approaches are far superior to more conventional ways of developing software and applications. Potential benefits are reduced cost and development time arising from reuse of components, as well as easier model adaptation due to the features of extensibility and evolvability. If these are to be realised, then organisations must develop ways to ensure that costs and benefits are shared and should ensure that suitable libraries and component distribution frameworks are available. In a simulation context it is also crucial to ensure that the issue of model credibility and validity is addressed even if the components are thought valid. (C) 2004 Elsevier B.V. All rights reserved.
nowadays, the Internet of Things is more widely used than ever before. It is a tendency to get and analyze the data retrieved from the sensor device. Considering that the sensor device is always large, heterogeneous, ...
详细信息
ISBN:
(纸本)9781479934348
nowadays, the Internet of Things is more widely used than ever before. It is a tendency to get and analyze the data retrieved from the sensor device. Considering that the sensor device is always large, heterogeneous, and have a limited capacity, it is necessary to develop a middleware platform to do these jobs. In this paper, we design and implement a middleware system based on the OSGI, which can supports modular protocol developing and dynamically plug in and out. Our paper mainly contains 3 parts. First, we will have a brief introduction about the background and requirement of the system. Then we will introduce the design and implementation of our system in detail. Finally, we will validate and test our system in real situation.
The paper presents the design process of a control system for a line which manufactures metallic parts for the automotive industry. The manufacturing line is designed so that it can produce several product models. The...
详细信息
The paper presents the design process of a control system for a line which manufactures metallic parts for the automotive industry. The manufacturing line is designed so that it can produce several product models. The control system, based on a programmable logic controller (PLC), is designed to allow on-the-fly reconfiguration of the line based on the recipe selected by the operator. Equally, the hardware configuration and the PLC program allow the further development of the manufacturing line by adding new stations (and obviously new recipes). By incorporating into the control system modular programming techniques, a large amount of safety measures, tools necessary to ensure product traceability and a modern human-machine interface (HMI), the design ensures high efficiency of the manufacturing line, a high level of safety of the operators and of the plant, compliance with current quality requirements and the possibility to expand the line for extending the product range without considerable effort.
暂无评论