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

proceedings of the acm sigplan 1993 conference on programming language design and implementation

作者： Robert Wahbe Steven Lucco Susan L. Graham

ISBN: (纸本)9780897915984

A data breakpoint associates debugging actions with programmer-specified conditions on the memory state of an executing program. Data breakpoints provide a means for discovering program bugs that are tedious or impossible to isolate using control breakpoints alone. In practice, programmers rarely use data breakpoints, because they are either unimplemented or prohibitively slow in available debugging software. In this paper, we present the design and implementation of a practical data breakpoint facility.A data breakpoint facility must monitor all memory updates performed by the program being debugged. We implemented and evaluated two complementary techniques for reducing the overhead of monitoring memory updates. First, we checked write instructions by inserting checking code directly into the program being debugged. The checks use a segmented bitmap data structure that minimizes address lookup complexity. Second, we developed data flow algorithms that eliminate checks on some classes of write instructions but may increase the complexity of the remaining *** evaluated these techniques on the SPARC using the SPEC benchmarks. Checking each write instruction using a segmented bitmap achieved an average overhead of 42%. This overhead is independent of the number of breakpoints in use. Data flow analysis eliminated an average of 79% of the dynamic write checks. For scientific programs such the NAS kernels, analysis reduced write checks by a factor of ten or more. On the SPARC these optimizations reduced the average overhead to 25%.

关键词：

来源：评论

学校读者我要写书评

暂无评论

acm '76 - proceedings OF THE ANNUAL conference.

引用

1976年

作者： Anon

This symposium, held in Houston, Texas from October 20 to 22, 1976 contains 105 papers. Topics covered include: Theoretical results in compiler design and implementation; Computer system and network architecture; Recent developments in natural language understanding; Multinational information systems; Data base security; computers in medicine; Computer science education; Based learning and communication environments; Algorithm engineering; Computer architecture; Operating systems for minicomputers; Minicomputer and microcomputer applications; Data base systems organization and optimization; Operating system design; programming languages and their processors; Standardization in simulation; and Program testing.

关键词： COMPUTERS

来源：评论

学校读者我要写书评

暂无评论

An approach to symbolic timing verification

An approach to symbolic timing verification

引用

design Automation conference

作者： T. Amon G. Boriello Department of Computer Science and Engineering University of Washington Seattle WA USA Dept. of Comput. Sci. & Eng. Washington Univ. Seattle WA USA

Symbolic timing verification is a critical tool in the development of higher-level synthesis tools. The authors present an approach to symbolic timing verification using constraint logic programming techniques. The techniques are quite powerful in that they not only yield simple bounds on delays but also relate the delays in linear inequalities so that tradeoffs are apparent. They model circuits as communicating processes and the current implementation can verify a large class of mixed synchronous and asynchronous specifications. The utility of the approach is illustrated with some examples.< >

关键词： Timing Circuit synthesis Throughput Computer science Power engineering and energy Logic programming Delay lines Flexible printed circuits Integrated circuit interconnections LAN interconnection

来源：评论

学校读者我要写书评

暂无评论

design languages for cleanroom software engineering

Design languages for cleanroom software engineering

引用

Annual Hawaii International conference on System Sciences (HICSS)

作者： S.J. Rosen IBM Corporation

Choosing a good design language is essential for success in using the cleanroom software engineering techniques. The design language should be tailored to support the important aspects of cleanroom, most importantly, functional decomposition of intended functions and functional verification. To support these goals, a good design language should be capable of providing a high level of abstraction. Many existing implementation languages, such as C++, C, and PL/1, are suitable for this purpose, given appropriate guidelines on their use. These languages have the additional benefits of being familiar to users, and making the design-to-code step unnecessary. The paper describes the important principles in creating a design language for use with cleanroom software engineering. It then discusses the guidelines needed to produce a viable design language from one existing implementation language.< >

关键词： Software engineering Computer languages Guidelines Data structures design engineering programming Software testing Error correction Software design Sections

来源：评论

学校读者我要写书评

暂无评论

Development of the concurrent object-oriented language superC2

Development of the concurrent object-oriented language super...

引用

International Phoenix conference on Computers and Communications (IPCCC)

作者： F. Sato I. Imai K. Katsuyama T. Mizuno Computer and Information Systems Laboratory Mitsubishi Electric Corporation Limited Kamakura Kanagawa Japan

SuperC/sup 2/, a concurrent object-oriented language designed for the implementation of distributed software running on a network of computers, is described. The goal of superC/sup 2/ is to estimate the easiness of programming of distributed systems and harmony between the distributed systems and programming language. The design policy, basic ideas, and implementation issues for superC/sup 2/ are considered. Examples of the use of superC/sup 2/ and some discussions on the development environment are also presented. Although the first version of superC/sup 2/ only extended the concurrent processing facilities, the current version has extended the facilities to store the object to the file storage persistently. These facilities supply the basis of the distributed object-oriented database. SuperC/sup 2/ can manage the distributed objects by their name. Using these facilities, superC/sup 2/ provides a unified access method to the interprocess communication and file system.< >

关键词： Message passing Concurrent computing Computer languages Distributed computing programming profession Strontium Information systems Laboratories Computer networks Distributed databases

来源：评论

学校读者我要写书评

暂无评论

language support for lightweight transactions 03

Language support for lightweight transactions

引用

proceedings of the 18th annual acm sigplan conference on Object-oriented programing, systems, languages, and applications

作者： Tim Harris Keir Fraser University of Cambridge Computer Laboratory Cambridge UK

ISBN: (纸本)9781581137125

