In this paper we describe and compare two methodologies for verifying the correctness of a speculative out-of-order execution system with interrupts. Both methods are deductive (we use PVS) and are based on refinement...
详细信息
ISBN:
(纸本)3540672826
In this paper we describe and compare two methodologies for verifying the correctness of a speculative out-of-order execution system with interrupts. Both methods are deductive (we use PVS) and are based on refinement. the first proof is by direct refinement to a sequential system;the second proof combines refinement with induction over the number of retirement buffer slots.
the approximation capabilities of Takagi-Sugeno models are investigated. Classical results on the approximation of regular functions are improved showing that these more general models may approximate to any degree of...
详细信息
ISBN:
(纸本)0780336461
the approximation capabilities of Takagi-Sugeno models are investigated. Classical results on the approximation of regular functions are improved showing that these more general models may approximate to any degree of accuracy not only sufficiently smooth functions but also their first and second-order derivatives.
A study approaches to construction project management evaluation revealed inadequacies in for example, the lack of a systematic strategy that is based on clearly defined criteria, historical databanks and standardised...
详细信息
A study approaches to construction project management evaluation revealed inadequacies in for example, the lack of a systematic strategy that is based on clearly defined criteria, historical databanks and standardised techniques. Further study confirmed the need for a computer-based evaluation system that facilitates more realistic assessments, by using relevant criteria, appropriate indicators, suitable tools and a knowledge-based front-end that helps select and integrate the necessary modules from a comprehensive knowledge-bank. Project specific evaluation instruments derived from such a computer-based system are shown to be more efficient in the effective assessment of construction projects and their management. Copyright (C) 1996 Civil-Comp Limited and Elsevier Science Limited.
the area of Embedded systems (ES) has been gaining momentum in recent years. Such systems are used in a wide spectrum of application areas in industry. According to experts, the demand for knowledgeable and skilled ac...
详细信息
ISBN:
(纸本)0769523242
the area of Embedded systems (ES) has been gaining momentum in recent years. Such systems are used in a wide spectrum of application areas in industry. According to experts, the demand for knowledgeable and skilled academicians in the area of ES engineering (ESE) is expected to continue to grow. this led to increasing recognition by the industry and the academy of the need in designated curricula for training graduates in ESE. this paper describes a distinctive program for a B. Sc. degree in ESE, developed at the CS Department of Holon Academic Institute of Technology (HAIT). the proposed program essentially differs from the programs in traditional computing disciplines: it is multi-disciplinary in its nature and is intended to provide a broad integrative knowledge in a wide spectrum of areas required for ES development: hardware, software, real time, control and signal processing, and technology management. the program combines teaching theoretical principles with exposure to advanced technologies in order to prepare the graduates for successful integration into high-tech projects of the modern industry.
暂无评论