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

Proceedings of the 1968 23rd acm national conference

作者： Jacques De Buchet

ISBN: (纸本)9781450374866

The general purpose mathematical programming systems have greatly changed in the last few years and the aim of such codes is no longer to give access to an efficient algorithm but to integrate the solution of linear programming problems into a loop including the generation of the problem, its solution, its post optimal analysis and the edition of an output report of the results. The link between all these operations is done through a so-called control language *** these aspects are more or less the same from one code to another but we think that new approaches should be brought into their design, organization, and implementation. The development cost of such programs being very high, usually in the order of 15 to 30 man years, it is necessary to provide facilities in order to:- offer suitable users and programming languages;- have a modular design;- handle memory allocation in a semi-optimal way;- make modifications and extensions easier; and- facilitate day to day programmers tasks.I shall present, in the following pages, the objectives that we had in mind when we began to implement these facilities within the large scale mathematical programming system OPHELIE 2 which we developed for the CDC 6600.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A flexible specification framework for hardware-software codesign 00

A flexible specification framework for hardware-software cod...

引用

design, Automation and Test in Europe conference and Exhibition

作者： Jose Manuel Moya Santiago Dominguez Francisco Moya Juan Carlos Lopez Universidad de Castilla-La Mancha Departamento de Informática ESI. P° Universidad 4 13071 Ciudad Read Spain

ISBN: (纸本)0769505376

In this poster, we present a new specification technique for complex hardware-software systems, based on standard high-level programming languages, such as C, C++, Java, Scheme, or Ada, without extensions or semantic changes. Unlike previous approaches, the designer may choose the model of computation and the specification language that best suits her needs, while still being able to formally verify the correctness of the specification. The details of the available hardware and software resources, and the implementation of the different models of computation are encapsulated in libraries to maximize reuse in system specifications.

关键词： Hardware/software co-design MODEL CALCULATION Specifications system specifications ADA (programming language) specification description language Posters designers high-level programming languages accuracy class Libraries reuse

来源：评论

学校读者我要写书评

暂无评论

Fully reflexive intensional type analysis 00

Fully reflexive intensional type analysis

引用

Proceedings of the fifth acm sigplan international conference on Functional programming

作者： Valery Trifonov Bratin Saha Zhong Shao Department of Computer Science Yale University New Haven CT

ISBN: (纸本)9781581132021

Compilers for polymorphic languages can use runtime type inspection to support advanced implementation techniques such as tagless garbage collection, polymorphic marshalling, and flattened data structures. Intensional type analysis is a type-theoretic framework for expressing and certifying such type-analyzing computations. Unfortunately, existing approaches to intensional analysis do not work well on types with universal, existential, or fixpoint quantifiers. This makes it impossible to code applications such as garbage collection, persistence, or marshalling which must be able to examine the type of any runtime *** present a typed intermediate language that supports fully reflexive intensional type analysis. By fully reflexive, we mean that type-analyzing operations are applicable to the type of any runtime value in the language. In particular, we provide both type-level and term-level constructs for analyzing quantified types. Our system supports structural induction on quantified types yet type checking remains decidable. We show how to use reflexive type analysis to support type-safe marshalling and how to generate certified type-analyzing object code.

关键词： typed intermediate language certified code runtime type dispatch

来源：评论

学校读者我要写书评

暂无评论

Application specific processor design: Architectures, design methods and tools 10

Application specific processor design: Architectures, design...

引用

IEEE International conference on Computer-Aided design

作者： Achim Nohl Frank Schirrmeister Drew Taussig System Level Solutions Solution Architect-Synopsys Inc. Herzogenrath Germany System Level Solutions Marketing Director-Synopsys Inc. Mountain View CA USA System Level Solutions Specialist-Synopsys Inc. Chandler AZ USA

ISBN: (纸本)9781424481927

