检索结果-内蒙古大学图书馆

international conference and Workshop on Engineering of Computer-Based systems

作者： F. Papariello G. Luculli Advanced System Technology STMicroelectronics Grenoble France

ISBN: (纸本)0769515495

The objective of this research is to develop tools and methods for system-level optimization of embedded software that is executed on system-on-chip platforms. In particular, this paper proposes a new instruction-set simulator's tool flow which has been extended with some retargetability features and multiple program representations. We propose an innovative way to improve the simulation speed, that is a key factor for embedded software optimization, by using a synthesis approach. In depth description is reported of the source-level optimization of the simulation library which is an important part of such new mechanism. Experimental results show a speedup of about 24 for the throughput of the simulation library, reaching the valuable performance of 50 Mops.

关键词： hardware Embedded software Instruction sets system-on-a-chip software libraries Computational modeling software design Design optimization Process design Optimization methods

来源：评论

学校读者我要写书评

暂无评论

High level verification of control intensive systems using predicate abstraction 03

High level verification of control intensive systems using p...

引用

ACM and IEEE international conference on Formal Methods and Models for Co-Design (MEMOCODE)

作者： E. Clarke O. Grumberg M. Talupur Dong Wang Carnegie Mellon University Pittsburgh PA USA Technion-Israel Institute of Technology Haifa Israel

ISBN: (纸本)9780769519234

Predicate abstraction has been widely used for model checking hardware/software systems. However, for control intensive systems, existing predicate abstraction techniques can potentially result in a blowup of the size of the abstract model. We deal with this problem by retaining important control variables in the abstract model. By this method we avoid having to introduce an unreasonable number of predicates to simulate the behavior of the control variables. We also show how to improve predicate abstraction by extracting useful information from a high level representation of hardware/software systems. This technique works by first extracting relevant branch conditions. These branch conditions are used to invalidate spurious abstract counterexamples through a new counterexample-based lazy refinement algorithm. Experimental results are included to demonstrate the effectiveness of our methods.

关键词： Control systems Concrete software systems hardware Data mining Logic design Cities and towns Control system synthesis Size control Contracts

来源：评论

学校读者我要写书评

暂无评论

Treble: Fast software Updates by Creating an Equilibrium in an Active software Ecosystem of Globally Distributed Stakeholders

引用

ACM TRANSACTIONS ON EMBEDDED COMPUTING systemS 2019年第5期18卷 104-104页

作者： Yim, Keun Soo Malchev, Iliyan Hsieh, Andrew Burke, Dave Google 1600 Amphitheatre Pkwy Mountain View CA 94043 USA

This paper presents our experience with Treble, a two-year initiative to build the modular base in Android, a Java-based mobile platform running on the Linux kernel. Our Treble architecture splits the hardware independent core framework written in Java from the hardware dependent vendor implementations (e.g., user space device drivers, vendor native libraries, and kernel written in C/C++). Cross-layer communications between them are done via versioned, stable inter-process communication interfaces whose backward compatibility is tested by using two API compliance suites. Based on this architecture, we repackage the key Android software components that suffered from crucial post-launch security bugs as separate images. That not only enables separate ownerships but also independent updates of each image by interested ecosystem entities. We discuss our experience of delivering Treble architectural changes to silicon vendors and device makers using a yearly release model. Our experiments and industry rollouts support our hypothesis that giving more freedom to all ecosystem entities and creating an equilibrium are a transformation necessary to further scale the world largest open source ecosystem with over two billion active devices.

关键词： Open source ecosystem software architecture software update

来源：评论

学校读者我要写书评

暂无评论

Research on the application of TTS technology in intelligent English automatic translation system 23

Research on the application of TTS technology in intelligent...

引用

proceedings of the 2023 international conference on Information Education and Artificial Intelligence

作者： Chunhong Zeng Ganzhou Teachers College China

ISBN: (纸本)9798400716157

