The Linear Array with a Reconfigurable Pipelined Bus System (LARPBS) is a newly introduced parallel computational model based on current optical bus technology. We show that the selection problem can be solved on the ...
详细信息
ISBN:
(纸本)0769500870
The Linear Array with a Reconfigurable Pipelined Bus System (LARPBS) is a newly introduced parallel computational model based on current optical bus technology. We show that the selection problem can be solved on the LARPBS model in O((log log N)/sup 2//log log log N) bus cycles deterministically. To our best knowledge, this is the best deterministic selection algorithm on the LARPBS model.
Many important characteristics of simulation models, including queuing models, can be investigated by the use of metamodels. Problems in qualitative analysis such as analyzing model dynamics and coming to a careful un...
详细信息
Many important characteristics of simulation models, including queuing models, can be investigated by the use of metamodels. Problems in qualitative analysis such as analyzing model dynamics and coming to a careful understanding of model behavior can be dealt with this way. Metamodels can provide precise results even for quantitative analysis tasks, such as those involving the movement of dynamic model elements. This paper describes the use of a type of metamodeling to support the assessment of simulation models based on the analysis of trace files produced at the time of model execution. Because of the simple structure of these trace files, a simulation model can create them easily. The analysis and interpretation of trace files that is described here is independent of the simulation language used to create the original model. The tools presented in this article can be used for these purposes: to construct generic model structures at the metamodel level and then animate aspects of model behavior in terms of these structures; to build a graphic display indicating which dynamic model elements moved at which times between which points in the model, and in which real-time order in cases of time ties; to determine when (and if) user-specified model conditions come about; and to develop statistical information that might not have been planned for in the design of the original model. Future plans call for making these tools available in a World Wide Web environment to support assessment of simulation models.
In this paper we concentrate on the causal theory of action developed by McCain and Turner [2] for computing ramifications. Our aim here is to characterise this theory of action in terms of a preferentialstyle semanti...
详细信息
In object-oriented database systems where the concept of the superclass-subclass is supported, an instance of a subclass is also an instance of its superclass. Consequently, the access scope of a query against a class...
详细信息
Complex applications in domains such as decision support systems and real time systems require a functionality that is achieved by combining the active and temporal database technologies. In this paper we present TALE...
详细信息
ISBN:
(纸本)3540612920
Complex applications in domains such as decision support systems and real time systems require a functionality that is achieved by combining the active and temporal database technologies. In this paper we present TALE, a Temporal Active Language and Execution model. TALE is a temporal active database programming language, combined with an execution model that enables a correct and efficient processing of operations. As such, TALE is a step in accommodating software engineering challenges in modern informationsystems. TALE primitives are presented using examples and an EBNF. The run-time control mechanism of the model is introduced and TALE properties, namely active and temporal capabilities, and reflective programming capabilities are discussed.
We intend to present a paper on the issue of the application support function as an extension of the Software Quality Assurance process. The paper will focus on how to more effectively meet user needs by integrating u...
详细信息
暂无评论