This is the author's report of his visit to the Soviet Union in June and July, 1960. The purpose of the trip was to attend the First Congress of the International Federation of automatic Control (IFAC) as an offic...
详细信息
Experience has shown that the implementation of a large scaleload management system deservesconsideration of a number of factors in addition to those “internal” to the design of the system itself. This paper present...
详细信息
IN the 1950s, there was a good deal of discussion at computer conferences about what was then known as automatic programming. This led to Fortran, which was developed by a group within IBM who had strictly pragmatic a...
详细信息
IN the 1950s, there was a good deal of discussion at computer conferences about what was then known as automatic programming. This led to Fortran, which was developed by a group within IBM who had strictly pragmatic aims. They saw a clear need for some system that would enable the labor of program ming to be reduced. The scientific study of programming languages began slightly later with the publication of the Algol 60 report. This was put together by an international committee whose aims were essentially intellectual. They set out to design a language that was elegant in a mathematical sense and would enable scientists to specify a computation without concerning themselves about practical details. Together, Fortran and Algol define a;fault line that runs through the study of programming languages that we are now only beginning to bridge.
This paper describes a software model construction and management tool that provides a foundation for legacy systems modeling, analysis and transformation on an enterprise scale. The Legacy System Cataloging Facility ...
详细信息
ISBN:
(纸本)0818671114
This paper describes a software model construction and management tool that provides a foundation for legacy systems modeling, analysis and transformation on an enterprise scale. The Legacy System Cataloging Facility provides a scalable, multi-tiered hierarchical storage mechanism for managing legacy system as persistent, highly-fidelity software models within a distributed-computing framework. The legacy system cataloging facility is one facet of a knowledge based tools framework for reverse engineering, reengineering and reuse that supports the transitioning of existing systems to support business process reengineering (BPR) as well as more traditional incremental maintenance activities.
Traditionally, (nonmasking and masking) fault-tolerance has focused on ensuring that after the occurrence of faults, the program recovers to states from where it continues to satisfy its original specification. Howeve...
详细信息
ISBN:
(纸本)9780769547848
Traditionally, (nonmasking and masking) fault-tolerance has focused on ensuring that after the occurrence of faults, the program recovers to states from where it continues to satisfy its original specification. However, a problem with this limited notion is that, in some cases, it may be impossible to recover to states from where the entire original specification is satisfied. For this reason, one can consider a fault-tolerant graceful-degradation program that ensures that upon the occurrence of faults, the program recovers to states from where a (given) subset of its specification is satisfied. Typically, the subset of specification satisfied thus would be the critical requirements. In this paper, we focus on automatically revising a given program to obtain a corresponding graceful program, i.e., a program that satisfies a weaker specification. Specifically, this step involves adding new behaviors that satisfy the given subset of specification. Moreover, it ensures that during this process, it does not remove any behavior from the original program. With this motivation, in this paper, we focus on automatic derivation of the graceful program, i.e., a program that contains all behaviors of the original program and some new behaviors that satisfy the weaker conditions. We note that this aspect differentiates this work from previous work on controller synthesis as well as automated addition of fault-tolerance in that this work requires that no new behaviors are added in the absence of faults.
The actor programming model offers a promising model for developing reliable parallel and distributed code. Actors provide. exibility and scalability: local execution may be interleaved, and distributed nodes may oper...
详细信息
ISBN:
(纸本)9780769538914
The actor programming model offers a promising model for developing reliable parallel and distributed code. Actors provide. exibility and scalability: local execution may be interleaved, and distributed nodes may operate asynchronously. The resulting nondeterminism is captured by nondeterministic processing of messages. To automate testing, researchers have developed several tools tailored to specific actor systems. As actor languages and libraries continue to evolve, such tools have to be reimplemented. Because many actor systems are compiled to Java bytecode, we have developed Basset, a general framework for testing actor systems compiled to Java bytecode. We illustrate Basset by instantiating it for the Scala programming language and for the ActorFoundry library for Java. Our implementation builds on Java PathFinder, a widely used model checker for Java. Experiments show that Basset can effectively explore executions of actor programs;e. g., it discovered a previously unknown bug in a Scala application.
Simulation of automatically-generated test programs is the primary means for verifying complex hardware designs and random test program generators therefore play a major role in the verification process of micro-proce...
详细信息
ISBN:
(纸本)0780376552
Simulation of automatically-generated test programs is the primary means for verifying complex hardware designs and random test program generators therefore play a major role in the verification process of micro-processors. The input for a test program generator is typically an abstract specification-a template-of the tests to be generated. Due to randomness, generators often encounter situations that were not anticipated when the test specification was written. In this paper, we introduce the concept of adaptive test program generation, which is designed to handle these unforeseen situations. We propose a technique that defines unexpected events together with their alternative program specifications. When an event is detected, its corresponding alternative specification is injected into the test program.
A generalization of an artificial neuron is introduced in this paper. Called the queron(1), this abstraction is the basic computational node of Queral Networks (QN). QNs are introduced as a parallel architecture expec...
详细信息
ISBN:
(纸本)9780769543796
A generalization of an artificial neuron is introduced in this paper. Called the queron(1), this abstraction is the basic computational node of Queral Networks (QN). QNs are introduced as a parallel architecture expected to be an improvement upon Artificial Neural Networks (ANN). The fundamental properties of QNs are presented here: reusability, complexity management and human-readability. It is expected that this proposed architecture will allow the engineering of large, highly parallel computer systems with the computational benefits of ANNs while overcoming the challenge of developing ANNs. A brief case study is given to illustrate the QN concept.
The increasing diffusion of ubiquitous communication infrastructures and physical active objects -like sensors and smart tags- is motivating the integration of these devices into advanced distributed systems. The nove...
详细信息
ISBN:
(纸本)9780769526850
The increasing diffusion of ubiquitous communication infrastructures and physical active objects -like sensors and smart tags- is motivating the integration of these devices into advanced distributed systems. The novelty of these technologies has imposed a "code and fix" approach;only a few methodologies have been developed to address the integration of heterogeneous technologies to provide the user with sophisticated and flexible abstractions of real world objects. To this end, the paper proposes the first results of a model-driven approach for the development of applications based on heterogeneous physical active objects. We propose a metamodel and a framework for automatic code generation based on Jini. The approach is exemplified on a simple case study in the domain of advanced logistics.
暂无评论