This paper introduces a design method of intelligent English translation system based on TTS technology. On this basis, according to the actual needs of English translation, TTS technology (text analysis, prosody control and speech synthesis) is used to design the system software, which mainly includes continuous speech automatic segmentation and annotation, prosody control, speech synthesis and speech library clipping. Through the above hardware design and software design, an intelligent automatic English translation system has been put into use. The experimental results show that compared with the control system, the deviation of phonological control parameters obtained by the design system is smaller and the phonological naturalness factor is larger, which fully indicates that the design system is more accurate in English translation.

关键词：

来源：评论

学校读者我要写书评

暂无评论

An improved systolic extended Euclidean algorithm for Reed-Solomon decoding: design and implementation

An improved systolic extended Euclidean algorithm for Reed-S...

引用

international conference on Application Specific Array Processors

作者： R. Doyle P. Fitzpatrick J. Nelson National Microelectronics Research Centre University College Cork Ireland Department of Electronic and Computer Engineering University of Limerick Ireland

The extended Euclidean algorithm (XEA) is the basis of one of the methods used for solving the key equation which arises in decoding Reed-Solomon error correcting codes. The algorithm is implemented using an Advanced Micro Devices electrically programmable gate array (EPGA) development system. This PC based software uses ORCAD schematic entry and simulation in conjunction with an AMD interface. EPGAs were chosen for the circuit design because of the ease of obtaining a silicon prototype once the circuit has been verified. The facility for direct programming of the IC from the PC means circuit revisions in hardware are quickly realized; this, coupled with efficient entry and simulation package, gives a much speedier design cycle than conventional masked silicon approaches. The advantages of the algorithm over existing designs are noted.< >

关键词： Reed-Solomon codes Circuit simulation Silicon Equations Decoding Error correction codes Circuit synthesis software prototyping Prototypes hardware

来源：评论

学校读者我要写书评

暂无评论

hardware-software co-synthesis of low power real-time distributed embedded systems with dynamically reconfigurable FPGAs

Hardware-software co-synthesis of low power real-time distri...

引用

Asia and South Pacific Design Automation conference

作者： L. Shang N.K. Jha Department of EE Princeton University USA

ISBN: (纸本)0769514413

In this paper, we present a multi-objective hardware-software co-synthesis system for multi-rate, real-time, low power distributed embedded systems consisting of dynamically reconfigurable FPGAs, processors, and other system resources. We use an evolutionary algorithm based framework for automatically determining the quantity and type of different system resources, and then assigning tasks to different processing elements (PEs) and task communications to communication links. For FPGAs, we propose a two-dimensional, multi-rate cyclic scheduling algorithm, which determines task priorities based on real-time constraints and reconfiguration overhead information, and then schedules tasks based on the resource utilization and reconfiguration condition in both space and time. The FPGA scheduler is integrated in a list-based system scheduler. To the best of our knowledge, this is the first multi-objective co-synthesis system, which uses dynamically reconfigurable devices to synthesize a distributed embedded system, to target simultaneous optimization of system price and power. Experimental results indicate that our method can reduce schedule length by an average of 41.0% and reconfiguration power by an average of 46.0% compared to the previous method. It also yields multiple system architectures which trade off system price and power under real-time constraints.

关键词： Real time systems Embedded system Field programmable gate arrays Energy consumption Evolutionary computation Resource management Scheduling algorithm hardware Reconfigurable architectures Contracts

来源：评论

学校读者我要写书评

暂无评论

Interface Implementation Using Ajax for Web-Based Instruction Set Simulator

Interface Implementation Using Ajax for Web-Based Instructio...

引用

international conference on Advanced Information Networking and Applications Workshops (AINAW)

作者： Hideaki Yanagisawa Minoru Uehara Hideki Mori Computer Science and Electronic Engineering Tokuyama College of Technology Japan Information and Computer Sciences Toyo University Japan

SSC-DASH (Server Side C-like Design Automation Shell) has been developed as a Web-based HW/SW codesign tool for designing processors. SSC-DASH obtains a processor definition file via Web browser and generates a HW (synthesizable Verilog-HDL description) and SWDE (software Development Environment) for the generated processor. The SWDE includes ISS (Instruction Set Simulator), assembler, disassembler and compiler. For the verification of the defined processor, processor developers have to download the generated SWDE, every time, even where changes are small. To improve the usability of this system a Web-based interface for the generated SWDE is implemented using Ajax. Using Ajax, download of the SWDE becomes unnecessary and makes it possible to verify the processor on the server quickly and easily. This greatly improves the usability of the SWDE. In this paper, we describe implementation of Web-based ISS using Ajax.

