|
|
Creator | Title | Description | Subject | Date |
201 |
|
Fujimoto, Richard M. | The roll back chip: hardware support for distributed simulation using time warp | Distributed simulation offers an attractive means of meeting the high computational demands of discrete event simulation programs. The Time Warp mechanism has been proposed to ensure correct sequencing of events in distributed simulation programs without blocking processes unnecessarily. However, th... | Roll back chip; Distributed simulation; Discrete event; Simulation programs; Time Warp mechanism | 1987 |
202 |
|
Hibler, Michael J. | Using annotated interface definitions to optimize RPC | In RPC-based communication, it is useful to distinguish the RPC interface, which is the "network contract" between the client and the server, from the presentation, which is the "programmer's contract" between the RPC stubs and the code that calls or is called by them. Presentation is usually a fixe... | annotated interface definitions; RPC-based communication | 1995 |
203 |
|
Freire, Juliana; Silva, Claudio T. | VisComplete: automating suggestions for visualization pipelines | Building visualization and analysis pipelines is a large hurdle in the adoption of visualization and workflow systems by domain scientists. In this paper, we propose techniques to help users construct pipelines by consensus-automatically suggesting completions based on a database of previously creat... | VisComplete; Workflows; Auto completion; Visualization pipelines | 2008-11 |
204 |
|
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 |
205 |
|
Lindstrom, Gary E. | ETYMA: a framework for modular systems | Modularity, i.e. support for the flexible construction, adaptation, and combination of units of software, is an important goal in many systems. In most cases, however, systems achieve only a few aspects of modularity. The problem can be traced to the inflexibility, or the limited view of modularity ... | ETYMA; Modularity; Modular systems | 1994 |
206 |
|
Pascucci, Valerio | Exploring power behaviors and trade-offs of in-situ data analytics | As scientific applications target exascale, challenges related to data and energy are becoming dominating concerns. For example, coupled simulation workflows are increasingly adopting in-situ data processing and analysis techniques to address costs and overheads due to data movement and I/O. However... | | 2013-01-01 |
207 |
|
Evans, David | Graphical man/machine communications: December 1972 | The object of the graphical man/machine communication effort is the development of computers and computing techniques the people may use interactively in real time to extend their problem-solving capability, and to work cooperatively by means of improved communications via computer. This report summ... | Waveform processing; Symbolic computation; Man/machine communications | 1972-12 |
208 |
|
Balasubramonian, Rajeev | Memory hierarchy reconfiguration for energy and performance in general-purpose processor architectures | Conventional microarchitectures choose a single memory hierarchy design point targeted at the average application. In this paper we propose a cache and TLB layout and design that leverages repeater insertion to provide dynamic low-cost configurability trading of size and speed on a per application ... | Translation lookaside buffer (TLB) | 2000 |
209 |
|
Carter, John B. | MP-LOCKs: Replacing hardware synchronization primitives with message passing | Shared memory programs guarantee the correctness of concurrent accesses to shared data using interprocessor synchronization operations. The most common synchronization operators are locks, which are traditionally implemented in user-level libraries via a mix of shared memory accesses and hardware sy... | MP-LOCKs; Message passing; Shared memory programs; Synchronization operators; Synchronization primitives | 2011-05 |
210 |
|
Balasubramonian, Rajeev | Power efficient resource scaling in partitioned architectures through dynamic heterogeneity | The ever increasing demand for high clock speeds and the desire to exploit abundant transistor budgets have resulted in alarming increases in processor power dissipation. Partitioned (or clustered) architectures have been proposed in recent years to address scalability concerns in future billion-tr... | Partitioned architectures; Clustered architectures; Energy × Delay2, Temperature; Dynamic frequency scaling; Thermal emergency | 2006 |
211 |
|
Lobell, Steven E. | Preventive military strike or preventive war? the fungibilty of power resources | Differential rates of growth explanations for preventive war assume that power resources are highly fungible. That is, they assume that a state's power resources are easily and quickly ‘moveable' into practical military capability. This ‘unidimensional and undifferentiated' baseline obscures an ... | Neoclassical realism; preventive war; preventive strikes; fungibility power; resources aggregate; power realism; osiraq israel syria | 2021 |
212 |
|
Regehr, John | Scheduling Tasks with mixed preemption relations for robustness to timing faults | This paper introduces and shows how to schedule two novel scheduling abstractions that overcome limitations of existing work on preemption threshold scheduling. The abstractions are task clusters, groups of tasks that are mutually non-preemptible by design, and task barriers, which partition the tas... | | 2002-01-01 |
213 |
|
Carter, John B. | A comparison of software and hardware synchronization mechanisms for distributed shared memory multiprocessors | Efficient synchronization is an essential component of parallel computing. The designers of traditional multiprocessors have included hardware support only for simple operations such as compare-and-swap and load-linked/store-conditional, while high level synchronization primitives such as locks, bar... | Hardware locks | 1996 |
214 |
|
Sobh, Tarek M. | A general review, graphical environment, and applications for discrete event and hybrid systems in Robotics and Automation | | | 1994 |
215 |
|
Johnson, Christopher R. | Construction of a human torso model from magnetic resonance images for problems in computational electrocardiography | Applying mathematical models to real situations often requires the use of discrete geometrical models of the solution domain. In some cases destructive measurement of the objects under examination is acceptable, but in biomedical applications the measurements come from imaging techniques such as X-r... | Human torso model; MRI | 1994 |
216 |
|
Hall, Thad | Controlling democracy: the principal-agent problems in election administration | Election reform has become a major issue since the 2000 election, but little consideration has been given to the issues associated with managing them. In this article, we use principal agent theory to examine the problems associated with Election Day polling place voting. We note that Election Day v... | Election reform; Public management; Principal-Agent Theory | 2006-07-20 |
217 |
|
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 |
218 |
|
Carter, John B. | Evaluating the potential of programmable multiprocessor cache controllers | The next generation of scalable parallel systems (e.g., machines by KSR, Convex, and others) will have shared memory supported in hardware, unlike most current generation machines (e.g., offerings by Intel, nCube, and Thinking Machines). However, current shared memory architectures are constrained b... | Programmable multiprocessor cache controllers; Scalable parallel systems; Shared memory | 1994 |
219 |
|
Evans, David | Graphical man/machine communications: December 1971 | Semi-Annual Technical Report for period 1 June 1971 to 31 December 1971. This document includes a summary of research activities and facilities at the University of Utah under Contract F30602-70-C-0300. Information conveys important research milestones attained during this period by each of the f... | Man/machine communications; Computing systems; Digital waveform processing | 1971-12 |
220 |
|
Balasubramonian, Rajeev | Integrating adaptive on-chip storage structures for reduced dynamic power | Energy efficiency in microarchitectures has become a necessity. Significant dynamic energy savings can be realized for adaptive storage structures such as caches, issue queues, and register files by disabling unnecessary storage resources. Prior studies have analyzed individual structures and their... | Microarchitecture | 2002 |
221 |
|
Balasubramonian, Rajeev | Scalable, reliable, power-efficient communication for hardware transactional memory | In a hardware transactional memory system with lazy versioning and lazy conflict detection, the process of transaction commit can emerge as a bottleneck. This is especially true for a large-scale distributed memory system where multiple transactions may attempt to commit simultaneously and co-ordin... | Hardware; Transactional memory; Communication | 2008 |
222 |
|
Yang, Yue; Gopalakrishnan, Ganesh; Lindstrom, Gary E. | A generic operational memory model specification framework for multithreaded program verification | Given the complicated nature of modern architectural and language level memory model designs, it is vital to have a systematic ap- proach for specifying memory consistency requirements that can support verification and promote understanding. In this paper, we develop a spec- ification methodolog... | Multithreaded program verification | 2003 |
223 |
|
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 |
224 |
|
Seeley, Donn | A tour of the worm | On the evening of November 2, 1988, a self-replicating program was released upon the Internet 1. This program (a worm) invaded VAX and Sun-3 computers running versions of Berkeley UNIX, and used their sources to attack still more computers2. Within the space of hours this program had spread aacross ... | Computer worm | 1989 |
225 |
|
Pascucci, Valerio | Characterization and modeling of PIDX parallel I/O for performance optimization | Parallel I/O library performance can vary greatly in re- sponse to user-tunable parameter values such as aggregator count, file count, and aggregation strategy. Unfortunately, manual selection of these values is time consuming and dependent on characteristics of the target machine, the underlying fi... | | 2013-01-01 |