|
|
Creator | Title | Description | Subject | Date |
376 |
|
Neff, Rick | Versatile interaction specification of tools and agents | Vista is a software infrastructure addressing the vexing problem of software tool interaction?especially how to get egocentric tools to work well together. Vista neither assumes nor requires that tools or tool-mediating agents understand a cooperative messaging protocol, only that they share some c... | Vista; software infrastructure; software tool interaction | 1994 |
377 |
|
Sobh, Tarek M. | A graphical environment and applications for discrete event and hybrid systems in robotics and automation | In this paper we present an overview for the development of a graphical environment for simulating, analyzing, synthesizing, monitoring, and controlling complex discrete event and hybrid systems within the robotics, automation, and intelligent system domain. We start by presenting an overview of di... | Intelligent system domain; Graphical environment | 1994 |
378 |
|
Freire, Juliana; Silva, Claudio T. | VisMashup: streamlining the creation of custom visualization applications | Visualization is essential for understanding the increasing volumes of digital data. However, the process required to create insightful visualizations is involved and time consuming. Although several visualization tools are available, including tools with sophisticated visual interfaces, they are o... | VisMashup; Dataflow; Visualization systems; Mashups; Medleys | 2009-11 |
379 |
|
Gopalakrishnan, Ganesh | Bounded transaction model checking | Industrial cache coherence protocol models often have too many reachable states, preventing full reachability analysis even for small model instances (number of processors, addresses, etc.). Several partial search debugging methods are, therefore, employed, including lossy state compression using... | Model checking; Reachability analysis | 2006-02-27 |
380 |
|
Riesenfeld, Richard F.; Smith, Kent F. | An experimental system for computer aided geometric design | The main goal of this proposed level-of-effort project is to extend present capabilities in the area of Computer Aided Geometric Design (CAGD) and to develop custom VLSI support for some special geometric functions. | Computer aided geometric design; CAGD; VLSI; Very large scale integration | 1984 |
381 |
|
Gopalakrishnan, Ganesh | A partial order reduction algorithm without the Proviso | This paper presents a partial order reduction algorithm, called Two phase, that preserves stutter free LTL properties. Two phase dramatically reduces the number of states visited compared to previous partial order reduction algorithms on most practical protocols. The reason can be traced to a step o... | Order reduction algorithm; Proviso step | 1998 |
382 |
|
Freire, Juliana; Silva, Claudio T. | Simplifying the design of workflows for large-scale data exploration and visualization | Workflows and Computational Processes. Workflows are emerging as a paradigm for representing and managing complex computations - Simulations, data analysis, visualization, data integration. | | 2008 |
383 |
|
Kessler, Robert R. | Visual threads: the benefits of multithreading in visual programming languages | After 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; CWave | 1997 |
384 |
|
Gopalakrishnan, Ganesh | Performance studies of PV: an On-the-fly model-checker for LTL-X featuring selective caching and partial order reduction | We present an enumerative model-checker PV that uses a new partial order reduction algorithm called Twophase. This algorithm does not use the in-stack check to implement the proviso, making the combination of Twophase with on-the-fly LTL-X model-checking based on nested depth-first search, as well a... | Model-checker; PV; Performance; On-the-fly; Partial order reduction algorithm;' Twophase | 2001 |
385 |
|
Bhanu, Bir | CAOS an approach to robot control | Control systems which enable robots to behave intelligently is a major issue in todays process of automating factories. This thesis presents a hierarchical robot control system, a programming language for goal achievement, termed CAOS for Control using Action Oriented Schemata, with ideas taken fro... | Robot control system; CAOS; Control using Action Oriented Schemata | 1987 |
386 |
|
Gooch, Bruce; Reinhard, Erik | Perception-driven black-and-white drawings and caricatures | In this paper, we present a method for automatically creating black-and-white drawings of human faces from photographs. We then demonstrate new techniques for deforming these drawings to create caricatures intended to highlight and exaggerate facial features. A number of psychophysical studies we... | Caricatures; Human faces | 2002-01-22 |
387 |
|
Hansen, Charles D. | Volume Ray casting with peak finding and differential sampling | Direct volume rendering and isosurfacing are ubiquitous rendering techniques in scientific visualization, commonly employed in imaging 3D data from simulation and scan sources. Conventionally, these methods have been treated as separate modalities, necessitating different sampling strategies and ren... | | 2009-11 |
388 |
|
Parker, Steven G.; Hansen, Charles D.; Johnson, Christopher R. | Computational steering and the SCIRun integrated problem solving environment | SCIRun 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 rendering | 1997 |
389 |
|
Keller, Robert M. | Semantics of networks containing indeterminate operators | We discuss a denotational semantics for networks containing indeterminate operators. Our approach is based on modelling a networks by the set of all its possible behaviors. Our notion of behavior is a sequence of computational actions. The primitive computational action is an event: the appearance o... | | 1984 |
390 |
|
Kirby, Robert Michael II | On the use of adjoint-based sensitivity estimates to control local mesh refinement | The goal of efficient and robust error control, through local mesh adaptation in the computational solution of partial differential equations, is predicated on the ability to identify in an a posteriori way those localized regions whose refinement will lead to the most significant reductions in the ... | Sensitivity; Adaptivity; Error estimation; hp-finite elements; Discrete adjoint; Mesh refinement | 2009 |
391 |
|
Brown, Bruce Eric | Modeling of solids for three-dimensional finite element analysis | The geometric modeling of solid objects is a major problem within the design analysis loop of the engineering design process. Models are analyzed by various computer programs to predict their performance. The format of each model is usually different for each analysis routine. The existence of sev... | Geometric modeling; Solid objects; Finite element analysis | 1977 |
392 |
|
Keller, Robert M. | Semantics of parallel program graphs | A denotational model for networks of parallel processes is presented which generalizes the work of Kahn by using alternative data types, e.g. Lisp-like operators on trees. It is shown that the ordering aspect of data types plays a central role in determining how much parallelism can be present. It i... | Parallel program graphs; Computer semantics; Denotational model | 1977 |
393 |
|
Lindstrom, Gary E. | Modular language processors as framework completions | The conceptual and specificational power of denotational semantics for programming language design has been amply demonstrated. We report here on a language implementation method that is similarly semantically motivated, but is based upon object-oriented design principles, and results in flexible an... | Modular language processors; Denotational semantics; Framework completions | 1993 |
394 |
|
Henderson, Thomas C.; Sikorski, Christopher | Symmetry: a basis for sensorimotor reconstruction | Given a set of unknown sensors and actuators, sensorimotor reconstruction is achieved by exploiting relations between the sensor data and the actuator control data to determine sets of similar sensors, sets of similar actuators, necessary relations between them, as well as sensorimotor relations ... | sensorimotor reconstruction; sensor data; actuator control data | 2011 |
395 |
|
Brunvand, Erik L. | Self-timed circuits using DCVSL semi-bundled delay wrappers | We present a technique for generating robust self-timed completion signals for general dynamic datapath circuits. The wrapper circuit is based on our previous domino semi-bundled delay (SBD) circuits, but uses DCVSL circuits in the wrapper for higher performance. We describe the basic SBD-DCVSL... | | 2005 |
396 |
|
Lindstrom, Gary E. | Toward function-based distributed database systems | We discuss the suitability of a function-based (or "applicative") approach to the construction of distributed database systems. Certain aspects of applicative systems are immediatley appealing for this purpose (e.g. data oriented toward conceptual objects rather than toward particular representation... | Function-based; distributed database systems; applicative | 1982 |
397 |
|
Carter, John B. | Design of a parallel vector access unit for SDRAM memory systems | Parallel Vector Access is a technique that exploits the regularity of vector or stream accesses to perform them efficiently in parallel on a multi-bank memory system. The performance of applications that have vector accesses may be improved using a memory controller that performs scatter/gather oper... | Parallel vector access; SDRAM memory; Multi-bank memory system | 1999 |
398 |
|
Gopalakrishnan, Ganesh | Some recent asynchronous system design methodologies | We present an in-depth study of some techniques for asynchronous system design, analysis, and verification. After defining basic terminology, we take one simple example - a four-phase t o two-phase converter - and present its design using (a) classical flow-tables; (b) Signal Transition Graphs of [... | Asynchronous system design | 1990 |
399 |
|
Balasubramonian, Rajeev | Dynamically managing the communication-parallelism trade-off in future clustered processors | Clustered microarchitectures are an attractive alternative to large monolithic superscalar designs due to their potential for higher clock rates in the face of increasingly wire-delay-constrained process technologies. As increasing transistor counts allow an increase in the number of clusters, th... | Clustered architectures; Microarchitecture; Decentralized cache; Interconnects | 2003 |
400 |
|
Henderson, Thomas C. | Agent-based engineering drawing analysis | Interpretation of paper drawings has received a good deal of attention over the last decade. Related areas such as direct interpretation of human drawings (HCI), search and indexing of graphics databases, and knowledge representation in the domain of graphics and drawing understanding have also s... | Interpretation; Human drawings; HCI; Graphic databases | 2002-02-04 |