|
|
Creator | Title | Description | Subject | Date |
| 1 |
 |
Hoogenboom, Peter J. | System performance advisor user guide | The usage of the System Performance Advisor (SPA) expert system is described. Documentation of SPA system commands, system variables, diagnostic rules is given. Information on how to run the SPA system is discussed. In addition, an overview of how SPA searches for problems is supplied. The purpose o... | System Performance Advisor; SPA; User guide | 1991 |
| 2 |
 |
Awasthi, Manu; Nellans, David W.; Sudan, Kshitij; Balasubramonian, Rajeev | ABP : predictor based management of DRAM row buffers | DRAM accesses are costly, especially in multicore systems. Future CMPs will run a mixed load of workloads/threads. Destructive interference at memory controller, spatio-temporal locality lost! DRAM row-buffer hits are least expensive, row-conflicts are most. Randomized memory access patterns re... | | 2010-10-06 |
| 3 |
 |
Freire, Juliana; Silva, Claudio T. | Provenance for visualizations: reproducibility and beyond | The demand for the construction of complex visualizations is growing in many disciplines of science, as users are faced with ever increasing volumes of data to analyze. The authors present VisTrails, an open source provenance-management system that provides infrastructure for data exploration and ... | Provenance management; Reproducibility; VisTrails; Pipelines | 2007-09 |
| 4 |
 |
Freire, Juliana | Introducing the VisTrails Provenance Explorer Plugin for ParaView | In order to analyze and validate various hypotheses, it is necessary to create insightful visualizations of both the simulated processes and observed phenomena, using powerful data analysis and visualization tools like ParaView. But to explore data through visualization, scientists need to go thro... | VisTrails; Provenance; ParaView | 2009 |
| 5 |
 |
Freire, Juliana; Silva, Claudio T. | Managing the evolution of dataflows with VisTrails | Scientists are now faced with an incredible volume of data to analyze. To successfully analyze and validate various hypotheses, it is necessary to pose several queries, correlate disparate data, and create insightful visualizations of both the simulated processes and observed phenomena. Data explor... | VisTrails; Dataflows; Provenance management | 2006 |
| 6 |
 |
Hansen, Charles D. | Knowledge-based out-of-core algorithms for data management in visualization | Data management is the very first issue in handling very large datasets. Many existing out-of-core algorithms used in visualization are closely coupled with application-specific logic. This paper presents two knowledgebased out-of-core prefetching algorithms that do not use hard-coded rendering-re... | | 2006 |
| 7 |
 |
Gopalakrishnan, Ganesh | A general compositional approach to verifying hierarchical cache coherence protocols | Modern chip multiprocessor (CMP) cache coherence protocols are extremely complex and error prone to design. Modern symbolic methods are unable to provide much leverage for this class of examples. In [1], we presented a method to verify hierarchical and inclusive versions of these protocols using ... | Hierarchical cache coherence protocols; Verification | 2006-11-26 |
| 8 |
 |
Fujimoto, Richard M.; Gopalakrishnan, Ganesh | Design and evaluation of the rollback chip: special purpose hardware for time warp | The Time Warp mechanism offers an elegant approach to attacking difficult clock synchronization problems that arise in applications such as parallel discrete event simulation. However, because Time Warp relies on a lookahead and rollback mechanism to achieve widespread exploitation of parallelism, t... | Rollback chip; Time Warp mechanism; Clock synchronization; Parallel discrete event simulation | 1988 |
| 9 |
 |
Henderson, Thomas C. | UPE: Utah prototyping environment for robot manipulators | Developing an environment that enables optimal and flexible design of robot manipulators using reconfigurable links, joints, actuators, and sensors is an essential step for efficient robot design and prototyping. Such an environment should have the right "mix" of software and hardware components fo... | prototyping environment; robot manipulators | 1994 |
| 10 |
 |
Freire, Juliana; Silva, Claudio T. | VisTrails: enabling interactive multiple-view visualizations | VisTrails is a new system that enables interactive multiple-view visualizations by simplifying the creation and maintenance of visualization pipelines, and by optimizing their execution. It provides a general infrastructure that can be combined with existing visualization systems and libraries. A ke... | VisTrails; Dataflows; Pipelines; Provenance management; Interrogative visualization; Caching; Coordinated views | 2005 |
| 11 |
 |
Freire, Juliana; Silva, Claudio T. | Towards enabling social analysis of scientific data | Flickr, Facebook, Yahoo! Pipes), which facilitate collaboration and sharing between users, are becoming increasingly popular. An important benefit of these sites is that they enable users to leverage the wisdom of the crowds. For example, in Flickr, users, in a mass collaboration approach, tag ... | Social data analysis; Scientific data; Workflows; Provenance; Pipelines; VisTrails | 2008 |
| 12 |
 |
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 |
| 13 |
 |