In this tutorial paper, we will outline a solution for prototyping, programming and implementing Application Specific Instruction-set Processors (ASIPs). A general introduction into this class of processor architectures and their characteristics is provided. The Synopsys Processor designer tool suite and the LISA language for ASIP design are jointly introduced in the context of a H.264 design example. Finally, implementation results are presented.

关键词： Pixel Registers Finite impulse response filter Computer architecture Software Pipeline processing Encoding

来源：评论

学校读者我要写书评

暂无评论

OoLALA: an object oriented analysis and design of numerical linear algebra 00

OoLALA: an object oriented analysis and design of numerical ...

引用

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

作者： Mikel Luján T. L. Freeman John R. Gurd Centre for Novel Computing University of Manchester Oxford Road Manchester M13 9PL United Kindgom

ISBN: (纸本)9781581132007

In this paper we review the design of a sequential object oriented linear algebra library, OOLALA. Several designs are proposed and used to classify existing sequential object oriented libraries. The classification is based on the way that matrices and matrix operations are represented. OOLALA's representation of matrices is capable of dealing with certain matrix operations that, although mathematically valid, are not handled correctly by existing libraries. OOLALA also enables implementations of matrix calculations at various abstraction levels ranging from the relatively low-level abstraction of a Fortran BLAS-like implementation to higher-level abstractions that hide many implementation details. OOLALA addresses a wide range of numerical linear algebra functionality while the reviewed object oriented libraries concen trate on parts of such functionality. We include some preliminary performance results for a Java implementation of OOLALA.

关键词： Java numerical linear algebra object orientation

来源：评论

学校读者我要写书评

暂无评论

design and evaluation of a rapid programming system for service robots 16

Design and evaluation of a rapid programming system for serv...

引用

acm/IEEE International conference on Human-Robot Interaction (HRI)

作者： Justin Huang Tessa Lau Maya Cakmak Computer Science & Engineering University of Washington Seattle WA Savioke Inc. Santa Clara CA

ISBN: (纸本)9781467383707

This paper introduces CustomPrograms, a rapid programming system for mobile service robots. With CustomPrograms, roboticists can quickly create new behaviors and try unexplored use cases for commercialization. In our system, the robot has a set of primitive capabilities, such as navigating to a location or interacting with users on a touch screen. Users can then compose these primitives with general-purpose programming language constructs like variables, loops, conditionals, and functions. The programming language is wrapped in a graphical interface. This allows inexperienced or novice programmers to benefit from the system as well. We describe the design and implementation of CustomPrograms on a Savioke Relay robot in detail. Based on interviews conducted with Savioke roboticists, designers, and business people, we learned of several potential new use cases for the robot. We characterize our system's ability to fulfill these use cases. Additionally, we conducted a user study of the interface with Savioke employees and outside programmers. We found that experienced programmers could learn to use the interface and create 3 real-world programs during the 90 minute study. Inexperienced programmers were less likely to create complex programs correctly. We provide an analysis of the errors made during the study, and highlight the most common pieces of feedback we received. Two case studies show how the system was used internally at Savioke and at a major trade show.

关键词： programming profession Relays Computer languages Visualization Service robots

来源：评论

学校读者我要写书评

暂无评论

Composable attribute grammars: support for modularity in translator design and implementation 92

Composable attribute grammars: support for modularity in tra...

引用

Proceedings of the 19th acm sigplan-SIGACT symposium on Principles of programming languages

作者： R. Farrow T. J. Marlowe D. M. Yellin

ISBN: (纸本)9780897914536

