The high level architecture (HLA) is a standard for federations of distributed simulations that exchange run-time data. HLA’s data distribution management (DDM) services reduce data delivered to simulations based on their declarations of data produced and required. The HLA specifications, including DDM, were changed substantially from the Department of Defense 1.3 standard to the IEEE 1516 stan...

This tutorial surveys the state of the art in high-level synthesis of digital drcuits. It will be published in Advances in Computers, Volume 35, edited by M. Yovits.

We address the problem of formally proving high level e ect de scriptions of actions from low level operational de nitions Both descriptions are expressed in a logic of actions and change with extensions for characterizing continuous change discontinuities the distinction between true and estimated values of state vari ables and the distinction between success and failure of an ac tion Both des...

High level ATPG does not make the test problem any easy. In fact, there are several design-flow-related complications it creates. Also, the fault models used in high level ATPG are not suitable. Gate level ATPG has dominated for over 20 years and continue to do so. And there are enough challenging unsolved problems in gate level ATPG and there is no evidence that high level ATPG provides any he...

Situation identification methodologies in pervasive computing aim to abstract low level context data into more meaningful high level contexts for use by context-aware application developers and users. Many situation identification techniques have been developed and successfully applied to limited scenarios. It is not possible to apply a single technique to a wide range of diverse applications. ...

The scheduling problem — one of the central tasks in high-level synthesis — is the problem of determining the order in which the operations in the behavioral description will execute. This tutorial introduces the scheduling problem, and describes four scheduling algorithms commonly used today to solve those problems.

The purposes of this study are: (1) to investigate students’ perceptions of computer-assisted whole language instruction; (2) to examine the effectiveness of whole language instruction on students’ reading improvement; and (3) to determine the difference between basic-level and advanced-level students’ improvement in reading skills. A total of 212 freshmen (98 low level and 114 high level stude...

A research organization responds to a variety of customer requests. Each high level request is broken down into a set of low level requests. For each low level request, the research organization follows a multi-step process: access, acquire, analyze and report. The customer is given an estimate of whether its request will be met, and if not, why not. The explanation may be provided at multiple ...