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

2016年

Mit :: Lcs :: Tr :: Mit-Lcs-Tr-331 by published by

关键词： aggregate context contexts current context electronic mail human naming joint management library contexts mail mail system mit-lcs-tr-331 names naming naming facility object objects proc programming support shared context support environment user

来源：评论

学校读者我要写书评

暂无评论

Ibm :: 360 :: Bibliography :: A22-6822-4 Ibm System 360 Bibliography Aug65

引用

2016年

Ibm :: 360 :: Bibliography :: A22-6822-4 Ibm System 360 Bibliography Aug65 by published by

关键词： a22-6822-4 aug65 basic basic operating basic programming bibliography data data processing form ibm ibm basic ibm operating model operating operating system program programming programming support programs publication publication describes reference publication report program system

来源：评论

学校读者我要写书评

暂无评论

Ibm :: 360 :: Systemsummary :: Ga22-6810-12 360Syssumjan74

引用

2016年

Ibm :: 360 :: Systemsummary :: Ga22-6810-12 360Syssumjan74 by published by

关键词： 360syssumjan74 byte byte multiplexer central processing channel control data direct control ga22-6810-12 ibm instruction set main storage model models multiplexer multiplexer channel opt opt processing unit programming support selector channel storage system systemsummary

来源：评论

学校读者我要写书评

暂无评论

Ibm :: 3800 :: Gc20-1775-0 Concepts of the Ibm 3800 Printing Subsystem Mar75

引用

2016年

[Auto Generated] Page Title 1 .. A. INTRODUCTION 2 .. B. OPERATION 2 .. B 1. Operating Principles 2 .. B2. Operating Details 2 .. B2a. Generating and storing characters 2 .. B2b. Laser, laser modulator, and laser optics 3 .. B2c. Image and image development 4 .. B2d. Image transfer and fusing 4 .. B2e. Paper transport 6 .. C. CAPABILITIES AND LIMITATIONS 6 .. C3. Character Sets and Character Sizes 7 .. C4. Forms, Generated or Preprinted 7 .. C5. Printing Speeds 8 .. C6. Paper Sizes and Weights 1

关键词： carbon paper character character set character sets characters concepts forms forms overlay gc20-1775-0 ibm impact printer impact printers laser beam mar75 paper paper transport photoconductor print printed printing printing subsystem programming support subsystem

来源：评论

学校读者我要写书评

暂无评论

Ibm :: 370 :: Dos Vse :: Gc33-5370-6 Intro to Dos Vse Jan79

引用

2016年

Ibm :: 370 :: Dos Vse :: Gc33-5370-6 Intro to Dos Vse Jan79 by published by

关键词： access method computing services control core image data device gc33-5370-6 ibm image library intro jan79 job control magnetic tape processor processor storage program programming support programs storage system system generation virtual virtual storage

来源：评论

学校读者我要写书评

暂无评论

CarSh: A Commandline Execution support for Stream-based Acceleration Environment

引用

Procedia Computer Science 2013年 18卷 601-610页

作者： Shinichi Yamagiwa Shixun Zhang Faculty of Engineering Information and SystemsUniversity of Tsukuba JST PRESTO Department of Computer Science University of Tsukuba 1-1-1 Tennodai Tsukuba Ibaraki 305-8573 Japan

The stream computing using manycore architecture such as GPU and the accelerators on FPGA has become one of the main methods for achieving high performance computing that such accelerators are employed in the recent top supercomputers. The stream computing implements an implicit concurrent program execution in massively parallel architecture applying, for exam- ple, OpenCL runtime. Although the potential high performance is achieved by the accelerator, programmers need to consider two kinds of programs; one is the control program on the host CPU such as buffer management for I/O data and invocation timings for the kernel program on the accelerator, and another is the kernel program itself executed by the accelerator. To eliminate this double programming difficulty, this paper proposes a new execution tool for the accelerator programs called CarSh providing a commandline-based interface that receives executable file described by XML over the flow-model frame- work of the Caravela platform. CarSh also provides the virtual buffer function to exchange the data streams from one kernel program to another. It eliminates explicit physical buffer management on the host CPU side from the programmer. Through the evaluations regarding performance and programmability, this paper concludes that CarSh implements a simple and transparent programming interface for the stream computing.

关键词： Stream computing Multicore system Manycore system Accelerator GPU programming support

来源：评论

学校读者我要写书评

暂无评论

