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

International Conference on Parallel and Distributed Systems (ICPADS)

作者： I. Drositis T. Andronikos A. Kokorogiannis G. Papakonstantinou N. Koziris Computing Systems Laboratory Computer Science Division Department of Electrical and Computer Engineering National and Technical University of Athens Athens Greece

ISBN: (纸本)0769511538

One of the primary tasks in the area of uniform dependence loops, is predicting the execution propagation, as well as finding an optimal time schedule. In this work, the problem of scheduling using wavefront prediction is presented. The geometric concepts of time instance subspaces and execution pattern are introduced. A quite simple and low complexity scheduling algorithm is presented. The index space is split into geometric subspaces and any point can be located in them. Each point is then scheduled according to the subspace where it belongs.

关键词： Processor scheduling Delay effects Shape Terminology Laboratories computer science Polynomials Costs

来源：评论

学校读者我要写书评

暂无评论

On developing and verifying design abstractions for reliable concurrent programming in Ada 00

On developing and verifying design abstractions for reliable...

引用

Proceedings of the 10th international workshop on real-time Ada workshop

作者： A. Burns A. J. Wellings A. M. Koelmans M. Koutny A. Romanovsky A. Yakovlev Real-Time Systems Research Group Department of Computer Science University of York U.K. Asynchronous Systems Laboratory Department of Computing Science University of Newcastle upon Tyne U.K.

ISBN: (纸本)9781450373272

Ada 95 is an expressive concurrent programming language, which allows building large multi-tasking applications. Much of the complexity of these applications stems from the interactions between the tasks. Design abstractions (such as atomic actions, conversations etc.) have been proposed to deal with such complexity. This paper argues that Petri nets offer a promising, tool-supported, technique for checking the logical correctness of abstractions. The paper illustrates the effectiveness of this approach by showing the correctness of an Ada implementation of the atomic action protocol using a variety of Petri net tools.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Exploiting Locality in Single Assignment Data Structures Updated Through Split-Phase Transactions

引用

Cluster computing 2001年第4期4卷 281-293页

作者： Amaral, José Nelson Lin, Wen-Yen Gaudiot, Jean-Luc Gao, Guang R. Department of Computing Science University of Alberta Edmonton Canada Tia Mobile Inc. Pasadena USA Department of Electrical Engineering University of Southern California Los Angeles USA Computer Architecture and Parallel Systems Laboratory Department of Electrical and Computer Engineering University of Delaware Newark USA

We present the design, implementation, and evaluation of single assignment data structures and of a software controlled cache in an existing multi-threaded architecture platform – the Efficient Architecture for Running Threads (EARTH). The I-Structure Software-Controlled Cache (ISSC) exploits temporal and spatial locality of EARTH split-phased memory transactions for single-assignment memory references. Our experimental evaluation indicates that the caching mechanism for single-assignment storage makes the EARTH memory system more robust to variations in the latency of memory operations. As a consequence the system can be ported to a wider range of machine platforms and deliver speedup for both regular and irregular application.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Reducing OS overhead for real-time industrial controllers with adjustable timer resolution

Reducing OS overhead for real-time industrial controllers wi...

引用

IEEE International Symposium on Industrial Electronics (ISIE)

作者： Tae Rim Park Jae Hyun Park Wook Hyun Kwon Control Information Systems Laboratory School of Electrical Engineering and Computer Science Seoul National University Seoul South Korea Real-time Embedded Systems Laboratory School of Information and Communication Engineering Inha University Incheon South Korea

ISBN: (纸本)0780370902

In this paper, a new method, named adjustable timer resolution (ATR) is proposed to control tasks in a timely manner, with enhanced performance on real-time operating systems. It prevents useless execution of the timer interrupt service routine (ISR). Features of the proposed method are compared with the conventional method, and the schedulability is analyzed to estimate the performance. As an implementation model, uC/OS-II is modified and ported to a power PC processor system. The metrics and results of the model are presented and discussed.

关键词： Industrial control real time systems Control systems Operating systems Communication system control Performance analysis Embedded system Processor scheduling Power system modeling time factors

来源：评论

学校读者我要写书评

暂无评论

Discovery of parallel scheduling algorithms in cellular automata - based systems 15

Discovery of parallel scheduling algorithms in cellular auto...

引用

15th International Parallel and Distributed Processing Symposium, IPDPS 2001

作者： Seredyński, F. Świȩcicka, A. Zomaya, A.Y. Polish -Japanese Institute of Information Technologies Koszykowa 86 Warsaw02-008 Poland Institute of Computer Science Polish Academy of Sciences Ordona 21 Warsaw01-237 Poland Department of Computer Science Bialystok University of Technology Wiejska 45A Bialystok15-351 Poland Parallel Computing Research Laboratory Department of Electrical and Electronic Engineering University of Western Australia Nedlands PerthWA6907 Australia

ISBN: (纸本)0769509908

In this paper we report new results concerning developing parallel multiprocessor scheduling algorithms working in cellular automata (CAs) - based scheduler. We consider the simplest case when a multiprocessor system is limited to two processors, but we not imply any limitations on a size and parameters of parallel programs. We use an approach called a selected neighborhood to design a nonlinear structure of CAs for a given program graph. We propose to use coevolutionary genetic algorithm (GA) to discover rules of parallel CAs, suitable for solving the scheduling problem. We compare sequential and parallel scheduling algorithms discovered in the context of CAs - based scheduling system. © 2001 IEEE.

