In an earlier paper, the author discussed the use of Ada to implement the internal program representation for an Ada software reengineering system. While many of Ada's features were used to advantage in the implem...
详细信息
Object Oriented technology, especially Object Oriented programming (OOP), has recently become very popular in a number of contexts, and for various applications. However, there have been relatively few reports of usin...
详细信息
A way opinions and its embodiment as a rating algorithm for an end-user personnel qualification system is described. The system is tested for clerks cert@ing for the State Ministry and is customised for Nuclear Power ...
详细信息
The paper describes an APL2 soIution for a real life problem of a large eompauy. The problem is to make a decision on establishing a new fully automated warehouse for delive of business papers. Large scale of the proj...
详细信息
The proceedings contain 48 papers. The topics discussed include: Ada 9x tagged types and their implementation in GNAT;features of the Gnu Ada runtime library;working with Ada 9X classes;quality guidelines = designer m...
ISBN:
(纸本)0897916662
The proceedings contain 48 papers. The topics discussed include: Ada 9x tagged types and their implementation in GNAT;features of the Gnu Ada runtime library;working with Ada 9X classes;quality guidelines = designer metrics;run-time check elimination for Ada 9X;smart recompilation and the GNAT compiler;lessons learned in implementing a team review process;integrating GNAT into GCC;the GNAT compilation model;the GNAT project: a GNU-Ada 9X compiler;an object-oriented approach to software process modeling and definition;software project reporting: management, measurement, and process improvement;the STARS process engine: language and architecture to support process capture and multi-user execution;delegation: dynamic specialization;Ada-based programminglanguage course in Moscow State University;educating educators: lessons in adding Ada to a small school curriculum;profiling in an object-oriented design environment that supports Ada 9x and Ada 83 code generation;selecting a software development process;Easy-Sim: using Ada 9x in a graphics system software architecture;implementing internal program representations with Ada and Ada 9x;and design of GUIs from a programming perspective.
The paper discusses the design and implementation of LiSEB, a class-based language built on top of APL2 to respond to challenges posed by modelling living systems from a medical point of view. LiSEB capitalises on sev...
详细信息
This conferenceproceedings contains 29 papers on the design, development, implementation and use of programminglanguages, with emphasis on experimental results and practical experience. Topics discussed include the ...
详细信息
ISBN:
(纸本)0897915984
This conferenceproceedings contains 29 papers on the design, development, implementation and use of programminglanguages, with emphasis on experimental results and practical experience. Topics discussed include the design and implementation of data breakpoints, isolation and analysis of optimization errors, accommodation of may-alias information in static single assignment form, abstract debugging of higher-order imperative languages, a practical data flow framework for array reference analysis, global optimizations for parallelism and data locality, communication optimization and code generation for distributed memory machines, programmable syntax macros, compiling real-time programs into schedulable code, improving the cache locality of memory allocation, using lifetime predictors to improve memory allocation performance, the implementation of type classes, the theory of compilation with continuations, register allocation with instruction scheduling, lifetime-sensitive modulo scheduling, load/store range analysis for global register allocation, and balanced instruction scheduling in the case of uncertain memory latency.
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 ...
详细信息
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.
Message-passing and distributed shared memory have their respective advantages and disadvantages in distributed parallel programming. We approach the problem of integrating both mechanisms into a single system by prop...
详细信息
Message-passing and distributed shared memory have their respective advantages and disadvantages in distributed parallel programming. We approach the problem of integrating both mechanisms into a single system by proposing a new message-driven coherency mechanism. Messages carrying explicit causality annotations are exchanged to trigger memory coherency actions. By adding annotations to standard message-based protocols, it is easy to construct efficient implementations of common synchronization and communication mechanisms. Because these are user-level messages, the set of available primitives is extended easily with language- or application-specific mechanisms. CarlOS, an experimental prototype for evaluating this approach, is derived from the lazy release consistent memory of TreadMarks. We describe the message-driven coherency memory model used in CarlOS, and we examine the performance of several applications.
The array update problem in the implementation of a purely functional language is the following: once an array is updated, both the original array and the newly updated one must be preserved to maintain referential tr...
ISBN:
(纸本)9780897916431
The array update problem in the implementation of a purely functional language is the following: once an array is updated, both the original array and the newly updated one must be preserved to maintain referential transparency. Previous approaches have mainly based on the detection or enforcement of single-threaded accesses to an aggregate, by means of compiler-time analyses or language restrictions. These approaches cannot deal with aggregates which are updated in a multi-threaded ***'s shallow binding scheme can be used to implement multi-threaded functional arrays. His scheme, however, can be very expensive if there are repeated alternations between long binding paths. We design a scheme that fragments binding paths randomly. The randomization scheme is on-line, simple to implement, and its expected performance comparable to that of the optimal off-line solutions. All this is achieved without using compiler-time analyses, and without restricting the *** expected performance of the randomization scheme is analyzed in details, and some preliminary results are shown. Applications of the randomization technique to other functional aggregates, as well as its implications, are briefly outlined.
暂无评论