|
|
Creator | Title | Description | Subject | Date |
1 |
|
Kessler, Robert R. | A communication-ordered task graph allocation algorithm | The inherently asynchronous nature of the data flow computation model allows the exploitation of maximum parallelism in program execution. While this computational model holds great promise, several problems must be solved in order to achieve a high degree of program performance. The allocation and ... | Task graph allocation algorithm | 1992 |
2 |
|
Evans, John; Kessler, Robert R. | A communication-ordered task graph allocation algorithm | The inherently asynchronous nature of the data flow computation model allows the exploitation of maximum parallelism in program execution?? While this computational model holds great promise several problems must be solved in order to achieve a high degree of program performance?? The allocation... | Data flow computation model | 1992 |
3 |
|
Brunvand, Erik L.; Smith, Kent F. | A comparison of self-timed design using FPGA, CMOS, and GaAs technologies | Asynchronous or self-timed systems that do not rely on U global clock to keep system components synchronized can offer significant advantages over traditional clocked circuits in a variety of applications. One advantage is that because of the separation of timing, from, functionality in these sys... | | 1992 |
4 |
|
Brunvand, Erik L. | A correctness criterion for asynchronous circuit validation and optimization | In order to reason about the correctness of asynchronous circuit implementations and specifications, Dill has developed a variant of trace theory [1]. Trace theory describes the behavior of an asynchronous circuit by representing its possible executions as strings called "traces" A useful relatio... | Asynchronous circuits; Circuit optimizations; Formal verification of hardware; Trace theory; Asynchronous circuit validation | 1992 |
5 |
|
Gopalakrishnan, Ganesh | A correctness criterion for asynchronous circuit validation and optimization | We propose a new relation C. called strong conformance in the context of Dill's trace theory, and define B Q A to be true exactly when B conforms to A and the success set of B contains the success set of A. When B C. A, module B operated in module A's maximal environment AM (i.e. B || AM) exhibits a... | Validation; Optimization | 1992 |
6 |
|
| A distributed garbage collection algorithm | Concurrent Scheme extends the Scheme programming language, providing parallel program execution on a distributed network. The Concurrent Scheme environment requires a garbage collector to reclaim global objects; objects that exist in a portion of the global heap located on the node that created them... | Concurrent Scheme; Garbage collection algorithm | 1992 |
7 |
|
Sobh, Tarek M. | A dynamic framework for intelligent inspection | CAD (Computer Aided Design) typically involves the design, manufacture and inspection of a mechanical part. The problem of reverse engineering is to take an existing mechanical part as the point of departure and to inspect or produce a design, and perhaps a manufacturing process, for the part. We pr... | CAD; Discrete event dynamic systems; DEDS | 1992 |
8 |
|
Sobh, Tarek M.; Henderson, Thomas C. | A dynamic framwork for intelligent inspection | CAD Computer Aided Design typically involves the design manufacture and inspection of a me chanical part. The problem of reverse engineering is to take an existing mechanical part as the point of departure and to inspect or produce a design and perhaps a manufacturing process for the part. ... | CAD; Manufacture; Inspection; Intelligent inspection | 1992 |
9 |
|
Sobh, Tarek M.; Henderson, Thomas C. | A dynamic recursive structure for intelligent exploration | We suggest a new approach for inspection and reverse engineering applications. In particular, we investigate the use of discrete event dynamic systems (DEDS) to guide and control the active exploration and sensing of mechanical parts for industrial inspection and reverse engineering. We introduce dy... | Intelligent exploration; Discrete event dynamic systems; DEDS; Dynamic recursive finite state machines; DRFSM | 1992 |
10 |
|
Sobh, Tarek M.; Henderson, Thomas C. | A dynamic recursive structure for intelligent inspection | We suggest a new approach for inspection and reverse engineering applications. In particular we investigate the use of discrete event dynamic systems DEDS to guide and control the active exploration and sensing of mechanical parts for industrial inspection and reverse engineering?? We introduce... | Intelligent inspection; Discrete event dynamic systems; DEDS; Industrial inspection; Dynamic recursive structure | 1992 |
11 |
|
Cohen, Elaine | Adaptive isocurves based rendering for freeform surfaces | Freeform surface rendering is traditionally performed by approximating the surface with polygons and then rendering the polygons. This approach is extremely common because of the complexity in accurately rendering the surfaces directly. Recently, several papers presented methods to render surfaces ... | Freeform surface rendering; Isocurves | 1992 |
12 |
|
Cohen, Elaine | Adaptive isocurves based rendering for freeform surfaces | Freeform surface rendering is traditionally performed by approximating the surface with polygons and then rendering the polygons This approach is extremely common because of the complexity in accurately rendering the surfaces directly Recently?? several papers presented methods to render surface... | Freeform surface rendering; Isocurves | 1992 |
13 |
|
Mathews, V. John | An efficient algorithm for joint estimation of differential time delays and frequency offsets | ABSTRACT This paper introduces an efficient algorithm that jointly estimates differential time delays and frequency offsets between two signals. The approach is a two-step procedure. First, the differential frequency offsets are estimated from measurement of the autocorrelation functions of the rec... | | 1992 |
14 |
|
Gopalakrishnan, Ganesh | Asynchronous circuit verification using trace theory and CCS | We investigate asynchronous circuit verification using Dill's trace theory as well as Milner's CCS (as mechanized by the Concurrency Workbench). Trace theory is a formalism specifically designed for asynchronous circuit specification and verification. CCS is a general purpose calculus of communicat... | Trace theory; Verification; CCS | 1992 |
15 |
|
Stevens, Kenneth | Automatic synthesis of fast, compact self-timed control | An automated synthesis tool, called the Most Excellent Asynchronous Tool, or MEAT is presented. This tool has been used to specify and synthesize self-timed circuits for a fully self-timed 300,000 transistor communication co-processor. The Specification is done with stylized state diagrams. This is ... | | 1992 |
16 |
|
Sobh, Tarek M. | Autonomous Observation | We address the problem of observing an agent. We advocate a modeling approach for the visual system and its observer, where a discrete event dynamic system (DEDS) framework is developed and "events" are defined as ranges on parameter subsets. The dynamic recursive context for finite state machines (... | Observation; Manipulation process | 1992 |
17 |
|
Sobh, Tarek M. | Autonomous observation | We address the problem of observing an agent?? We advocate a modeling approach for the visual system and its observer where a discrete event dynamic system DEDS framework is developed and events are de ned as ranges on parameter subsets?? The dynamic recursive context for nite state machine... | Autonomous observation | 1992 |
18 |
|
Akella, Venkatesh | CFSIM: A concurrent compiled-code functional simulator for hopCP | Control intensive ICs pose a significant challenge to the users of formal methods in designing hardware. These ICs have to support a wide variety of requirements including synchronous and asynchronous operations, polling and interrupt-driven modes of operation, multiple concurrent threads of executi... | CFSIM; Hardware design; hopCP | 1992 |
19 |
|
Bruderlin, Beat | Constraint objects - integrating constraint definition and interaction | This paper describes the implementation of a new constraint-based technique for direct manipulation in interactive CAD, which will simplify the design process, especially in the early stages. We introduce so called Constraint Objects and Parameter Objects which constitute an object-oriented view on ... | Constraint objects; Parameter objects | 1992 |
20 |
|
Bruderlin, Beat | Constraint objects ? integrating constraint definition and graphical interaction | This paper describes the implementation of a new constraint??based tech?? nique for direct manipulation in interactive CAD which will simplify the design process especially in the early stages We introduce so called Constraint Objects and Parameter Objects which constitute an object??oriented ... | Constraint objects | 1992 |
21 |
|
Myers, Chris J. | Direct synthesis of timed asynchronous circuits | This paper presents a new method to synthesize timed asynchronous circuits directly from the specification without generating a state graph. Our synthesis procedure begins with a deterministic signal transition graph specification to which timing constraints can be added. First, a timing analysis ex... | | 1992 |
22 |
|
Orr, Douglas B.; Mecklenburg, Robert; Hoogenboom, Peter J.; Lepreau, Jay | Dynamic program monitoring and transformation using the OMOS object server | In traditional monolithic operating systems the con?? straints of working within the kernel have limited the sophistication of the schemes used to manage exe?? cutable program images By implementing an exe?? cutable image loader as a persistent user??space pro?? gram we can extend system prog... | Program monitoring; OMOS object server | 1992 |
23 |
|
Orr, Douglas B. | Dynamic program monitoring and transformation using the OMOS object server | In traditional monolithic operating systems the constraints of working within the kernel have limited the sophistication of the schemes used to manage executable program images. By implementing an executable image loader as a persistent user-space program, we can extend system program loading capabi... | Program monitoring; Object/Meta-Object Server; OMOS | 1992 |
24 |
|
Gopalakrishnan, Ganesh | Dynamic reordering of high latency transactions in time-warp simulation using a modified micropipeline | Time warp based simulation of discrete-event systems is an efficient way to overcome the synchronization overhead during distributed simulation. As computations may proceed beyond synchronization barriers in time warp, multiple checkpoints of state need to be maintained to be able to rollback inva... | Asynchronous design; Micropipelines; Dynamic instruction reordering; Time warp simulations | 1992 |
25 |
|
Stringfellow, Gerald B. | Effect of oxygen incorporation in semi-insulating (AlxGa1-x)yIn1-yP | Discusses a study conducted on oxygen-doped, semi-insulating layers of (aluminum-gallium) indium phosphide grown on gallium arsenide using organometallic vapor phase epitaxy. Effect of oxygen doping on semi-insulating layers of the substance; Secondary-ion mass spectrometry measurements; Measured co... | Inactive interstitial atoms; Energy-dispersive spectoscopy; intentional oxygen | 1992 |