Concurrent programming is notoriously difficult. Current abstractions are intricate and make it hard to design computer systems that are reliable and scalable. We argue that these problems can be addressed by moving to a declarative style of concurrency control in which programmers directly indicate the safety properties that they require. In our scheme the programmer demarks sections of code which execute within lightweight software-based transactions that commit atomically and exactly once. These transactions can update shared data, instantiate objects, invoke library features and so on. They can also block, waiting for arbitrary boolean conditions to become true. Transactions which do not access the same shared memory locations can commit concurrently. Furthermore, in general, no performance penalty is incurred for memory accesses outside *** present a detailed design of this proposal along with an implementation and evaluation. We argue that the resulting system (i) is easier for mainstream programmers to use, (ii) prevents lock-based priority-inversion and deadlock problems and (iii) can offer performance advantages.

关键词： transactions conditional critical regions concurrency non-blocking systems

来源：评论

学校读者我要写书评

暂无评论

Object views: language support for intelligent object caching in parallel and distributed computations 99

Object views: language support for intelligent object cachin...

引用

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

作者： Ilya Lipkind Igor Pechtchanski Vijay Karamcheti Courant Institute of Mathematical Sciences New York University 715 Broadway 7th Floor New York NY

ISBN: (纸本)9781581132380

Object-based parallel and distributed applications are becoming increasingly popular, driven by the programmability advantages of component technology and a flat shared-object space. However, the flat shared-object space introduces a performance challenge: applications that rely on the transparent coherent caching of objects achieve high performance only on tightly coupled parallel machines. In distributed environments, the overheads of object caching force application designers to choose other solutions. Consequently, most applications sacrifice programmability, relying instead on either the explicit coherence management of cached objects, or on vastly different middleware abstractions such as multicast and *** this paper, we describe object views — language support for efficient object caching in parallel and distributed computations. Object views specify restrictions on how computation threads can use an object, providing the underlying implementation with information about the potential side effects of object access, and thereby enabling construction of scalable, low-overhead caching protocols customized to application requirements. We present extensions to the Java programming language for expressing object views, and describe the design and implementation of a translator and run-time system for executing view-augmented Java programs on a distributed cluster of workstations. Experimental results based on a shared whiteboard application demonstrate that view-based object caching can achieve performance superior to multicast- and event-based implementations, while retaining essentially a shared object interface.

关键词： object representation distributed objects object caching views collaborative applications shared objects Java

来源：评论

学校读者我要写书评

暂无评论

1st International ACPC conference on Parallel Computation, 1991

1st International ACPC Conference on Parallel Computation, 1...

引用

1st International ACPC conference on Parallel Computation, 1991

ISBN: (纸本)9783540554370

The proceedings contain 33 papers. The special focus in this conference is on Parallel Computation. The topics include: Scalable cache coherence for shared memory multiprocessors;new program restructuring technology;data parallel program design;a powerful high-level debugger for parallel programs;the PCP/PFP programming models on the BBN TC2000;knowledge-based parallelization for distributed memory systems;parallelization for multiprocessors with memory hierarchies;data structures for optimizing programs with explicit parallelism;MODULA-S: a language to exploit two dimensional parallelism;ADAPTing fortran 90 array programs for distributed memory architectures;evolution of massive parallel compute servers from a research object to a production pool;processor scheduling in multiprocessor systems;multipacket routing on rings;massively parallel processing in high energy physics: the CERN-MPPC project;a heuristic algorithm for dynamic task allocation in highly parallel systems;analysis of parallel lisp programs based on a trace mechanism;a distributed implementation of flat concurrent prolog on multi-transputer environments;negation in conclog;symbolic computation and parallel software;on the parallelization of characteristic-set-based algorithms;multiplication as parallel as possible;on the existence of an efficient parallel algorithm for a graph theoretic problem;on the multi-threaded computation of modular polynomial greatest common divisors;a buchberger algorithm for distributed memory multiprocessors;computational biology on massively parallel machines;time-parallel multigrid in an extrapolation method for time-dependent partial differential equations;parallelization of simulation tasks: methodology - implementation -application;parallel algorithms for stress analysis on shared-memory multiprocessors and elastic load-balancing for image processing algorithms.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A descriptive model for the design and implementation of computer systems 73

A descriptive model for the design and implementation of com...

引用

proceedings of the acm annual conference

作者： John Mazur

ISBN: (纸本)9781450374903

We postulate a general computing model and investigate the design and implementation of systems in the postulated environment. The model is drawn from our interpretation of the writings of John von Newmann 1 and others. Its central concept is an abstraction of the capability of all digital computers to modify cells contents that represent addresses of other cells. We discuss three formulations of the model; namely, a “programming language” formulation using vectors, pointers, and move operators, an “emulator” formulation extending the first formulation to include control structure and execution semantics, and a “mathematical” formulation. The proposed model is specifically intended for the interactive design and implementation of software (and also hardware) computer systems. The completeness and the hierarchial nature of the descriptions based on the model allow those descriptions to serve as simulation models and documentation for the complete system being described or for any well-defined part of the system.

关键词：

来源：评论

学校读者我要写书评

暂无评论

design automation for Ada development under DOD-STD-2167 (and beyond) 87

Design automation for Ada development under DOD-STD-2167 (an...

引用

proceedings of the 1987 annual acm SIGAda international conference on Ada

作者： Brett Bachman

ISBN: (纸本)9780897912433

The combination of Ada® used as a programming language and as a program design language (PDL) can effectively help automate the enforcement of design methods and the creation of design documentation. This paper discusses how design automation can be applied successfully to the development of complex Ada systems under DOD-STD-2167. In particular, the use of an Ada-based PDL as the basis for capturing design decisions is examined. The paper also explores the implications of such an approach in the context of integrated tool support, namely, the ability to produce documents automatically, to enforce project-specific design rules, to provide interactive traversing between design and implementation, and to facilitate traceability.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：