1 - 25 of 24
Number of results to display per page
CreatorTitleDescriptionSubjectDate
1 Brunvand, Erik L.ACT: A DFT tool for self-timed circuitsThis paper presents a Design for Testability (DFT) tool called ACT (Asynchronous Circuit Testing) which uses a partial scan technique to make macro-module based selftimed circuits testable. The ACT tool is the first oFits kind for testing macro-module based self-timed circuits. ACT modifies design...1997
2 Davis, AlAn introduction to asynchronous circuit designThe purpose of this monograph is to provide both an introduction to field of asynchronous digital circuit design and an overview of the practical state of the art in 1997. In the early days of digital circuit design, little distinction was made between synchronous and asynchronous circuits. However,...Asynchronous circuit design1997
3 Carter, John B.Analysis of avalanche's shared memory architectureIn this paper, we describe the design of the Avalanche multiprocessor's shared memory subsystem, evaluate its performance, and discuss problems associated with using commodity workstations and network interconnects as the building blocks of a scalable shared memory multiprocessor. Compared to other ...Avalanche multiprocessor; Shared memory1997
4 Jacobson, Hans; Gopalakrishnan, GaneshApplication specific asynchronous microengines for efficient high-level controlDespite the growing interest in asynchronous circuits programmable asynchronous controllers based on the idea of microprogramming have not been actively pursued Since programmable control is widely used in many commercial ASICs to allow late correction of design errors to easily upgrade product f...Asynchronous microengines1997
5 Jacobson, HansApplication specific asynchronous microgengines for efficient high-level controlDespite the growing interest in asynchronous circuits, programmable asynchronous controllers based on the idea of microprogramming have not been actively pursued. Since programmable control is widely used in many commercial ASICs to allow late correction of design errors, to easily upgrade product ...Asynchronous microgengines; Programmable asynchronous controllers1997
6 Weinstein, DavidCache-rings for memory efficient isosurface constructionProcessor speeds continue to increase at faster rates than memory speeds. As this performance gap widens, it becomes increasingly important to develop "memory-conscious" algorithms - programs that still optimize instruction count and algorithmic complexity, but that also integrate optimizations for ...Processor speeds; Memory speeds; Computer memory; Cache-rings1997
7 Freire, JulianaCombining scheduling strategies in tabled evaluationsTabled evaluations ensure termination for Datalog programs by distinguishing calls to tabled subgoals. Given several variant subgoals in an evaluation, only the first (the generator) will use program clause resolution, the rest (consumers) must perform answer resolution using answers computed by th...SLG; SLG-WAM; Tabling; Local scheduling; Batched scheduling1997
8 Parker, Steven G.; Hansen, Charles D.; Johnson, Christopher R.Computational steering and the SCIRun integrated problem solving environmentSCIRun is a problem solving environment that allows the interactive construction, debugging, and steering of large-scale scientific computations. We review related systems and introduce a taxonomy that explores different computational steering solutions. Considering these approaches, we discuss why ...Computational steering; Problem solving environment; SCIRun; Volume rendering1997
9 Riloff, Ellen M.Corpus-based approach for building semantic lexiconsSemantic knowledge can be a great asset to natural language processing systems, but it is usually hand-coded for each application. Although some semantic information is available in general-purpose knowledge bases such as Word Net and Cyc, many applications require domain-specific lexicons that repr...Corpus-based method; Semantic lexicons1997
10 Brunvand, Erik L.Critical hazard free test generation for asynchronous circuitsWe describe a technique to generate critical hazard-free tests for self-timed control circuits build using a macromodule library, in a partial scan based DFT environment. We propose a 6 valued algebra to generate these tests which are guaranteed to be critical hazard free under an unbounded delay m...1997
11 Gopalakrishnan, GaneshDeriving efficient cache coherence protocols through refinementWe address the problem of developing efficient cache coherence protocols for use in distributed systems implementing distributed shared memory (DSM) using message passing. A serious drawback of traditional approaches to this problem is that the users are required to state the desired coherence prot...Cache coherence protocols; DSM; Message passing1997
12 Henderson, Thomas C.Instrumented sensor system - practiceIn previous work, we introduced the notion of Instrumented Logical Sensor Systems (ILSS) that are derived from a modeling and design methodology [4, 2]. The instrumented sensor approach is based on a sensori-computational model which defines the components of the sensor system in terms of their func...Instrumented Logical Sensor Systems; ILSS1997
13 Henderson, Thomas C.Instrumented sensor system architectureSensor systems are becoming ubiquitous throughout society, yet their design, construction and operation is still more of an art than a science. In this paper, we define, develop, and apply a formal semantics for sensor systems that provides a theoretical framework for an integrated software architec...Instrumented sensor system; Instrumented Logical Sensor Systems; ILSS1997
14 Henderson, Thomas C.Instrumented sensor system architectureSensor systems are becoming ubiquitous throughout society, yet their design, construction and operation are still more of an art than a science. In this paper, we define, develop, and apply a formal semantics for sensor systems that provides a theoretical framework for an integrated software archite...Instrumented sensor system; Instrumented Logical Sensor Systems; ILSS1997
15 Lindstrom, Gary E.Migrating relational data to an OODB: strategies and lessions from a molecular biology experienceThe growing maturity of OODB technology is causing many enterprises to consider migrating relational databases to OODBs. While data remapping is relatively straightforward, greater challenges lie in economically and non-invasively adapting legacy application software. We report on a genetics labora...OODB; Relational data; Data migration1997
16 Cohen, ElaineMinimum distance queries for polygonal and parametric modelsCalculation of the minimum distance to a geometric object or the minimum separation between objects is a fundamental problem that has application in a variety of arenas. Minimum separation queries for sculptured surfaces are believed particularly difficult, yet are increasingly important as modeli...Minimum separation; Minimum distance; Virtual prototyping1997
17 Brunvand, Erik L.Practical advances in asynchronous designRecent practical advances in asynchronous circuit and system design have resulted in renewed interest by circuit designers. Asynchronous systems are being viewed as in increasingly viable alternative to globally synchronous system organization. This tutorial will present the current state of the art...1997
18 Jacobson, HansRealizing burstmode circuits via STG speed independent synthesisThis report discusses the similarities and differences of STG and Burstmode specifications and synthesis methods. The first part of the report examines the applicability and efficiency of STG's single controller fork-join concurrency ability versus Burstmode's partitioned fork-join concurrency appr...Burstmode circuits; STG1997
19 Lindstrom, Gary E.The schema coercion problemOver the past decade, the ability to incorporate data from a wide variety of sources has become increasingly important to database users. To meet this need, significant effort has been expended in automatic database schema manipulation. However, to date this effort has focused on two aspects of this...Schema coercion; Database schema manipulation; Schema integration1997
20 Soares, Marshall A.SOAR user's manualAbstract: The development of simulation and test stimulus and checking of circuits with that stimulus is the source or many circuit bugs. The SOAR conversion package is a C library that generates the stimuli for gate-level simulation, circuit simulation and integrated circuit test The conversion pa...SOAR; Conversion package; C library; Simulation1997
21 Beazley, David. M.SWIG users manual (version 1.1)SWIG is a tool for solving problems. More specifically, SWIG is a simple tool for building interactive C, C++, or Objective-C programs with common scripting languages such as Tel, Perl, and Python. Of course, more importantly, SWIG is a tool for making C programming more enjoyable and promoting lazi...SWIG; C programs; C++ programs; Objective-C programs; User manual; Interactive programs1997
22 Freire, JulianaTaking I/O seriously: resolution reconsidered for diskModern compilation techniques can give Prolog programs, in the best cases, a speed comparable to C. However, Prolog has proven to be unacceptable for data-oriented queries for two major reasons: its poor termination and complexity properties for Datalog, and its tuple-at-a-time strategy. A number of...Tabling; SLG-WAM; Prolog; XSB; Datalog1997
23 Henderson, Thomas C.Visual target based wall pose estimationWe compare vision and sonar techniques for the recovery of wall pose. A vision algorithm is developed which is based on known target geometry, and a sonar technique based on a wedge model is described.wall pose; vision algorithm; wedge model1997
24 Kessler, Robert R.Visual threads: the benefits of multithreading in visual programming languagesAfter working with the CWave visual programming language, we discovered that many of our target domains required the ability to define parallel computations within a program. CWave has a strongly hierarchical model of computation, so it seemed like adding the ability to take a part of the hierarchy ...Visual threads; multithreading; CWave1997
1 - 25 of 24