关键词： Cellular automata

来源：评论

学校读者我要写书评

暂无评论

Discovery of parallel scheduling algorithms in cellular automata - based systems

Discovery of parallel scheduling algorithms in cellular auto...

引用

International Symposium on Parallel and Distributed Processing (IPDPS)

作者： F. Seredynski A. Swiecicka A.Y. Zomaya Polish Japanese Institute of Information Technology Warsaw Poland Institute of Computer Science Polish Academy of Sciences Warsaw Poland Department of Computer Science Bialystok University of Technology Bialystok Poland Parallel Computing Research Laboratory Department of Electrical and Electronic Engineering University of Western Australia Australia

来源：评论

学校读者我要写书评

暂无评论

On developing and verifying design abstractions for refiable concurrent programming in Ada 10

On developing and verifying design abstractions for refiable...

引用

10th International real-time Ada Workshop, IRTAW 2000

作者： Burns, A. Wellings, A.J. Koelmans, A.M. Koutny, M. Romanovsky, A. Yakovlev, A. Real-Time Systems Research Group Department of Computer Science University of York United Kingdom Asynchronous Systems Laboratory Department of Computing Science University of Newcastle Upon Tyne United Kingdom

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

A two-step adaptive error recovery scheme for video transmission over wireless networks

A two-step adaptive error recovery scheme for video transmis...

引用

IEEE Annual Joint Conference: INFOCOM, IEEE computer and Communications Societies

作者： Daji Qiao K.G. Shin Real-Time Computing Laboratory Department of Electrical Engineering and Computer Science University of Michigan Ann Arbor MI USA

In this paper, we investigate the transmission of H.263 video sequences over wireless networks with error recovery provided by a two-step adaptive hybrid ARQ scheme using RS codes. Each video frame is divided into data packets for transmission. For each packet transmission, by using a simple table-driven approach, the best RS code is selected from a given set of codes to minimize the transmission overhead. Further, an additional adaptation step is used to guarantee certain QoS requirement. Simulation results show that the proposed error recovery scheme outperforms the traditional single-code schemes and the single-step error recovery schemes thanks to its adaptability to both the wireless channel conditions and the actual frame loss events.

关键词： Wireless networks Automatic repeat request Forward error correction Delay Throughput Video sequences Quality of service Error correction Error correction codes Redundancy

来源：评论

学校读者我要写书评

暂无评论

A user-customizable energy-adaptive combined static/dynamic scheduler for mobile applications

A user-customizable energy-adaptive combined static/dynamic ...

引用

real-time Systems Symposium (RTSS)

作者： T.C.-L. Ma K.G. Shin Real-Time Computing Laboratory Department of Electrical Engineering and Computer Science University of Michigan Ann Arbor MI USA

In mobile applications, the energy consumed by operating system (OS) and application tasks primarily comes from a limited DC battery source, which imposes an upper bound to the amount of time available for execution of tasks. To achieve the best energy-aware quality of service (EQoS), it is important to prioritize the scheduling of critical tasks over non-critical tasks to improve overall performance while extending the battery life. Using the CSD (Combined Static/Dynamic) scheduler in the EMERALDS operating system as a basis, we developed EA-CSD (Energy-Adaptive CSD) with an energy-aware scheduling algorithm that executes tasks to achieve the effective use of limited energy by favoring low-energy and critical tasks. Our simulation of the EA-CSD shows that battery life can be extended up to about 100% with varying degrees of performance degradation of up to about 40%, and the actual values of both are fully customizable by the user through parametric adjustment.

关键词： Dynamic scheduling Batteries Application software Operating systems Scheduling algorithm Processor scheduling Laboratories Mobile computing Upper bound Degradation

来源：评论

学校读者我要写书评

暂无评论

Chocolate: a reservation-based real-time Java environment on Windows/NT

Chocolate: a reservation-based real-time Java environment on...

引用

real-time Technology and Applications Symposium

作者： D. de Niz R. Rajkumar Real-time and Multimedia Systems Laboratory Departments of Electrical & Computer Engineering and Computer Science Carnegie Mellon University USA

The authors present Chocolate, a reservation based real time Java run-time environment that runs on Windows NT. We first present a brief overview of the emerging real time Java standard and the Resource Kernel (RK) approach to providing timely, guaranteed and enforced access to system resources. Chocolate is a real time Java Virtual Machine that interfaces the real time Java programming language with the abstractions of a resource kernel. It also supports memory regimes to control allocation time and a protocol to bound priority inversion. This version of Chocolate is implemented on top of NT/RK, an OS environment that includes a "portable resource kernel" within the NT kernel. Our detailed evaluation of Chocolate shows that the overhead introduced by NT/RK is acceptable. A real time Java audio package on Chocolate demonstrates significantly better performance than its non real time counterpart. However, our Hartstone benchmark evaluations also show that our NT/RK implementation does have its drawbacks due to the lack of hard real time capabilities within Windows NT.

关键词： Java real time systems Operating systems computer languages Memory management Multimedia systems computer science Runtime Sun Genetic programming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：