226 - 250 of 989
Number of results to display per page
226 Bruderlin, BeatDI - An object-oriented user interface toolbox for modula-2 applicationsThe DI dialog interface tool library for Modula-2 applications described in this paper facilitates the design and implementation of graphical, object-oriented user interfaces for workstations with a graphical screen, a mouse and a keyboard. Much emphasis is put on the portability of the application...DI dialog interface tool1990
227 Hansen, Charles D.Scout: a hardware-accelerated system for quantitatively driven visualization and analysisQuantitative techniques for visualization are critical to the successful analysis of both acquired and simulated scientific data. Many visualization techniques rely on indirect mappings, such as transfer functions, to produce the final imagery. In many situations, it is preferable and more powerful ...Visualization systems; Hardware acceleration; Volume rendering; Multivariate visualization2004
228 Brunvand, Erik L.Peephole optimization of asynchronous macromodule networksMost high level synthesis tools for asynchronous circuits take descriptions in concurrent hardware description languages and generate networks of macromodules or handshake components. In this paper we describe a peephole optimizer for such macromodule networks that often effects area and/or time im...1994
229 Hansen, Charles D.Fast data parallel polygon renderingThis paper describes a data parallel method for polygon rendering on a massively parallel machine. This method, based on a simple shading model, is targeted for applications which require very fast rendering for extremely large sets of polygons. Such sets are found in many scienti c visualization ap...1993
230 Henderson, Thomas C.Performance of arc consistency algorithms on the CRAYThe consistent labeling problem arises in high level computer vision when assigning semantic meaning to the regions of a n image. One of the drawbacks of this method is that it is rather slow. By using the consistency tests, node, arc and path consistency [9], the search space is drastically reduced...Arc consistency algorithms; CRAY supercomputer; Consistent labeling problem1987
231 Lindstrom, Gary E.Object-oriented programming in scheme with first-class modules and operator-based inheritanceWe characterize object-oriented programming as structuring and manipulating a uniform space of first-class values representing modules, a distillation of the notion of classes. Operators over modules individually achieve effects such as encapsulation, sharing, and static binding. A variety of idioms...First-class modules; Operator-based inheritance1995
232 Weinstein, DavidHierarchical data structures for interactive volume visualizationIn order to interactively investigate large-scale 3D data sets, we propose an improved hierarchical data structure for structured grids and an original hierarchical d a t a structure for unstructured grids. These multi-tiered implementations allow the user to interactively control both the local and...Hierarchical data structures; Volume visualization; 3D data sets1995
233 Brunvand, Erik L.Peephole optimization of asynchronous macromodule networksAbstract- Most high-level synthesis tools for asynchronous circuits take descriptions in concurrent hardware description languages and generate networks of macromodules or handshake components. In this paper, we propose a peephole optimizer for these networks. Our peephole optimizer first deduces an...1999
234 Orr, Douglas B.Dynamic program monitoring and transformation using the OMOS object serverIn 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; OMOS1992
235 Yang, Yue; Gopalakrishnan, Ganesh; Lindstrom, Gary E.; Slind, Konrad LeeNemos: a framework for axiomatic and executable specifications of memory consistency modelsConforming to the underlying memory consistency rules is a fundamental require- ment for implementing shared memory systems and writing multiprocessor programs. In order to promote understanding and enable automated verification, it is highly desir- able that a memory model specification be both ...Nemos; Shared memory systems2003
236 Riesenfeld, Richard F.The application of total positivity to computer aided curve and surface designOf particular importance in an interactive curve and surface design system is the interface to the user. The mathematical model employed in the system must be sufficiently flexible for interaction between designer and machine to converge to a satisfactory result. The mathematical theory of Total Pos...interactive curves; total positivity1979
237 Orr, Douglas B.Program specialization using the OMOS systemAbstraction and modularity provide many software engineering benefits. Hiding details of module internals can, however, prevent system implementors from being able to provide anything but a highly general implementation of a given module. We describe OMOS, a programmable linker/loader and system s...OMOS system; Program specialization; Modularity; Linker/loader; Modules1995
238 Akella, VenkateshCFSIM: A concurrent compiled-code functional simulator for hopCPControl 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; hopCP1992
239 Lee, Hyo JongImplementation and characteristics of rule-based system for the finite element analysisIt it well known that the analysis of process for the finite element method is tedious and errorprone steps. Considering the importance of the task of engineering analyses, such as structural analysis, heat transfer, fluid flow simulation, and electromagnetic potential, many researchers have tried t...finite element analysis; Rule-based system1989
240 Zhang, LixinA comparison of online superpage promotion mechanismsThe amount of data that a typical translation lookaside buffer (TLB) can map has not kept pace with the growth in cache sizes and application footprints. As a result, the cost of handling TLB misses limits the performance of an increasing number of applications. The use of superpages, multiple adjac...Superpages; Translation lookaside buffer; TLB1999
241 Gopalakrishnan, GaneshA transformational approach to asynchronous high-level synthesisAsynchronous high-level synthesis is aimed at transforming high level descriptions of algorithms into efficient asynchronous circuit implementations. This approach is attractive from the point of view of the flexibility it affords in performing high level program transformations on users' initial d...High level synthesis tool; SHILPA1993
242 Nelson, DonaldConstraint Jacobians for constant-time inverse kinematics and assembly optimizationAn algorithm for the constant-time solution of systems of geometric constraint equations is presented in this work. constraint equations and their Jacobians may be used in conjunction with other numerical methods to solve for a variety of kinematics, dynamics, and assembly optimization problems. The...Constant-time; Inverse kinematics; Constraint Jacobians1998
243 Riloff, Ellen M.Corpus-based identification of non-anaphoric noun phrasesCoreference resolution involves finding antecedents for anaphoric discourse entities, such as definite noun phrases. But many definite noun phrases are not anaphoric because their meaning can be understood from general world knowledge (e.g., "the White House" or "the news media"). We have develope...Corpus-based identification; Non-anaphoric noun phrases; Coreference resolution; MUC-4; Discourse entity; DE1999
244 Riloff, Ellen M.Rule-based question answering system for reading comprehension testsWe have developed a rule-based system, Quarc, that can read a short story and find the sentence in the story that best answers a given question. Quarc uses heuristic rules that look for lexical and semantic clues in the question and the story. We have tested Quarc on reading comprehension tests typi...Quarc; Reading comprehension2000
245 Stoller, Leigh B.Direct deposit: a basic user-level protocol for carpet clusters?This note describes the Direct Deposit Protocol (DDP), a simple protocol for multicomputing on a carpet cluster. This protocol is an example of a user-level protocol to be layered on top of the low-level, sender-based protocols for the Protocol Processing Engine. The protocol will be described in te...Direct Deposit Protocol; DDP; Carpet clusters; Multicomputing; User-level protocol1995
246 Cotter, Neil E.Generality Vs. speed of convergence in the cart-pole balancerThis paper compares the speed of convergence to an optimal solution of four controllers for the problem of balancing a pole on a cart. We demonstrate that controllers whose design is tailored specifically to the cart-pole problem (i.e. less general) converge more rapidly to an optimal solution. How...Cart-pole balancer; Generality; Speed of convergence1991
247 Smits, BrianGlobal illumination test scenesThe global illumination community has discussed having a database of scenes that could be used to compare and validate different global illumination algorithms. We present a set of test scenes for global illumination algorithms and propose that they be the beginning of such a database. These scenes ...Global illumination2000
248 Gopalakrishnan, GaneshCase studies in symbolic model checkingThe need to formally verify hardware and software systems before they are deployed the real world has been recognized for several decades now. This is especially true of concurrent systems that are even more difficult to debug than sequential systems. For example, many of the protocols that get emp...Symbolic model checking; Hardware verification; Software verification1994
249 Cohen, ElaineAutomatic sculptured five-axis milling with check surfacesAn approach to 5-axis milling of B-spline surfaces is presented. Within its domain, it provides better check surface handling than APT. The scheme for tool position generation is based on a B-spline curve refinement method and a set of criteria for tolerance control which allows the tool positions ...B-spline surfaces; 5-axis milling; Tool paths1989
250 Boll, Steven F.Suppression of acoustic noise in speech using spectral subtractionA stand alone noise suppression algorithm is presented for reducing the spectral effects of acoustically added noise in speech. Effective performance of digital speech processors operating in practical environments may require suppression of noise from the digital waveform. Spectral subtraction offe...Suppression; acoustic noise; noise suppression algorithm; digital speech processors; Spectral subtraction1979
226 - 250 of 989