摘要:

AbstractThe synthetic‐perturbation screening (SPS) methodology is based on an empirical approach; SPS introduces artificial perturbations into the MIMD program and captures the effects of such perturbations by using the modern branch of statistics called design of experiments. SPS can provide the basis of a powerful tool for screening MIMD programs for performance bottlenecks. This technique is portable across machines and architectures, and scales extremely well on massively parallel processors. The purpose of this paper is to explain the general approach and to extend it to address specific features that are the main source of poor performance on the shared memory programming model. These include performance degradation due to load imbalance and insufficient parallelism, and overhead introduced by synchronizations and by accessing shared data structures. We illustrate the practicality of SPS by demonstrating its use on two very different case studies: a large image understanding benchmark and a parallel quicksor

ISSN:0038-0644    

DOI:10.1002/spe.4380240802

出版商:John Wiley&Sons, Ltd.    

年代:1994

数据来源: WILEY

摘要:

AbstractThe Esprit DOCKET project seeks to reduce the problems associated with software maintenance through enhancing traditional, reverse engineering tools with other sources of knowledge, enabling mainters to produce more accurate system models. To produce accurate system models, knowledge about an information system, obtained from different sources, must be interpreted and integrated into a single model (known as the global system model in DOCKET). The definition and implementation of such a model involves the resolution of many issues. These include multiple views of a system at different levels of abstraction, handling inconsistency, incompleteness and system description evolution. This paper reports on the implementation of the Global System Model using the language SML. SML enabled design and implementation problems to be surmounted at a high level of abstraction and facilitated the rapid implementation and testing of the global system model, greatly reducing the effort required to implement it compared to more conventional facilities.

ISSN:0038-0644    

DOI:10.1002/spe.4380240803

出版商:John Wiley&Sons, Ltd.    

年代:1994

数据来源: WILEY

摘要:

AbstractIn Prolog the flow of control is relatively complex; four counts (which we call currents)—call, fail, succeed and redo—and two intrinsic properties—the failure and the ‘alternative’ probabilities—can be associated with every literal in a clause body. In this work we describe a new matrix model where those currents and properties are related at the literal, clause and predicate definition levels. This model is useful for predicate classification, execution profiling and program debugging. The application to profilers is discusse

ISSN:0038-0644    

DOI:10.1002/spe.4380240804

出版商:John Wiley&Sons, Ltd.    

年代:1994

数据来源: WILEY

摘要:

AbstractWe have developed a user‐friendly CAD graphical tool for the design, verification, simulation, and synthesis of protocols based on an interactive tool for Petri net and state diagram designs. Special features of this tool are: the capability of modeling both control and data flows, reduction and analysis, simulation of network behavior and performance, coding (parametrized protocols and automatic implementation), synthesis (two party protocol and ordinary Petri nets), animation and flexible design. Since it is Petri‐net based, it allows simulation during all design phases and has extensive applications such as parallel debugging and simulation, expert systems, etc. Future enhancements of this tool are also discus

ISSN:0038-0644    

DOI:10.1002/spe.4380240805

出版商:John Wiley&Sons, Ltd.    

年代:1994

数据来源: WILEY

ISSN:0038-0644    

DOI:10.1002/spe.4380240801

出版商:John Wiley&Sons, Ltd.    

年代:1994

数据来源: WILEY