期刊文献+
共找到130篇文章
< 1 2 7 >
每页显示 20 50 100
Dynamically Translating Binary Code for Multi-Threaded Programs Using Shared Code Cache
1
作者 Chia-Lun Liu Jiunn-Yeu Chen +1 位作者 Wuu Yang Wei-Chung Hsu 《Journal of Electronic Science and Technology》 CAS 2014年第4期434-438,共5页
mc211vm is a process-level ARM-to-x86 binary translator developed in our lab in the past several years. Currently, it is able to emulate singlethreaded programs. We extend mc211vm to emulate multi-threaded programs. O... mc211vm is a process-level ARM-to-x86 binary translator developed in our lab in the past several years. Currently, it is able to emulate singlethreaded programs. We extend mc211vm to emulate multi-threaded programs. Our main task is to reconstruct its architecture for multi-threaded programs. Register mapping, code cache management, and address mapping in mc2llvm have all been modified. In addition, to further speed up the emulation, we collect hot paths, aggressively optimize and generate code for them at run time. Additional threads are used to alleviate the overhead. Thus, when the same hot path is walked through again, the corresponding optimized native code will be executed instead. In our experiments, our system is 8.8X faster than QEMU (quick emulator) on average when emulating the specified benchmarks with 8 guest threads. 展开更多
关键词 ARM binary translation hot path mc211vm multi-threaded program QEMU (quickemulator).
下载PDF
Computer-aided Pattern Design of Multi-bar Warp Knitted Fabrics
2
作者 李炜 《Journal of China Textile University(English Edition)》 EI CAS 2000年第1期85-87,共3页
To meet the development trend of multi-bar warp knit-ting machine towards high-speed,advanced technologyand computer control and the requirements of variousproducts with small quantity,there are many researcheson the ... To meet the development trend of multi-bar warp knit-ting machine towards high-speed,advanced technologyand computer control and the requirements of variousproducts with small quantity,there are many researcheson the computer-aided pattern design of multi-barwarp knitted fabrics.In terms of the special propertiesof the computer-aided pattern design of multi-barwarp knitted fabrics,the Object Oriented Program(OOP)programming-Object Windows class Library(OWL)programming is selected.According to thecharacters of the OWL programming,various functionsare defined.Pattern design and technical parameters canbe output,which offers a great convenience for the fac-tory. 展开更多
关键词 multi - bar WARP KNITTED fabric computer -aided PATTERN design PATTERN Object Windows class Library (OWL) programming.
下载PDF
A Generic Graph Model for WCET Analysis of Multi-Core Concurrent Applications
3
作者 Robert Mittermayr Johann Blieberger 《Journal of Software Engineering and Applications》 2016年第5期182-198,共17页
Worst-case execution time (WCET) analysis of multi-threaded software is still a challenge. This comes mainly from the fact that synchronization has to be taken into account. In this paper, we focus on this issue and o... Worst-case execution time (WCET) analysis of multi-threaded software is still a challenge. This comes mainly from the fact that synchronization has to be taken into account. In this paper, we focus on this issue and on automatically calculating and incorporating stalling times (e.g. caused by lock contention) in a generic graph model. The idea that thread interleavings can be studied with a matrix calculus is novel in this research area. Our sparse matrix representations of the program are manipulated using an extended Kronecker algebra. The resulting graph represents multi-threaded programs similar as CFGs do for sequential programs. With this graph model, we are able to calculate the WCET of multi-threaded concurrent programs including stalling times which are due to synchronization. We employ a generating function-based approach for setting up data flow equations which are solved by well-known elimination-based dataflow analysis methods or an off-the-shelf equation solver. The WCET of multi-threaded programs can finally be calculated with a non-linear function solver. 展开更多
关键词 Worst-Case Execution Time Analysis program Analysis CONCURRENCY multi-threaded programs Kronecker Algebra
下载PDF
基于Matrox Meteor-Ⅱ/Digital的图像采集系统研究 被引量:1
4
作者 王爽 胡炳樑 +2 位作者 刘彩芳 王彩玲 钱情明 《电子设计工程》 2012年第3期71-74,共4页
针对Matrox Meteor-II/Digital图像采集卡配套软件不具有实时数据处理功能的问题,根据项目需要提出了一个基于Matrox Meteor-II/Digital图像采集卡的图像采集系统,并完成了系统搭建及软件设计。该系统的硬件平台由CCD、Matrox Meteor-II... 针对Matrox Meteor-II/Digital图像采集卡配套软件不具有实时数据处理功能的问题,根据项目需要提出了一个基于Matrox Meteor-II/Digital图像采集卡的图像采集系统,并完成了系统搭建及软件设计。该系统的硬件平台由CCD、Matrox Meteor-II/Digital图像采集卡及计算机组成;软件部分基于Matrox图像采集卡的模式识别库函数(MatroxImaging Library),用VC++多线程编程来实现连续图像采集和单帧存储及实时处理等功能。试验表明,该系统操作简单、方便,且已经在实验室正常运行。 展开更多
关键词 图像采集卡 连续图像采集 单帧存储 采集处理系统 多线程编程
下载PDF
Some Practical Issues Regarding Java Programming
5
作者 Ming-fang Wang Department of Computer Science, University of Central ArkansasConway, Arkansas 72035 wangm @ panda.cs.uca.eduWu JieShanghai Institute of Computing Tech. Shanghai, China 200040 Telephone: 62520070 《计算机工程》 CAS CSCD 北大核心 1996年第S1期106-121,共16页
Java programming language is a major . new development which involves object-oriented programming and computer networking. Here, several examples of Java programs are presented. These examples show some major features... Java programming language is a major . new development which involves object-oriented programming and computer networking. Here, several examples of Java programs are presented. These examples show some major features that Java language provides, such as multi-thread, exception handling, network application writing, and the usage of Java applets. This article also shows some ways of setting up a Java language programming environment. All these examples are correct and ready to run. 展开更多
关键词 Java programming/object- ORIENTED programming/multi - thread
下载PDF
一种基于无锁队列的运行时多线程并行验证方法 被引量:1
6
作者 李佳洁 陈哲 陈龙腾 《小型微型计算机系统》 CSCD 北大核心 2024年第5期1249-1256,共8页
运行时验证是一种动态的软件验证技术,主要包括使用形式化规约描述待验证性质、自动生成对应监控器以及监控器的插桩.然而现有的面向C语言程序的运行时验证技术存在一些局限性,主要体现在多监控器的情况下,现有的运行时验证工具只能使... 运行时验证是一种动态的软件验证技术,主要包括使用形式化规约描述待验证性质、自动生成对应监控器以及监控器的插桩.然而现有的面向C语言程序的运行时验证技术存在一些局限性,主要体现在多监控器的情况下,现有的运行时验证工具只能使用串行的方式处理,这大大降低了验证效率.因此,本文在分析了形式化规约的基础上,提出了一种基于无锁队列的运行时多线程并行验证方法.方法在现有工具MOVEC上实现并在测试集mibench上插桩运行,并与相关工具ACC、AC++和串行机制下的MOVEC进行了对比实验.实验结果表明,本文所实现的基于无锁队列的运行时多线程并行算法可以在有多个监控器的情况下有效地对C语言程序进行并行的运行时验证,且并行验证算法的性能比串行验证算法提升了约83%. 展开更多
关键词 运行时验证 形式化规约 多线程 无锁队列 C语言程序
下载PDF
基于HLA的鱼雷武器作战性能仿真技术研究 被引量:6
7
作者 吴宇 康凤举 +2 位作者 魏佳宁 谢攀 杨虎 《系统仿真学报》 EI CAS CSCD 北大核心 2006年第11期3135-3137,3142,共4页
研究了系统总体结构、通用RTI接口组件和多线程等关键技术,将基于六自由度的鱼雷动力学模型和基于声学特性的水声对抗模型引入基于HLA的鱼雷武器作战仿真系统中,提高了模型的精度,分析了系统的时间性能,并给出了典型鱼雷武器系统性能评... 研究了系统总体结构、通用RTI接口组件和多线程等关键技术,将基于六自由度的鱼雷动力学模型和基于声学特性的水声对抗模型引入基于HLA的鱼雷武器作战仿真系统中,提高了模型的精度,分析了系统的时间性能,并给出了典型鱼雷武器系统性能评估统计的结果。本项研究为分布交互仿真技术用于武器系统研制仿真提供了新的途径。 展开更多
关键词 水声对抗 通用RTI接口 统计仿真 多线程
下载PDF
基于GIS和分布式计算环境的电信电缆可视化智能管理系统设计 被引量:8
8
作者 郑华武 刘正光 王伟 《计算机工程》 CAS CSCD 北大核心 2002年第2期216-218,230,共4页
提出了一套电信电缆可视化智能管理系统()的设计方案。通过电缆管理、实时监测与三者的紧密结合,基于和分 VITCMSGISGIS布式计算环境,构造具有初步智能化特点的电信地理信息系统()。给出了系统设计目标和实现框图、功能模块结构图,并针... 提出了一套电信电缆可视化智能管理系统()的设计方案。通过电缆管理、实时监测与三者的紧密结合,基于和分 VITCMSGISGIS布式计算环境,构造具有初步智能化特点的电信地理信息系统()。给出了系统设计目标和实现框图、功能模块结构图,并针对可视TGIS化、应用软件与的集成、面向对象的开发、实时监测设备(前端机)与监测主机的通信等问题提出了解决办法。 展开更多
关键词 电信电缆 可视化 地理信息系统 实时监测 分布式计算环境 智能管理系统 设计
下载PDF
面向多线程程序基于效用的Cache优化策略 被引量:5
9
作者 唐轶轩 吴俊敏 +2 位作者 陈国良 隋秀峰 黄景 《计算机研究与发展》 EI CSCD 北大核心 2013年第1期170-180,共11页
为了提供高速的数据访问,多核处理器常使用Cache划分机制来分配二级Cache资源,但传统的共享Cache划分算法大多是面向多道程序的,忽略了多线程负载中共享和私有数据访问模式的差别,使得共享数据的使用效率降低.提出了一种面向多线程程序... 为了提供高速的数据访问,多核处理器常使用Cache划分机制来分配二级Cache资源,但传统的共享Cache划分算法大多是面向多道程序的,忽略了多线程负载中共享和私有数据访问模式的差别,使得共享数据的使用效率降低.提出了一种面向多线程程序的Cache管理机制UPP,它通过监控Cache中共享、私有数据的效用信息,为每个线程以及共享数据分配Cache空间,使得各个线程以及共享数据的边际效用最大化,从而提高负载的整体性能.另外,UPP还考虑了程序中数据的使用频率以及临近性信息,通过提升、动态插入策略过滤低重用数据,从而使得高频数据块留在Cache中.通过实验表明,其性能相对于基于LRU的纯共享Cache结构和基于公平的静态Cache划分结构均有提升. 展开更多
关键词 多核处理器 共享CACHE划分 插入策略 替换算法 多线程程序
下载PDF
网络程序设计中的并发复杂性 被引量:14
10
作者 李慧霸 田甜 +2 位作者 彭宇行 李东升 卢锡城 《软件学报》 EI CSCD 北大核心 2011年第1期132-148,共17页
互联网已成为现代社会的重要信息基础设施,然而网络环境的并发性使得传统程序设计方法在开发高质量的网络程序时遇到了许多困难,严重影响了开发效率.并发问题对网络程序开发复杂度的影响可以类比多核处理器带来的"软件并发危机&quo... 互联网已成为现代社会的重要信息基础设施,然而网络环境的并发性使得传统程序设计方法在开发高质量的网络程序时遇到了许多困难,严重影响了开发效率.并发问题对网络程序开发复杂度的影响可以类比多核处理器带来的"软件并发危机",然而其中的并发问题却远远没有得到应有的重视.网络并发问题目前并不存在普适的应对方法,甚至在不同方法之间存在明显的争论.简要介绍了各种基本的并发模型及其常见的实现方法,并在此基础上着重分析了现有方法的内在复杂性,对比各种方法的优势与劣势,最后展望可能的研究和发展方向. 展开更多
关键词 网络 并发 程序设计复杂性 事件驱动 stack-ripping 多线程 期货
下载PDF
某型导弹模拟训练系统的设计 被引量:7
11
作者 张华敏 邱学军 黎莉 《计算机测量与控制》 CSCD 2002年第10期668-669,683,共3页
利用实装进行导弹培训 ,耗费巨大 ,普及速度慢 ,为替代实装 ,低成本完成某型导弹的对接分解、测试等训练任务 ,设计了该型导弹的模拟训练系统。系统以工控机为核心 ,以显示器模拟仪器的显示面板 ,利用VC + +进行编程 ,通过I/O接口对模... 利用实装进行导弹培训 ,耗费巨大 ,普及速度慢 ,为替代实装 ,低成本完成某型导弹的对接分解、测试等训练任务 ,设计了该型导弹的模拟训练系统。系统以工控机为核心 ,以显示器模拟仪器的显示面板 ,利用VC + +进行编程 ,通过I/O接口对模拟实装进行控制 ,从而达到对实装系统的外观、测试过程、测试声音等的模拟。系统采用了多显示器系统、多线程编程、步进电机控制等新技术 ,有效降低了开发成本。经试用 ,系统可圆满完成该型导弹的各项训练任务 ,实用性强 ,有很高的推广应用价值。 展开更多
关键词 模拟训练系统 多显示器系统 I/O接口 多线程编程 导弹
下载PDF
多线程并行程序数据竞争静态检测方法 被引量:7
12
作者 陈俊 周宽久 贾敏 《计算机工程与设计》 北大核心 2017年第5期1264-1272,共9页
通过使用词法分析和语法分析进行线程并行程序数据竞争静态检测,根据规则将源代码数据竞争相关信息映射到XML文件,解决多个线程程序因可以随机访问共享变量而导致运行结果不确定性,容易引发数据竞争等问题。通过XQuery查询语言获取XML... 通过使用词法分析和语法分析进行线程并行程序数据竞争静态检测,根据规则将源代码数据竞争相关信息映射到XML文件,解决多个线程程序因可以随机访问共享变量而导致运行结果不确定性,容易引发数据竞争等问题。通过XQuery查询语言获取XML映射模型中的数据访问信息,将信息存储于数据竞争表示层。通过竞争图生成算法建立数据竞争有向图模型,利用拓扑排序检测数据竞争的具体位置,获取所有竞争序列。实验结果表明,该检测方法能够准确快速地发现多线程程序中的数据竞争并在源文件中进行准确定位。 展开更多
关键词 多线程程序 数据竞争 静态检测 XML映射模型 XQUERY查询
下载PDF
面向多线程多道程序的加权共享Cache划分 被引量:12
13
作者 所光 杨学军 《计算机学报》 EI CSCD 北大核心 2008年第11期1938-1947,共10页
并行应用在共享Cache结构的多核处理器执行时,会因为对共享Cache的冲突访问而产生性能下降和执行时间不确定的现象.共享Cache划分技术可以把共享Cache互斥地分配给多个进程使用,是解决该问题的有效方法.由于线程间的数据共享,线程数目... 并行应用在共享Cache结构的多核处理器执行时,会因为对共享Cache的冲突访问而产生性能下降和执行时间不确定的现象.共享Cache划分技术可以把共享Cache互斥地分配给多个进程使用,是解决该问题的有效方法.由于线程间的数据共享,线程数目不同的应用对共享Cache的利用率不同,但传统的以失效率最低为目标的共享Cache划分算法(例如UCP)没有区分应用线程数目的不同.文中设计了一种面向多线程多道程序的加权共享Cache划分框架(Weighted Cache Partitioning,WCP),包括面向应用的失效率监控器和加权Cache划分算法.失效率监控器以进程为单位动态监控在不同的Cache容量下应用的失效率;而加权Cache划分算法扩展了传统的失效率最优的Cache划分算法,根据应用线程数目的不同在进行Cache划分时给应用赋予不同的权值,以使具有更多线程的应用获得更多的共享Cache,从而提高系统的整体性能.实验结果表明:加权Cache划分算法虽然失效率有所增高,但却改进了IPC吞吐率、加权加速比和公平性.在由科学和工程计算应用组成的多道程序测试用例中,WCP-1的IPC吞吐率比以失效率最低为目标函数的共享Cache划分算法最高高出10.8%,平均高出5.5%. 展开更多
关键词 多核处理器 多线程多道程序 加权共享Cache划分 AMRM
下载PDF
支持动态可重构的软/硬件统一多线程编程模型 被引量:3
14
作者 王颖 周学功 +1 位作者 游红俊 彭澄廉 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2009年第6期736-745,共10页
针对可重构系统中的数据流驱动应用,提出支持动态可重构的软/硬件统一多线程编程模型SHUMDR及其层次化实现.通过硬件线程接口设计、操作系统内核扩展,便于设计人员以统一的线程视图描述应用的软硬件划分.以数据加密/解密为例进行测试的... 针对可重构系统中的数据流驱动应用,提出支持动态可重构的软/硬件统一多线程编程模型SHUMDR及其层次化实现.通过硬件线程接口设计、操作系统内核扩展,便于设计人员以统一的线程视图描述应用的软硬件划分.以数据加密/解密为例进行测试的结果表明,统一线程抽象带来的时间开销和空间资源占用率较小,该模型在探索编程灵活性的同时,能够有效地兼顾硬件的效率. 展开更多
关键词 动态部分可重构 软/硬件统一多线程编程模型 硬件线程接口 桩线程
下载PDF
多线程技术与分布式并发离散事件仿真 被引量:8
15
作者 章德宾 胡斌 张金隆 《计算机仿真》 CSCD 2007年第1期97-100,共4页
随着信息技术的快速发展和在实际的广泛应用,信息交换成本大幅降低,管理实践活动越来越呈现分布和并发特征。对于分布并发事件仿真因为仿真时钟同步问题,原有的离散事件仿真方法不能很好的进行模拟。多线程技术是并发事件仿真的有效方法... 随着信息技术的快速发展和在实际的广泛应用,信息交换成本大幅降低,管理实践活动越来越呈现分布和并发特征。对于分布并发事件仿真因为仿真时钟同步问题,原有的离散事件仿真方法不能很好的进行模拟。多线程技术是并发事件仿真的有效方法,Net平台下多线程编程技术为这种实现提供便利,应用多线程技术能够实现对并发离散事件的仿真。最后针对一个分布式机械加工装配的例子用V isio建立起相应UML模型,并由此讨论该方法实现的可行性。 展开更多
关键词 分布式 并发离散事件 多线程技术
下载PDF
基于多核的多线程程序优化研究 被引量:17
16
作者 施惠丰 袁道华 《计算机技术与发展》 2010年第6期70-73,共4页
随着主流芯片厂商的大力推广,多核处理器已经变得越来越普及。以往串行化的程序设计方法在多核环境下已经不能充分利用多核CPU的资源。怎样高效地利用多核处理器的计算性能,已经成为软件开发者面临的新的课题。文中在传统的多线程编程... 随着主流芯片厂商的大力推广,多核处理器已经变得越来越普及。以往串行化的程序设计方法在多核环境下已经不能充分利用多核CPU的资源。怎样高效地利用多核处理器的计算性能,已经成为软件开发者面临的新的课题。文中在传统的多线程编程基础上,根据Intel处理器的微架构(Microarchitecture)特点,以及Linux内核提供的CPU绑定技术,通过采用Cache优化和CPU亲和力(CPU affinity)优化,消除了多核环境下局部多线程Cache行竞争和伪共享,减少了线程的调度开销,提高了多线程程序的运行效率。 展开更多
关键词 多核处理器 多线程编程 CACHE优化 CPU亲和力
下载PDF
基于多线程评估的基因表达式编程算法 被引量:4
17
作者 倪胜巧 唐常杰 +1 位作者 杨宁 左劼 《计算机应用》 CSCD 北大核心 2012年第4期986-989,共4页
分析了基因表达式编程(GEP)算法的性能关键,指出提升的一个重要瓶颈是在个体评估阶段;结合多核CPU并行计算能力,提出了基于多线程评估的GEP算法(MTEGEP),并通过实验验证了MTEGEP的高效性:在双核CPU环境下MTEGEP运算速度是传统GEP的1.89... 分析了基因表达式编程(GEP)算法的性能关键,指出提升的一个重要瓶颈是在个体评估阶段;结合多核CPU并行计算能力,提出了基于多线程评估的GEP算法(MTEGEP),并通过实验验证了MTEGEP的高效性:在双核CPU环境下MTEGEP运算速度是传统GEP的1.89倍,而在8核CPU环境下达到了6.48倍。实验结果表明该算法能有效提升GEP算法的性能。 展开更多
关键词 数据挖掘 基因表达式编程 多线程 多核CPU 评估
下载PDF
虚拟示波器系统组成研究及相关程序设计 被引量:2
18
作者 李永奎 苏群 张本华 《沈阳农业大学学报》 CAS CSCD 2002年第1期57-59,共3页
介绍在通用微机系统平台上 ,利用多线程技术 ,设计虚拟示波器系统的一般方法。利用实例,重点介绍虚拟示波器系统的功能设计、计算机系统的选择、各主要组成环节、界面的布置。
关键词 虚拟示波器系统 多线程编程技术 数据采集 曲线显示 系统组成 程序设计 微机系统平台
下载PDF
UWB搜救生物雷达分段时窗探测系统的实现 被引量:4
19
作者 安强 李钊 +5 位作者 吕昊 梁福来 刘淼 张扬 于霄 王健琪 《中国医疗设备》 2015年第11期18-21,共4页
本文在原有大时窗搜救生物雷达基础上,改进硬件电路设计,实现了对时窗的分段自由选择,同时进一步结合delphi多线程编程技术,通过无线网络采集雷达回波数据,对得到的回波进行信号处理给出时窗分段探测结果。新建立的搜救生物雷达分段时... 本文在原有大时窗搜救生物雷达基础上,改进硬件电路设计,实现了对时窗的分段自由选择,同时进一步结合delphi多线程编程技术,通过无线网络采集雷达回波数据,对得到的回波进行信号处理给出时窗分段探测结果。新建立的搜救生物雷达分段时窗探测系统,能够控制实现任一分段时窗自由选择探测和分段时窗从前往后连续探测,该系统在探测准确性,时窗选择灵活性等方面均优于原有探测系统,可用于复杂环境的救援行动,能大幅提高灾后救援效率。 展开更多
关键词 搜救生物雷达 分段时窗 多线程编程 信号处理
下载PDF
基于MFC的智能结构健康监测系统软件开发与验证 被引量:3
20
作者 张玉兵 吴子燕 杨海峰 《测控技术》 CSCD 北大核心 2012年第11期88-91,96,共5页
针对结构健康监测的实际需要,基于敏感性分析法和有效独立驱动点残差法来优化结构传感器配置,应用模糊模式识别法进行结构损伤状态评估,设计开发了智能结构健康监测系统软件ISHMS(intelligentstructural health monitoring system)。采... 针对结构健康监测的实际需要,基于敏感性分析法和有效独立驱动点残差法来优化结构传感器配置,应用模糊模式识别法进行结构损伤状态评估,设计开发了智能结构健康监测系统软件ISHMS(intelligentstructural health monitoring system)。采用VC++和Matlab混合编程及多线程编程技术,通过调用OpenGL三维图形函数库进行结构建模并绘制出结构三维图形。通过161杆高精度空间桁架可变损伤模型振动实验,验证了该ISHMS软件的有效性。 展开更多
关键词 结构健康监测 传感器优化布置 损伤状态评估 VC++与MATLAB混合编程 多线程编程 OpenGL
下载PDF
上一页 1 2 7 下一页 到第
使用帮助 返回顶部