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

作者： Borin, Edson Wu, Youfeng Breternitz, Mauricio Wang, Cheng Institute of Computing University of Campinas Brazil Programming Systems Lab. Intel Labs. United Kingdom Advanced Software and Analytics Technology Group - AMD United Kingdom

ISBN: (纸本)9781612843551

HW/SW Co-designed systems rely on dynamic binary translation and optimizations for efficient execution of binary code. Due to memory ordering properties and other architectural constraints, most binary optimizations are applied to regions of code that are atomically executed. To ensure that the underlying hardware has enough speculative resources to execute the whole atomic region, these systems typically form short atomic regions, with only 20 to 30 instructions. However, the shorter is the atomic region the smaller is the scope for optimizations. We present LAR-CC, a novel technique that enables HW/SW co-designed systems to optimize large atomic regions and dynamically fit them into the available speculative hardware resources by means of conditional commits. The LAR-CC technique consists of two major components: 1) conditional branch instructions to conditionally skip commit operations;2) code transformations that replace commit operations by conditional commits and enable optimizations to be applied on the large atomic regions. Our experiments show that LAR-CC can effectively achieve dynamic atomic region sizes larger than 1000 instructions, providing sufficiently large scope to apply many advanced optimizations on HW/SW co-designed systems. © 2011 IEEE.

关键词： Cosine transforms

来源：评论

学校读者我要写书评

暂无评论

Game-Themed programming Assignment Modules: A Pathway for Gradual Integration of Gaming Context Into Existing Introductory programming Courses

引用

IEEE TRANSACTIONS ON EDUCATION 2011年第3期54卷 416-427页

作者： Sung, Kelvin Hillyard, Cinnamon Angotti, Robin Lynn Panitz, Michael W. Goldstein, David S. Nordlinger, John Univ Washington Bothell Dept Comp & Software Syst Bothell WA 98011 USA Univ Washington Bothell Dept Interdisciplinary Arts & Sci Bothell WA 98011 USA Univ Washington Bothell Dept Educ Bothell WA 98011 USA Cascadia Community Coll Software Programming Dept Bothell WA 98011 USA Univ Washington Bothell Teaching & Learning Ctr Bothell WA 98011 USA Microsoft External Res Redmond WA 98052 USA

Despite the proven success of using computer video games as a context for teaching introductory programming (CS1/2) courses, barriers including the lack of adoptable materials, required background expertise (in graphics/games), and institutional acceptance still prevent interested faculty members from experimenting with this approach. Game-themed programming assignment (GTA) modules are designed specifically for these faculty members. The GTA modules are independent, and each is a self-contained game-like programming assignment that challenges students on concepts pertaining to a specific curriculum topic area. A faculty member can selectively pick and choose a subset of GTA modules to experiment with and gradually adopt the materials in his or her own classes. Each GTA module also includes a step-by-step tutorial guide that supports and encourages interested faculty to develop their own expertise and game-themed materials. This paper begins with a survey of previous results. Based on this survey, the paper summarizes the important considerations when designing materials for selective adoption. The paper then describes the design, implementation, and assessment of the GTA modules. The results from ongoing GTA workshops for CS1/2 faculty members and from a yearlong project in adopting the GTA modules in classes are then presented. In this case, the collected results verified that introductory programming concepts can be examined, practiced, and learned by means of GTA modules when neither the faculty nor the students involved have backgrounds in graphics or games. More importantly, these results demonstrated that it is straightforward to blend the GTA modules into existing classes with minimum alterations. In these ways, the GTA modules are excellent catalysts enabling faculty to begin exploring and developing their own expertise and materials to teach with games.

关键词： Adaptation assessment assignments CS1/2 games

来源：评论

学校读者我要写书评

暂无评论

Runtime Verification of Linux Kernel Modules Based on Call Interception

Runtime Verification of Linux Kernel Modules Based on Call I...

引用

International Conference on software Testing, Verification, and Validation, ICST

作者： Vladimir V. Rubanov Eugene A. Shatokhin Department of Software Engineering Institute of System Programming of the Russian Academy of Sciences Moscow Russia

Verification of Linux kernel modules and especially device drivers is a critically important task. However, due to the special nature of the kernel operation, it is very challenging to perform runtime analysis of particular kernel modules of interest without adverse influence on the rest of the kernel. Methods and tools for addressing this challenge are the main subject of this paper. The basic method for low-influence runtime analysis of interacting software modules is call interception. Shadow state techniques represent another method. In this paper, we discuss these methods including three different approaches to implement call interception. Conclusions are made about the most suitable ways for runtime analysis of kernel modules. Finally, we present KEDR framework, an extensible runtime analysis system for Linux kernel modules, which deploys these approaches to perform different types of analysis. The system can be used by the developers of kernel modules and, in particular, may be useful for building automated driver verification systems.

