PROCEEDINGS INCLUDES 195 PAPERS OF WHICH SIX ARE PRESENTED ONLY IN THE FORM OF AN ABSTRACT OR SUMMARY. THE MATERIAL IS DIVIDED INTO ABOUT 40 SECTIONS DEALING WITH SYSTEM DESIGN, INERTIAL SYSTEMS, MICROcomputerS, SURVI...
详细信息
PROCEEDINGS INCLUDES 195 PAPERS OF WHICH SIX ARE PRESENTED ONLY IN THE FORM OF AN ABSTRACT OR SUMMARY. THE MATERIAL IS DIVIDED INTO ABOUT 40 SECTIONS DEALING WITH SYSTEM DESIGN, INERTIAL SYSTEMS, MICROcomputerS, SURVIVABILITY, SOFTWARE MANAGEMENT, ALL ELECTRIC AIRCRAFT, LASER GYROS, AIR NAVIGATION,computerarchitecture, COMMUNICATIONS, KALMAN FILTERS, AIRCRAFT CONTROL, TECHNOLOGY IN MEDICINE, FIRE CONTROL, COST ESTIMATION OF SOFTWARE, EMC, SIGNAL PROCESSING, ELECTRONIC MAPPING, AIR TRAFFIC CONTROL, AEROSPACE POWER SYSTEMS, DIGITAL PROCESSING, HIGH-ORDER languages, FAULT ISOLATION, COCKPIT DISPLAYS, AIR CREW TRAINING SOFTWARE, AND AVIONICS TESTABILITY. TOPICS CONSIDERED INCLUDE: MILITARY AIRCRAFT, AVIONICS, TWT'S, BIOMEDICAL ENGINEERING, RADAR, MICROPROCESSORS, PHASE MODULATION, SPACE SHUTTLES, HELICOPTERS, AIRCRAFT INSTRUMENTS, AIR TRANSPORTATION, computerarchitecture AND programming,computer SIMULATION, LIGHTNING PROTECTION, DISPLAY SYSTEMS,COMMUNICATION SATELLITES, AIRCRAFT INSTRUMENTATION, AIR TRANSPORTATION, SPACECRAFT, AND PERSONNEL TRAINING. TECHNICAL AND PROFESSIONAL PAPERS FROM THIS conference ARE INDEXED WITHTHE conference CODE NO. 01320 IN THE EI ENGINEERING MEETINGS (TM) DATABASE PRODUCED BY ENGINEERING INFORMATION, INC.
The proceedings contain 30 papers. The special focus in this conference is on Graphtheoretic Concepts in computer Science. The topics include: Graph grammars and the complexity gap in the isomorphism problem for acycl...
ISBN:
(纸本)9783540102915
The proceedings contain 30 papers. The special focus in this conference is on Graphtheoretic Concepts in computer Science. The topics include: Graph grammars and the complexity gap in the isomorphism problem for acyclic digraphs;issues in the study of graph embeddings;schema hypergraphs:A formalism to investigate logical data base design;the use of transitively irreducible kernels of full families of functional dependencies in logical data base design;graph algorithms for the synthesis and manipulation of data base schemes;the analysis of search trees: A survey;a framework for data structures;investigating programs in terms of partial graphs;an observation concerning the complexity of problems with few solutions and its application to cryptography;series of graphs generated by rational machines;Bounding the bandwidth of NP-complete problems;the complexity of path problems in graphs and path systems of bounded bandwidth;a comparison between Petri-nets and graph grammars;a graph grammar representation of nonsequential processes;reachability homomorphisms on nets;a birds eye view to path problems;the Chinese postman problem for mixed graphs;alternating cycle covers and paths;generating all planar 0-,1-,2-,3-connected graphs;optimal (s,t)-cuts;on linearizing graphs;f-factors, perfect matchings and related concepts;set-theoretic concepts in programminglanguages and their implementation;graph rewriting and automatic, machine-independent program optimization;properties of ordered graph grammars;the power of a one-dimensional vector of processors;a new data structure for representing sorted lists;on the use of some almost sure graph properties.
SIMULA language has been designed as a general-purpose programming tool and is particularly offered for describing and efficiently simulating large-scale systems. Such simulation models are usually characterized by in...
详细信息
SIMULA language has been designed as a general-purpose programming tool and is particularly offered for describing and efficiently simulating large-scale systems. Such simulation models are usually characterized by inherent parallelism, which reflects corresponding activities of the system. This kind of natural parallelism remains unexploited by the implementation of the SIMULA language in a uniprocessor machine. The authors have critically assessed SIMULA, and present a scheme that aims towards implementing SIMULA programs in a multiprocessor environment. This scheme establishes a parallel structure to replace the existing quasiparallel SIMULA mechanism. The approach is based on the nature of SIMULA classes and the process interactions. An appropriate process interaction structure is proposed. This structure makes it possible to overcome such problems as mutual exclusion, deadlock, and synchronization. Further, an executive algorithm is outlined to guarantee the correct flow of processes in a multiprocessor environment.
This paper describes an alternative approach to software architecture, where the classical division of responsibilities between operating systems, programminglanguages and compilers, etc. is revised. The alternative ...
详细信息
This paper describes an alternative approach to software architecture, where the classical division of responsibilities between operating systems, programminglanguages and compilers, etc. is revised. The alternative is organized as a set of self-contained environments which are able to communicate pieces of software between them, and whose internal structure is predominantly descriptive and declarative. The base structure within each environment (its diversified shell) is designed so that it can accommodate such arriving software modules.
This volume contains the proceedings of the Third conference on functionalprogramminglanguages and computerarchitecture held in Portland, Oregon, September 14-16, 1987. This conference was a successor to two highly...
详细信息
ISBN:
(数字)9783540478799
ISBN:
(纸本)9783540183174
This volume contains the proceedings of the Third conference on functionalprogramminglanguages and computerarchitecture held in Portland, Oregon, September 14-16, 1987. This conference was a successor to two highly successful conferences on the same topics held at Wentworth, New Hampshire, in October 1981 and in Nancy, in September 1985. Papers were solicited on all aspects of functionallanguages and particularly implementation techniques for functionalprogramminglanguages and computerarchitectures to support the efficient execution of functional programs. The contributions collected in this volume show that many issues regarding the implementation of functionalprogramminglanguages are now far better understood.
The current thrust in undergraduate computer science education is to emphasize the laboratory nature of the discipline, but little has been done to introduce laboratories at the graduate level. Teaching techniques for...
详细信息
暂无评论