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

proceedings of the First International conference on Systems Integration - ICSI '90

作者： Hadj-Alouane, Nejib Ben Chaar, Jarir K. Naylor, Arch W. Dept of Elec Eng & Comput Sci Univ of Michigan Ann Arbor MI USA

ISBN: (纸本)0818690275

The concepts of a methodology for designing and implementing the control and integration software of computer-integrated manufacturing systems are presented. The goal of this methodology is to build flexible and reusable software. Software flexibility is obtained by decoupling the process plan models from the factory floor model and by designing generic control algorithms. Reusability is achieved by building self-contained software/hardware components with general, possibility parametrized, interfaces. These reusable components can be used to populate manufacturing software libraries. Off-the-shelf components can then be assembled into manufacturing systems. Moreover, the interplay between simulated and actual hardware internals of software/hardware components is used as the basis of a testing strategy that performs offline simulation followed by incremental online testing. The application of the methodology to the design and implementation of the control and integration software of a prismatic machining cell is reported. A highly efficient implementation of this software has been carried out in the Ada programming language and is fully operational.

关键词： Flexible Manufacturing Systems

来源：评论

学校读者我要写书评

暂无评论

An open implementation analysis and design for lightweight threads 97

An open implementation analysis and design for lightweight t...

引用

proceedings of the 12th acm sigplan conference on Object-oriented programming, systems, languages, and applications

作者： Matthew Haines Department of Computer Science University of Wyoming

ISBN: (纸本)9780897919081

Open implementation Analysis and design (OIA/D) has been introduced as a design methodology for object-oriented software systems, and in particular for substrate software. In this paper we detail our experiences with using OIA/D to design and implement a common substrate component for parallel language runtime systems: a lightweight threads package. We show how existing thread packages employ a "black-box" design, hiding crucial design decisions that drastically reduce their ability to be re-used. We detail these design decisions (dilemmas) and show how an implementation based on OIA/D principles results in a thread package that is flexible, efficient, portable, and re-usable.

关键词：

来源：评论

学校读者我要写书评

暂无评论

An Exploration Methodology for a Customizable OpenCL Stereo-Matching Application Targeted to an Industrial Multi-Cluster Architecture 12

An Exploration Methodology for a Customizable OpenCL Stereo-...

引用

10th acm International conference on Hardware/Software-Codesign and System Synthesis

作者： Paone, Edoardo Palermo, Gianluca Zaccaria, Vittorio Silvano, Cristina Melpignano, Diego Haugou, Germain Lepley, Thierry Politecn Milan Dipartimento Elettron & Informaz I-20133 Milan Italy STMicroelectronics Grenoble France

ISBN: (纸本)9781450314268

Open Computing language (OpenCL) is emerging as a standard for parallel programming of heterogeneous hardware accelerators. With respect to device specific languages, OpenCL enables application portability but does not guarantee performance portability, eventually requiring additional tuning of the implementation to a specific platform or to unpredictable dynamic workloads. In this paper, we present a methodology to analyze the customization space of an OpenCL application in order to improve performance portability and to support dynamic adaptation. We formulate our case study by implementing an OpenCL image stereo-matching application (which computes the relative depth of objects from a pair of stereo images) customized to the STMicroelectronics Platform 2012 many-core computing fabric. In particular, we use design space exploration techniques to generate a set of operating points that represent specific configurations of the parameters allowing different trade-offs between performance and accuracy of the algorithm itself. These points give detailed knowledge about the interaction between the application parameters, the underlying architecture and the performance of the system;they could also be used by a run-time manager software layer to meet dynamic Quality-of-Service (QoS) constraints. To analyze the customization space, we use cycle-accurate simulations for the target architecture. Since the profiling phase of each configuration takes a long simulation time, we designed our methodology to reduce the overall number of simulations by exploiting some important features of the application parameters;our analysis also enables the identification of the parameters that could be explored on a high-level simulation model to reduce the simulation time. The resulting methodology is one order of magnitude more efficient than an exhaustive exploration and, given its randomized nature, it increases the probability to avoid sub-optimal trade-offs.

关键词： design Space Exploration OpenCL Runtime Monitoring

来源：评论

学校读者我要写书评

暂无评论

Isolation for Nested Task Parallelism

引用

acm sigplan NOTICES 2013年第10期48卷 571-587页

作者： Zhao, Jisheng Lublinerman, Roberto Budimlic, Zoran Chaudhuri, Swarat Sarkar, Vivek Rice Univ Houston TX 77251 USA Google Inc Mountain View CA USA

