176 - 200 of 912
Number of results to display per page
CreatorTitleDescriptionSubjectDate
176 Pascucci, ValerioCombining in-situ and in-transit processing to enable extreme-scale scientific analysisWith the onset of extreme-scale computing, I/O constraints make it increasingly difficult for scientists to save a sufficient amount of raw simulation data to persistent storage. One potential solution is to change the data analysis pipeline from a post-process centric to a concurrent approach based...2012-01-01
177 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
178 Henderson, Thomas C.Combining symbolic and numeric computation on the CRAYIt is now widely accepted that the CRAY supercomputers are very useful for large numeric applications, e.g., Finite Element Analysis, Fluid Dynamics, Image Processing, etc. Much work has been done to make them run efficiently on the CRAY. There has also been some effort to do symbolic computing (Al ...CRAY supercomputers; Symbolic computation; Numeric computation1986
179 Balasubramonian, RajeevCommit algorithms for scalable hardware transactional memoryIn a hardware transactional memory system with lazy versioning and lazy conflict detection, the process of transaction commit can emerge as a bottleneck. For a large-scale distributed memory system, we propose novel algorithms to implement commit that are deadlock- and livelock-free and do not empl...Commit algorithms; Scalable; Hardware; Transactional memory2007
180 Gopalakrishnan, Ganesh; Kirby, Robert Michael IIThe communication semantics of the message passing interfaceThe Message Passing Interface (MPI) standard is a natural language document that describes a software library for interprocess communication. Automatic reasoning about the reactive nature of programs communicating via MPI libraries is not possible without also analizing the library being used. Ma...communication semantics; Message Passing Interface; MPI; natural language2006-10-31
181 Kessler, Robert R.Compiling distributed C++Distributed C++ (DC++) is a language for writing parallel applications on loosely coupled distributed systems in C++. Its key idea is to extend the C++ class into 3 categories: gateway classes which act as communication and synchronization entry points between abstract processors, classes whose...Distributed C++; DC++; Parallel applications1994
182 Sikorski, KrisComplexity of computing topological degree of Lipschitz functions in n dimensionsWe find lower and upper bounds on the complexity, comp(deg), of computing t h e topological degree of functions defined on the n-dimensional unit cube Cn, f : ?Cn Rn,n ? 2, which satisfy a Lipschitz condition with constant K and whose infinity norm at each point on t h e boundary of Cn is at least d...Lipschitz functions1986
183 Susarla, Sai R.; Carter, JohnComposable consistency for large-scale peer replicationThe lack of a flexible consistency management solution hinders P2P implementation of applications involving updates, such as directory services, online auctions and collaboration. Managing shared data in a P2P setting requires a consistency solution that can operate in a heterogenous network, sup...P2P2003-11-14
184 Lindstrom, Gary E.Compositionally modular SchemeWe present a new module system for Scheme that supports a high degree of implementation reuse via module composition. The module system encourages breaking down a program into the smallest possible individually meaningful modules, and recomposing them using a powerful set of adaptation and combinat...Module system1995
185 Johnson, Christopher R.; Parker, Steven G.; Whitaker, Ross T.; Hansen, Charles D.Computational field visualizationToday, scientists, engineers, and medical researchers routinely use computers to simulate complex physical phenomena. Such simulations present new challenges for computational scientists, including the need to effectively analyze and visualize complex three-dimensional data. As simulations become mo...Volume rendering; Isosurface extraction; Ray tracing; Multi-field visualizations2001
186 Henderson, Thomas C.; Sikorski, ChristopherComputational sensor networksWe propose Computational Sensor Networks as a methodology to exploit models of physical phenomena in order to better understand the structure of the sensor network. To do so, it is necessary to relate changes in the sensed variables (e.g., temperature) to the aspect of interest in the sensor netw...Computational sensor networks2007
187 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
188 Riesenfeld, Richard F.Computer aided designThe report is based on the proposal submitted to the National Science Foundation in September 1981, as part of the Coordinated Experimental Computer Science Research Program. The sections covering the budget and biographical data on the senior research personnel have not been included. Also, the sec...1984
189 Riesenfeld, Richard F.Computer aided geometric designThis book contains the edited proceedings of the first International Conference on Computer Aided Geometric Design, an important new field that draws on the principles of computer science, mathematics, and geometric design. The list of contributors includes most of the leading researchers in the...Computer aided geometric design1973
190 Gouraud, HenriComputer display of curved surfacesThis research describes a method for producing shaped pictures of curved surfaces. It uses a small polygon approximation of the surface to solve efficiently the nidden parts detection, and then computes the shading on each polygon in such a way that visual discontinuities between adjacent polygons d...Curved surfaces; Computer display1971
191 Pascucci, ValerioComputing morse-smale complexes with accurate geometryTopological techniques have proven highly successful in analyzing and visualizing scientific data. As a result, significant efforts have been made to compute structures like the Morse-Smale complex as robustly and efficiently as possible. However, the resulting algorithms, while topologically consis...2012-01-01
192 Cohen, ElaineComputing offsets and tool paths with Voronoi diagramsIn this paper we describe the use of Voronoi diagrams to generate offsets for planar regions bounded by circular arcs and line segments, and then use the generated offsets as tool paths for NC machining. Two methods are presented, each producing a different type of offset. One of them generates the ...Voronoi diagrams1989
193 Sobh, Tarek M.; Henderson, Thomas C.Concurrent engineering and robot prototypingThis report addresses the theoretical basis for building a prototyping environment for electromechanical systems using concurrent engineering approach. In Designing a robot manipulator, as an example of electro-mechanical systems, the interaction between several modules (S/W, VLSI, CAD, CAM, Robotic...Robot prototyping1993
194 Kessler, Robert R.Concurrent SchemeThis paper describes an evolution of the Scheme language to support parallelism with tight coupling of control and data. Mechanisms are presented to address the difficult and related problems of mutual exclusion and data sharing which arise in concurrent language systems. The mechanisms are tailored...Concurrent Scheme; Parallelism1990
195 Lindstrom, Gary E.CONSIM: a converstional simulation language implemented through interpretive control self-modelingThis paper describes an implementation technique termed interpretive control self-modeling (ICSM) and outlines its application in the implementation of CONSIM, a prototype conversational simulation language. ICSM may be defined as the use of a higher-level programming language (HLL) to specify its o...CONSIM; Converstional simulation language; Interpretive control self-modeling; ICSM1977
196 Lindstrom, Gary E.Consistency and currency in functional databasesWe consider a hybrid model of databases, in which a functional component T is defined as an extension to an imperative component B. T. is loosely coupled to B through a highly parallel function network N. which provides a simple failsafe test of whether an existing assignment of values to a given vi...Functional databases1982
197 Cohen, ElaineConstant scallop height tool path generationAn approach for the automatic generation of constant scallop height tool paths is presented. An example is shown generated from a B-spline model, although it can be used with many types of sculptured surfaces. The approach utilizes surface subdivision techniques and a new algorithm for tool path gen...Scallop height; Tool path generation; B-spline model1989
198 Hansen, Charles D.Constrained inverse volume rendering for planetary nebulaeDetermining the three-dimensional structure of distant astronomical objects is a challenging task, given that terrestrial observations provide only one viewpoint. For this task, bipolar planetary nebulae are interesting objects of study because of their pronounced axial symmetry due to fundamental p...Volume rendering; Axial symmetry2004
199 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
200 Bruderlin, BeatConstraint objects - integrating constraint definition and interactionThis 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 objects1992
176 - 200 of 912