This paper introduces Composable Attribute Grammars (CAGs), a formalism that extends classical attribute grammars to allow for the modular composition of translation specifications and of translators. CAGs bring to complex translator writing systems the same benefits of modularity found in modern programming languages, including comprehensibility, reusability, and incremental meta-compilation.A CAG is built from several smaller component AGs, each of which solves a particular subproblem, such as name analysis or register allocation. A component AG is based upon a simplified phrase-structure that reflects the properties of its subproblem rather than the phrase-structure of the source language. Different component phrase-structures for various subproblems are combined by mapping them into a phrase-structure for the source language. Both input and output attributes can be associated with the terminal symbols of a component AG. Output attributes enable the results of solving a subproblem to be distributed back to anywhere that originally contributed part of the subproblem, e.g. transparently distributing the results of global name analysis back to every symbolic reference in the source *** introducing CAGs by way of an example, we provide a formal definition of CAGs and their semantics. We describe a subclass of CAGs and their semantics. We describe a subclass of CAGs, called separable CAGs, that have favorable implementation properties. We discuss the novel aspects of CAGs, compare them to other proposals for inserting modularity into attribute grammars, and relate our experience using CAGs in the Linguist translator-writing system.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A multi-processing implementation-oriented formal definition of Ada in SEMANOL 80

A multi-processing implementation-oriented formal definition...

引用

Proceedings of the acm-sigplan symposium on The ADA programming language

作者： F. C. Belz E. K. Blum D. Heimbigner

ISBN: (纸本)9780897910309

A formal definition of the syntax and semantics of Preliminary Ada has been designed and partially implemented as a metaprogram in the SEMANOL system. The paper describes the design in detail and also presents excerpts of the actual SEMANOL metaprogram. Special attention is paid to the following aspects, lacking in the formal denotational definition of Ada: (1) formal definition of the connection between the concrete and abstract syntax of Ada, a necessary element of a formal definition if it is to be executable; (2) formal definition of the semantics of concurrency in Ada tasking; (3) formal definition of the semantics of exceptions and interrupts. The complete SEMANOL metaprogram will be an executable formal definition. In effect, it defines a multi-processing operating system which accepts an Ada program, as a set of compilation units, together with data, and causes the program to be executed in a concurrent mode in accordance with the semantics of tasks prescribed in the Ada reference manual and rationale.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Efficient software implementation of embedded communication protocol controllers using asynchronous software thread integration with time- and space-efficient procedure calls

引用

acm TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS 2007年第1期6卷 2–es页

作者： Kumar, Nagendra J. Asokan, Vasanth Shivshankar, Siddhartha Dean, Alexander G. N Carolina State Univ Dept Elect & Comp Engn Ctr Embedded Syst Res Raleigh NC 27695 USA

The overhead of context switching limits efficient scheduling of multiple concurrent threads on a uniprocessor when real-time requirements exist. A software-implemented protocol controller may be crippled by this problem. The available idle time may be too short to recover through context switching, so only the primary thread can execute during message activity, slowing the secondary threads and potentially missing deadlines. Asynchronous software thread integration (ASTI) uses coroutine calls and integration, letting threads make independent progress efficiently, and reducing the needed context switches. We demonstrate the methods with a software implementation of an automotive communication protocol (J1850) and several secondary threads.

关键词： algorithms design experimentation asynchronous software thread integration hardware to software migration fine-grain concurrency software-implemented communication protocol controllers J1850

来源：评论

学校读者我要写书评

暂无评论

The basic object system: supporting a spectrum from prototypes to hardened code 96

The basic object system: supporting a spectrum from prototyp...

引用

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

作者： Allen Dutoit Sean Levy Douglas Cunningham Robert Patrick Software Engineering Institute Carnegie Mellon University Pittsburgh PA Engineering Design Research Center Carnegie Mellon University Pittsburgh PA

ISBN: (纸本)9780897917889

BOS is a prototype-based, object-oriented toolkit aimed at better supporting evolutionary software development. BOS attempts to support a spectrum of activities in one environment---ranging from rapid prototyping to code hardening. Features enabling rapid prototyping include a prototype-based object model, an interpreted language, run-time argument constraints, position and keyword arguments, and a user interface toolkit. BOS also provides features for code hardening such as multi-methods, multiple inheritance, external code wrapping mechanisms, and interfaces to other packages such as database management systems. BOS thus enables the end-to-end programming of software in an integrated and unified environment. BOS has been used to develop several full-size applications which have been evaluated and delivered externally.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：