Sobh, Tarek M.; Henderson, Thomas C. | Robotic prototyping environment (Progress report) | Prototyping is an important activity in engineering. Prototype development is a good test for checking the viability of a proposed system. Prototypes can also help in determining system parameters, ranges, or in designing better systems. The interaction between several modules (e.g., S/W, VLSI, CAD,... | Prototyping; Prototyping environment; Robotic prototyping | 1994 |
| 14 |
 |
Freire, Juliana | Integrated scientific workflow management for the Emulab network testbed | The main forces that shaped current network testbeds were the needs for realism and scale. Now that several testbeds support large and complex experiments, management of experimentation processes and results has become more difficult and a barrier to high-quality systems research. The popularity o... | Workflow management; Data exploration; Emulab; Network testbeds | 2006 |
| 15 |
 |
Lindstrom, Gary E. | Modules as values in a persistent object store | We report on an object manager (OM) providing persistent implementations for C ++ classes. Our OM generalizes this problem to that of managing persistent modules, where the module concept is an abstract data type (ADT). This approach permits a powerful suite of module manipulation operations to be ... | Object manager; OM; Persistent object store | 1993 |
| 16 |
 |
Logan, Nelson Stanley | Master schedule building and the flexibly scheduled school | This paper contains a model of a technique for increasing the quality of educational and instructional opportunity for all students. This model is developed around the flexible or modularly scheduled secondary school. Also included is a procedure containing a computer program, with which the adminis... | Flexible scheduling; Flexibly scheduled school; Modularly scheduled school | 1970 |
| 17 |
 |
Sobh, Tarek M.; Henderson, Thomas C. | Prototyping environment for robot manipulators | Developing an environment that enables optimal and flexible design of robot manipulators using reconfigurable links, joints, actuators, and sensors is an essential step for efficient robot design and prototyping. Such an environment should have the right "mix" of software and hardware components for... | Prototyping; Robot manipulators | 1994 |
| 18 |
 |
Freire, Juliana; Silva, Claudio T. | Querying and creating visualizations by analogy | While there have been advances in visualization systems, particularly in multi-view visualizations and visual exploration, the process of building visualizations remains a major bottleneck in data exploration. We show that provenance metadata collected during the creation of pipelines can be reused ... | Provenance; VisTrails; Pipelines; Query-by-example | 2007-11 |
| 19 |
 |
Gopalakrishnan, Ganesh | Design and verification of the rollback chip using HOP: a case study of formal methods applied to hardware design | The use of formal methods in hardware design improves the quality of designs in many ways: it promotes better understanding of the design; it permits systematic design refinement through the discovery of invariants; and it allows design verification (informal or formal). In this paper we illustrate ... | Rollback chip; Verification; HOP; Hardware design; RBC | 1990 |
| 20 |
 |
Freire, Juliana | Provenance in scientific workflow systems | The automated tracking and storage of provenance information promises to be a major advantage of scientific workflow systems. We discuss issues related to data and workflow provenance, and present techniques for focusing user attention on meaningful provenance through "user views," for managing the ... | Workflow systems; Provenance | 2007 |
| 21 |
 |
Freire, Juliana; Silva, Claudio T. | Scientific exploration in the era of ocean observatories | Society's critical and urgent need to better understand the world's oceans is amply documented and has led to a unique convergence of operational and scientific interests in the US, organized around the concept of ocean observatories: cyber-facilitated integrations of observations, simulations, a... | Ocean observatories; Provenance | 2008-05 |
| 22 |
 |
Davis, A.L. | Dataflow computers: a tutorial and survey | The demand for very high performance computer has encouraged some researchers in the computer science field to consider alternatives to the conventional notions of program and computer organization. The dataflow computer is one attempt to form a new collection of consistent systems ideas to improve ... | Dataflow computers | 1980 |
| 23 |
 |
Organick, Elliott I. | Semiannual technical report transformation of ADA programs into silicon (1 Sept. 1981- 28 Feb. 1982) | This report summarizes the first six months work of the research project, "Transformation of Ada Programs into Silicon." Our project has five main objectives: 1. Develop and document elements of a transformation methodology for converting Ada programs, or program constructs, into VLSI systems which ... | ADA programs; VLSI | 1982 |
| 24 |
 |
Kasera, Sneha K. | Energy efficient radio tomographic imaging | In this paper, our goal is to develop approaches to reduce the energy consumption in Radio Tomographic Imaging (RTI)-based methods for device free localization without giving up localization accuracy. Our key idea is to only measure those links that are near the current location of the moving object... | | 2014-01-01 |
| 25 |
 |
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 |