关键词： Kernel Driver circuits Instruments Linux Runtime Binary codes Resource management

来源：评论

学校读者我要写书评

暂无评论

Reconfigurable Model-Based Test Program Generator for Microprocessors

Reconfigurable Model-Based Test Program Generator for Microp...

引用

IEEE International Conference on software Testing Verification and Validation Workshop, ICSTW

作者： Alexander Kamkin Eugene Kornykhin Dmitry Vorobyev Software Engineering Department Institute for System Programming Russian Academy of Sciences Moscow Russia

Automatic generation and simulation of test programs is known to be the main means for verifying microprocessors. The problem is that test program generators for new designs are often developed from scratch with little reuse of well-tried components. State-of-the-art tools, like Genesys-Pro and RAVEN, meet the challenge by using a model-based approach, where a microprocessor model is separated from a platform-independent generation core. However, there is still a problem. Developing a microprocessor model is rather difficult and usually requires deep knowledge of the inner-core structure and interfaces. In this paper, we describe a concept of a reconfigurable test program generator being customized with the help of architecture specifications and configuration files, which describe parameters of the microprocessor subsystems (pipeline, memory, and others). The suggested approach eases the model development and makes it possible to apply the model-based testing in the early design stages when the microprocessor architecture is frequently modified.

关键词： Microprocessors Generators Automatic programming Microarchitecture Registers Pipelines Computer architecture

来源：评论

学校读者我要写书评

暂无评论

Comodeling: From Requirements to an Integrated software/Hardware Model

引用

COMPUTER 2011年第4期44卷 62-70页

作者： Myers, Toby Dromey, R. Geoff Fritzson, Peter Griffith Univ Sch Informat & Commun Technol Brisbane Qld 4111 Australia Griffith Univ Software Qual Inst Brisbane Qld 4111 Australia Linkoping Univ Dept Comp & Informat Sci S-58183 Linkoping Sweden Linkoping Univ Programming Environm Lab S-58183 Linkoping Sweden

The paper states that comodeling lets developers systematically investigate and compare different software and hardware partitions to meet a system's constraints earlier in the design process, when integration pro... 详细信息

关键词： Behavior engineering Behavior trees Comodeling Hardware Hardware/software codesign Hybrid simulation Modelica Modeling Product development Requirements engineering software architecture Systems engineering hardware partitions hardware-software codesign integrated software-hardware model software partitions software-hardware comodeling

来源：评论

学校读者我要写书评

暂无评论

IT simply works: Simplicity and embedded systems design

IT simply works: Simplicity and embedded systems design

引用

35th Annual IEEE International Computer software and Applications Conference Workshops, COMPSACW 2011

作者： Margaria, Tiziana Floyd, Barry D. Steffen, Bernhard Department of Service and Software Engineering Universität Potsdam Germany Orfalea College of Business California Polytechnic State University San Luis Obispo CA United States Department of Programming Systems TU Dortmund University Germany

ISBN: (纸本)9780769544595

The central challenge in resource constrained systems is indeed that there is often a dramatic problem of resources: little memory, no display (i.e., mediated control and interaction), and weak processors. These constraints are due to various reasons, including cost (in economies of scale little amounts can make a big difference) and constraints mandated by the host environment such as limitations on weight, size, bandwidth, or power consumption. In addition to structural issues, that already force designers to stretch and squeeze pushing the design to the limit, other problems may affect the design process itself, e.g. when developers must program for a system that is itself still under design: such concurrent development includes easily critical unknown unknowns. Design efforts under these conditions are difficult at best, and it is not clear how much of these constraints and pressures are really unavoidable. We believe that a perspective of designing for simplicity would frame the situation in a more favorable way, leading to systems that better use available resources, are more robust, and easier to maintain and use. In the course of the ITSy project 1, we interviewed IT experts and industry practitioners about their perspectives on simplicity principles within their research and practice, collecting insights and anecdotal evidence on some phenomena, as well as suggestions for possible principles. In this paper, we apply initial results from this empirical understanding of simplicity to the domain of resource constrained system design. We identify some recurring themes from the outcome of the interviews, and match these understandings for one specific embedded system case study. © 2011 IEEE.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

Descriptor-Free Representation of Arrays with Dependent Types

Descriptor-Free Representation of Arrays with Dependent Type...

引用

20th International Symposium on Implementation and Application of Functional Languages (IFL 2008)

作者： Trojahner, Kai Grelck, Clemens Univ Lubeck Inst Software Technol & Programming Languages Lubeck Germany Univ Amsterdam Inst Informat NL-1012 WX Amsterdam Netherlands Univ Hertfordshire Sch Comp Sci Hatfield AL10 9AB Herts England

ISBN: (纸本)9783642244513