Toward a Tool-Based Development Methodology for Pervasive Computing Applications

引用

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 2012年第6期38卷 1445-1463页

作者： Cassou, Damien Bruneau, Julien Consel, Charles Balland, Emilie Univ Bordeaux Bordeaux France Yale Univ New Haven CT 06520 USA Univ Rennes Rennes France Univ Bordeaux 1 Inria Phoenix Res Grp F-33405 Talence France

Despite much progress, developing a pervasive computing application remains a challenge because of a lack of conceptual frameworks and supporting tools. This challenge involves coping with heterogeneous devices, overcoming the intricacies of distributed systems technologies, working out an architecture for the application, encoding it in a program, writing specific code to test the application, and finally deploying it. This paper presents a design language and a tool suite covering the development life-cycle of a pervasive computing application. The design language allows us to define a taxonomy of area-specific building-blocks, abstracting over their heterogeneity. This language also includes a layer to define the architecture of an application, following an architectural pattern commonly used in the pervasive computing domain. Our underlying methodology assigns roles to the stakeholders, providing separation of concerns. Our tool suite includes a compiler that takes design artifacts written in our language as input and generates a programming framework that supports the subsequent development stages, namely, implementation, testing, and deployment. Our methodology has been applied on a wide spectrum of areas. Based on these experiments, we assess our approach through three criteria: expressiveness, usability, and productivity.

关键词： Methodology domain-specific language generative programming pervasive computing toolkit programming support simulation

来源：评论

学校读者我要写书评

暂无评论

Cloud computing for small research groups in computational science and engineering: current status and outlook

引用

COMPUTING 2011年第1期91卷 75-91页

作者： Truong, Hong-Linh Dustdar, Schahram Vienna Univ Technol Distributed Syst Grp A-1040 Vienna Austria

Cloud computing could offer good business models for small computational science and engineering (CSE) research groups because these groups often do not have enough human resources and knowledge to manage the complexity of computational and data infrastructure for their research, while cloud computing aims to eliminate that complexity from the user. In this paper, we have analyzed current status of supporting tools for small CSE groups to utilize cloud computing. Although cloud computing is perceived as an interesting model, we have identified several issues that prevent a wide adoption of cloud computing from small CSE research groups. We also present recommendations for addressing these issues in order to attract small CSE groups to utilize cloud computing.

关键词： Cloud computing Computational science and engineering programming support Infrastructure-as-a-service Platform-as-a-service Software-as-a-service

来源：评论

学校读者我要写书评

暂无评论

Functional testing of feature model analysis tools: a test suite

引用

IET SOFTWARE 2011年第1期5卷 70-82页

作者： Segura, S. Benavides, D. Ruiz-Cortes, A. Univ Seville Dept Comp Languages & Syst E-41012 Seville Spain

A feature model is a compact representation of all the products of a software product line. Automated analysis of feature models is rapidly gaining importance: new operations of analysis have been proposed, new tools have been developed to support those operations and different logical paradigms and algorithms have been proposed to perform them. Implementing operations is a complex task that easily leads to errors in analysis solutions. In this context, the lack of specific testing mechanisms is becoming a major obstacle hindering the development of tools and affecting their quality and reliability. In this article, the authors present FaMa test suite, a set of implementation-independent test cases to validate the functionality of feature model analysis tools. This is an efficient and handy mechanism to assist in the development of tools, detecting faults and improving their quality. In order to show the effectiveness of their proposal, the authors evaluated the suite using mutation testing as well as real faults and tools. Their results are promising and directly applicable in the testing of analysis solutions. The authors intend this work to be a first step towards the development of a widely accepted test suite to support functional testing in the community of automated analysis of feature models.

关键词： FaMa test suite software tools software fault tolerance mutation testing automated analysis feature model analysis independent test case functional testing specific testing mechanism Diagnostic, testing, debugging and evaluating systems software maintenance Software engineering techniques software product line program testing programming support product representation obstacle hindering

来源：评论

学校读者我要写书评

暂无评论

Satellites bring broadband home

引用

Engineering and Technology 2010年第17期5卷 60-63页

作者： Conti, J.P.

This paper presents the problem of extending broadband out to rural communities has had network providers scratching their heads for years but now affordable services are poised for deployment in some of the most remo... 详细信息

关键词： programming support Carlos Slim software tools user-friendly operating system communications industry compatible office toolkit computer users Operating systems operating systems (computers)

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：