关键词： hardware design languages Assembly Process design Java Programming Usability Instruction sets Computer architecture Web pages Control system synthesis

来源：评论

学校读者我要写书评

暂无评论

A goal tree based high-level test planning system for DSP real number models

A goal tree based high-level test planning system for DSP re...

引用

IEEE international Test conference

作者： M. Lin J.R. Armstrong F.G. Gray VLSI Technology Center Hewlett Packard Company Fort Collins CO USA Bradley Department of Electrical and Computer Engineering Virginia Polytechnic Institute and State University Blacksburg VA USA

This paper presents a high-level test planning system for validating DSP real number models. It uses a goal tree structure as a framework of test planning and documenting. The goal tree based test plans are linked to the test bench generator, which creates test benches for simulation. The simulation results are checked and fed back to the test plans and new test benches are created accordingly. A GUI-based integrated software system has been developed for test planning and test automation based on this methodology. To illustrate this methodology, this paper uses the Synthetic Aperture Radar system as a case study. Finally, completeness and effectiveness of the generated test set are evaluated using structural approaches. Results of test set compaction are also presented.

关键词： system testing Digital signal processing software testing hardware design languages Circuit testing Circuit synthesis Automatic testing Integrated circuit synthesis Process design Application specific integrated circuits

来源：评论

学校读者我要写书评

暂无评论

Spoken-word direction of computer program synthesis 00

Spoken-word direction of computer program synthesis

引用

proceedings of the international conference on APL-Berlin-2000 conference

作者： Alvin J. Surkan University of Nebraska Lincoln Nebraska

ISBN: (纸本)9781581131826

Prototype software is being designed to orchestrate speech-directed synthesis of customizable computer programs. The problems encountered are considered from a perspective that assumes the notation, syntax and function structure of APL. Program synthesis is to be completed with spoken-word dialogs between humans and computers. The computer is to assist in constructing programs with minimal or zero need for mechanical contact between mobile users and computer hardware. During synthesis, the system is to respond audibly and, only when necessary, visually. Spoken commands that invoke functions must be easily recognized in a limited vocabulary in a given context for interactively completing specification of each program. Experimentation with prototype system is expected to facilitate the replacement of conventional text-entry programming systems by that a practical one for speech-directed program synthesis and development.

关键词： constructive composition of functional programs voice-directed programming computer program synthesis voice computing chatting in context incremental verbal software specification talking with computers human-computer interface spoken computer commands

来源：评论

学校读者我要写书评

暂无评论

An EKF-based algorithm for automatic tuning and control of electrical drives

An EKF-based algorithm for automatic tuning and control of e...

引用

international conference on Industrial Electronics, Control and Instrumentation

作者： E. Bassi F. Benzi G. De Nicolao Dipartimento di Ingegneria Elettrica Università di Pavia Pavia Italy Dipartimento di Informatica e Sistemistica Università di Pavia Pavia Italy

The paper presents a DSP-based procedure for the automatic tuning of speed and position controllers of electrical drives. The procedure is based on an identification algorithm (namely an extended Kalman filter) for the determination of the parameters of the system model, assumed as a first-order lag defined by its mechanical constant. The algorithm, which is executed at the start-up of the drive, transfers its results to another procedure which exploits the identified parameters for the optimal tuning of the drive motion controllers. The tuning is carried out off-line in discrete time. Theoretical and experimental results of the chosen tuning procedure are reported. For the design and testing of both the identification and regulation algorithm a simple PC-based tool has been developed, which provides the hardware support to command different actuators, together with the required software facilities.< >

关键词： Automatic control Communication system control Control system synthesis Optimal control Motion control Algorithm design and analysis software testing software algorithms hardware Actuators

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：