Besides element type and values, a multidimensional array is characterized by the number of axes (rank) and their respective lengths (shape vector). Both properties are essential for bounds checking and to compute linear offsets into heap memory at run time. In order to have an array's rank and shape available at any time during program execution, both are typically kept in an array descriptor that is maintained at run time in addition to the array itself. In this paper, we propose a different approach: we treat array rank and shape as first-class citizens themselves. Firstly, we use dependent types to reflect structural properties of arrays in the type system. Secondly, we annotate a program with the explicit array properties wherever necessary. This choice not only renders implicit run time array descriptors obsolete, but exposing all rank and shape computations explicitly in intermediate code also allows us to perform extensive compile time optimisation on them. We have implemented the proposed approach in our experimental array language Qube;preliminary experimental results indicate the suitability of the proposed approach.

关键词： Computers

来源：评论

学校读者我要写书评

暂无评论

Special Session on "Simplification through Change of Perspective"

Special Session on "Simplification through Change of Perspec...

引用

Annual IEEE/ NASA Goddard Workshop on software Engineering

作者： Tiziana Margaria Bernhard Steffen Software and Service Engineering University of Potsdam Germany Programming Systems Technische Universität Dortmund Germany

Leading goal for the EU-project ITSy is to explore the power of simplicity for achieving robustness, flexibility and trust. A number of scenarios have been investigated in this direction, comprising looking at different notions of complexity, in particular distinguishing the actual complexity, the objective notion of complexity associated with a task as such, from the felt complexity, the subjective notion of complexity associated with the difficulty for some person satisfy his personal task. Division of labor is the typical way of decomposing the actual complexity in manageable or small piece of felt complexity. Or in other words, standing on the shoulder of giants we may reach impressive goals. A completely different way to achieve simplicity is to change the rules of the game. A good example here is the change from object tracking via image recognition to RFID-based object tracking. Whereas the former is intrinsically difficult, the latter, much simpler solution much better serves the purpose. In this session we consider three scenarios which propose such a change of perspective.

关键词： Complexity theory Biological system modeling Communities Mathematical model Learning automata software reliability

来源：评论

学校读者我要写书评

暂无评论

A Bio-inspired Fuzzy Agent Clustering Algorithm for Search Engines

引用

Procedia Computer Science 2011年 7卷 305-307页

作者： Radu D. Găceanu Department of Computer Science Babeş-Bolyai University Cluj-Napoca Romania Department of Programming Theory and Software Engineering Eötvös Loránd University Budapest Hungary

In general, web search engines respond to queries by returning a list of links to web pages that are considered relevant. However, these queries are often ambiguous or too general and the users end up browsing through a long list of items in order to find what they are actually looking for. And hence the idea to cluster web search results so that the output would be a list of labelled clusters. An algorithm based on the ASM (Ants Sleeping Model) is proposed. In the ASM model each data is represented by an agent, its environment being a two dimensional grid. The agents will group themselves into clusters by making simple moves according to some local environment information. At any step an agent can pro-actively decide to directly communicate with one of its fellows and choose to move accordingly, the moves being expressed by fuzzy IF-THEN rules. Thus the chance of getting trapped in a local optimum is minimized and hybridization with a classical clustering algorithm becomes needless.

关键词： Ants Sleeping Model Fuzzy logic Clustering

来源：评论

学校读者我要写书评

暂无评论

Security Goals Assurance Based on software Active Monitoring

Security Goals Assurance Based on Software Active Monitoring

引用

International Conference on Secure System Integration and Reliability Improvement, SSIRI

作者： Changzhi Zhao Wei Dong Martin Leucker Zhichang Qi Department of Computer Science National University of Defense Technology Changsha China Institute of Software Technology and Programming Languages University of Lübeck Germany

Access control is a vital security mechanism in today's operating systems, and the security policies dictating the security relevant behaviors is lengthy and complex, for example in Security-Enhanced Linux (SELinux). It is extremely difficult to verify the consistency between the security policies and the security goals desired by applications. In this paper, we present how to predict whether the information flow security goal is violated or not during runtime, how to generate the corresponding control actions on-line when divergence is detected and how to apply these actions in time based on software active monitoring technique. The symbolic security information flow model of SElinux is generated from a formalization of the access control mechanism which can be used to generate the N-step ahead projection of the future behavior. Information flow security goals are expressed in linear temporal logic (LTL) which provides clear description of the objectives desired by applications. Anticipatory monitor is generated from LTL formula automatically. We consider an on-line scheme where after the occurrence of an event, the next control action is determined on the basis of the N-step ahead projection of the future behavior. This procedure is repeated after the occurrence of next security relevant event. Thus, a closed-loop system is generated that all behavior sequences will satisfy the security goals.

关键词： Context Monitoring Semantics Access control Cost accounting Syntactics

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：