Isolation-the property that a task can access shared data without interference from other tasks-is one of the most basic concerns in parallel programming. While there is a large body of past work on isolated task-parallelism, the integration of isolation, task-parallelism, and nesting of tasks has been a difficult and unresolved challenge. In this paper, we present a programming and execution model called Otello where isolation is extended to arbitrarily nested parallel tasks with irregular accesses to heap data. At the same time, no additional burden is imposed on the programmer, who only exposes parallelism by creating and synchronizing parallel tasks, leaving the job of ensuring isolation to the underlying compiler and runtime system. Otello extends our past work on Aida execution model and the delegated isolation mechanism [22] to the setting of nested parallelism. The basic runtime construct in Aida and Otello is an assembly: a task equipped with a region in the shared heap that it owns. When an assembly A conflicts with an assembly B, A transfers-or delegates-its code and owned region to a carefully selected assembly C in a way that will ensure isolation with B, leaving the responsibility of re-executing task A to C. The choice of C depends on the nesting relationship between A and B. We have implemented Otello on top of the Habanero Java (HJ) parallel programming language [8], and used this implementation to evaluate Otello on collections of nested task-parallel benchmarks and non-nested transactional benchmarks from past work. On the nested task-parallel bench-marks, Otello achieves scalability comparable to HJ programs without built-in isolation, and the relative overhead of Otello is lower than that of many published data-race detection algorithms that detect the isolation violations (but do not enforce isolation). For the transactional benchmarks, Otello incurs lower overhead than a state-of-the-art software transactional memory system (Deuce STM).

关键词： languages design Isolation programming abstractions Irregular parallelism Contention

来源：评论

学校读者我要写书评

暂无评论

A formal enforcement framework for role-based access control using aspect-oriented programming 05

引用

8th International conference on Model Driven Engineering languages and Systems

作者： Pavlich-Mariscal, J Michel, L Demurjian, S Univ Connecticut Dept Comp Sci & Engn U2155 Storrs CT 06269 USA

ISBN: (纸本)3540290109

Many of today's software applications require a high-level of security, defined by a detailed policy and attained via mechanisms such as role-based access control (RBAC), mandatory access control, digital signatures, etc. The integration of the design/implementation processes of access-control policies with runtime enforcement mechanisms is crucial to achieve an acceptable level of security for a software application. Our prior research focused on formalizing the concept of a role slice, which is a unified modeling language (UML) artifact that captures RBAC security requirements by defining permissions in the form of allowable or prohibited methods, and by specifying roles as specialized class diagrams that contain those methods. This paper augments this effort by introducing a formal framework for the security of software applications that supports the automatic translation of a role-slice access-control policy (RBAC requirements) into aspect-oriented programming (AOP) enforcement code that is seamlessly integrated with the application. The formal framework provides the necessary underpinnings to automate the integration of security policies into software. A prototyping effort based on Borland's UML tool Together Control Center for defining role-slice diagrams and the associated AOP code generator is under development.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

design and test strategies for a safety-critical embedded executive

Design and test strategies for a safety-critical embedded ex...

引用

1996 conference on TRI-Ada: Disciplined Software Development with Ada, TRI-Ada 1996

作者： Meyer, Charles A. Reznick, Michael G. Intcrmetrics. Inc. 77 11 Center Avenue Suite 6 15 Huntington BeachCA92647 United States

ISBN: (纸本)0897918088

The implementation of a safety-critical real-time embedded cxccutive requires the application ofsoftwarc engineering principles that result in a safe. efficient, modular product. How. specifically. does one obtain such a goal? More importantly, how does one dctcrmine the dcgrce to which the goal has been met - and do it all within the bounds of schedule and budget? Meeting rhis challcngc during our development of an emhedded executive was complicated by the late availability of hardware. complex hardware and software interfaces. and the simultaneous debugging of software with one-of-a-kind hardware. Also, difficult questions arose concerning the testing of an off-the shelf, commcrcial Ada run-time environment (RTE) employed in our system. For instance. is it sufficient to rely on the product's shelf-life and installed user base to establish the RTE's pedigree, or are special evaluation methods required'? This paper dcscribcs the design decisions. prototyping techniques. and test methods employed to build a successfully delivered executive to bc used in a future space shuttle cockpit display system. © 1996 acm.

关键词： Budget control

来源：评论

学校读者我要写书评

暂无评论

Dynamic software replacement model and its Ada implementation

Dynamic software replacement model and its Ada implementatio...

引用

1991 conference on TRI-Ada: Today's Accomplishments;Tomorrow's Expectations, TRI-Ada 1991

作者： De Vicente, Belén Alonso, Alejandro Amador, Jorge Teice Control General Rodrigo 6 5th MadridE-28003 Spain E.T.S.I de Telecomunicación Ciudad Universitaria Universidad Politécnica Madrid MadridE-28040 Spain GMV S.A. PTM Tres Cantos MadridE-28760 Spain

来源：评论

学校读者我要写书评

暂无评论

Automatic volume management for programmable microfluidics

引用

acm sigplan NOTICES 2008年第6期43卷 56-67页

作者： Amin, Ahmed M. Thottethodi, Mithuna Vijaykumar, T. N. Wereley, Steven Jacobson, Stephen C. Purdue Univ Sch Elect & Comp Engn W Lafayette IN 47907 USA Purdue Univ Sch Mech Engn W Lafayette IN 47907 USA Indiana Univ Dept Chem Bloomington IN 47405 USA

Microfluidics has enabled lab-on-a-chip technology to miniaturize and integrate biological and chemical analyses to a single chip comprising channels, valves, mixers, heaters, separators, and sensors. Recent papers have proposed programmable labs-on-a-chip as an alternative to traditional application-specific chips to reduce design effort, time, and cost. While these previous papers provide the basic support for programmability, this paper identifies and addresses a practical issue, namely, fluid volume management. Volume management addresses the problem that the use of a fluid depletes it and unless the given volume of a fluid is distributed carefully among all its uses, execution may run out of the fluid before all its uses are complete. Additionally, fluid volumes should not overflow (i.e., exceed hardware capacity) or underflow (i.e., fall below hardware resolution). We show that the problem can be formulated as a linear programming problem ( LP). Because LP's complexity and slow execution times in practice may be a concern, we propose another approach, called DAGSolve, which over-constrains the problem to achieve linear complexity while maintaining good solution quality. We also propose two optimizations, called cascading and static replication, to handle cases involving extreme mix ratios and numerous fluid uses which may defeat both LP and DAGSolve. Using some real-world assays, we show that our techniques produce good solutions while being faster than LP.

关键词： algorithms design microfluidics programmable lab-on-a-chip fluid volume management

来源：评论

学校读者我要写书评

暂无评论

End-to-End Verification of Information-Flow Security for C and Assembly Programs

引用

acm sigplan NOTICES 2016年第6期51卷 648-664页

作者： Costanzo, David Shao, Zhong Gu, Ronghui Yale Univ New Haven CT 06520 USA

Protecting the confidentiality of information manipulated by a computing system is one of the most important challenges facing today's cybersecurity community. A promising step toward conquering this challenge is to formally verify that the end-to-end behavior of the computing system really satisfies various information-flow policies. Unfortunately, because today's system software still consists of both C and assembly programs, the end-to-end verification necessarily requires that we not only prove the security properties of individual components, but also carefully preserve these properties through compilation and cross-language linking. In this paper, we present a novel methodology for formally verifying end-to-end security of a software system that consists of both C and assembly programs. We introduce a general definition of observation function that unifies the concepts of policy specification, state indistinguishability, and whole-execution behaviors. We show how to use different observation functions for different levels of abstraction, and how to link different security proofs across abstraction levels using a special kind of simulation that is guaranteed to preserve state indistinguishability. To demonstrate the effectiveness of our new methodology, we have successfully constructed an end-to-end security proof, fully formalized in the Coq proof assistant, of a nontrivial operating system kernel (running on an extended CompCert x86 assembly machine model). Some parts of the kernel are written in C and some are written in assembly;we verify all of the code, regardless of language.

关键词： Verification Security Reliability languages design Information Flow Control Security Policy Specification Security-Preserving Simulation Program Verification Certified OS Kernels

来源：评论

学校读者我要写书评

暂无评论

design and implementation of the Cortex visualization system

Design and implementation of the Cortex visualization system

引用

proceedings of the 1994 IEEE Visualization conference

作者： Banerjee, Deb Morley, Chris Smith, Wayne Fluent Inc Lebanon United States

Cortex has been designed for interactive analysis and display of simulation data generated by CFD applications based on unstructured-grid solvers. Unlike post-processing visualization environments, Cortex is designed to work in co-processing mode with the CFD application. This significantly reduces data storage and data movement requirements for visualization and also allows users to interactively steer the application. Further, Cortex supports high-performance by running on massively parallel computers and workstation clusters. An important goal for Cortex is to provide visualization to a variety of solvers which differ in their solution methodologies and supported flow models. Coupled with the co-processing requirement, this has required the development of a well defined programming interface to the CFD solver that lets the visualization system communicate efficiently with the solver, and requires minimal programming effort for porting to new solvers. Further, the requirement for targeting multiple solvers and application niches demands that the visualization system be rapidly and easily modifiable. Such flexibility is attained in Cortex by using the high-level, interpreted language Scheme for implementing user-interfaces and high-level visualization functions. By making the Scheme interpreter available from the Cortex text interface, the user can also customize and extend the visualization system.

关键词： Computer systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：