|
|
Creator | Title | Description | Subject | Date |
676 |
|
Stoller, Leigh B. | PPE interface and functional specification | This document describes the interface and functional specification of a Protocol Processing Engine (PPE) for workstation clusters. The PPE is intended to provide the support necessary to implement low latency protocols requiring only low resource (cpu and bus bandwidth) consumption. | Protocol Processing Engine; PPE; Workstation clusters | 1995 |
677 |
|
Stoller, Leigh B. | PPE-level protocols for carpet clusters | We describe the lowest level of a suite of protocols for workstation cluster multicomputers: the parts implemented in hardware by a Protocol Processing Engine (PPE) and the software level immediately above the PPE. The stated goal of this work is extremely low end-to-end latency communications on in... | Workstation clusters; Protocol Processing Engine; PPE | 1994 |
678 |
|
Michell, Nick | PPL 1.2mu gallium arsenide cell set | The purpose of this note is to describe the 1.2/i gallium arsenide PPL cell set - not only what is included, but design decisions made along the way. The first section is an overview of the Umitations imposed by the use of gallium arsenide technology, the next section describes the trade-offs in des... | Gallium arsenide cells; PPL cell set | 1993 |
679 |
|
Smith, Kent F. | PPL design examples (NMOS30 Version) | This work was supported in part by Defense Advanced Research Projects Agency under Contract number DAAK1184K0017. All opinions, findings, conclusions or recommendations expressed in this document are those of the author(s) and do not necessarily reflect the views of DARPA. | Circuits; Design | 1986 |
680 |
|
Smith, Kent F. | PPL quick reference guide (CMOS) | This work was supported in part by Defense Research Projects Agency under Contract Number DAAK1184K0017. All opinions, findings, conclusions or recommendations expressed in this document are those of the author(s) and do not necessarily reflect the view of DARPA. | CMOS | 1987 |
681 |
|
Smith, Kent F. | PPL quick reference guide (NMOS) | This work was supported in part by Defense Research Projects Agency under Contract Number DAAK1184K0017. All opinions, findings, conclusions or recommendations expressed in this document are those of the author(s) and do not necessarily reflect the view of DARPA. | NMOS | 1986 |
682 |
|
Brunvand, Erik L. | Practical advances in asynchronous design | Recent practical advances in asynchronous circuit and system design have resulted in renewed interest by circuit designers. Asynchronous systems are being viewed as in increasingly viable alternative to globally synchronous system organization. This tutorial will present the current state of the art... | | 1997 |
683 |
|
Brunvand, Erik L. | Practical advances in asynchronous design and in asynchronous/synchronous interfaces | Asynchronous systems are being viewed as an increasingly viable alternative to purely synchronous systems. This paper gives an overview of the current state of the art in practical asynchronous circuit and system design in four areas: controllers, datapaths, processors, and the design of asynchr... | | 1999 |
684 |
|
Parker, Steven G. | Practical global illumination for interactive particle visualization | Particle-based simulation methods are used to model a wide range of complex phenomena and to solve time-dependent problems of various scales. Effective visualizations of the resulting state will communicate subtle changes in the three-dimensional structure, spatial organization, and qualitative tren... | Interactive particle visualization; Global illumination; Ray tracing; Luminance textures | 2008-02 |
685 |
|
Brunvand, Erik L. | Precise exception handling for a self-timed processor | Self-timed systems structured as multiple concurrent processes and communicating through self-timed queues are a convenient way to implement decoupled computer architectures. Machines of this type can exploit instruction level parallelism in a natural way, and can be easily modified and extended... | | 1995 |
686 |
|
Regehr, John | Precise garbage collection for C | Magpie is a source-to-source transformation for C programs that enables precise garbage collection, where precise means that integers are not confused with pointers, and the liveness of a pointer is apparent at the source level. Precise GC is primarily useful for long-running programs and programs t... | | 2009-01-01 |
687 |
|
Gopalakrishnan, Ganesh | Precision on demand: an improvement in probabilistic hashing | In explicit state (enumerative) model checking, state vectors are often represented in a compressed form in order to reduce storage needs, typically employing fingerprints, bithashes, or state signatures. When using this kind of techniques, it could happen that the compressed image of a nonvisite... | Probabilistic hashing; Model checking | 2007 |
688 |
|
Gopalakrishnan, Ganesh | Predicate abstraction for Murphi | Predicate abstraction is a technique used to prove properties in a finite or infinite state system. It employs decision procedures to abstract a concrete state system into a finite state abstraction system, which will then be model checked and refined. In this paper, we present an approach for im... | Predicate abstraction; Murphi | 2006 |
689 |
|
Regehr, John | Predictable scheduling for digital audio | This paper presents results from applying the Rialto/ NT scheduler to some real Windows 2000 application scenarios. We report on two aspects of this work. First, we studied the reliability of an audio player application and the middleware and kernel components running beneath it in order to assess i... | | 2000-01-01 |
690 |
|
Regehr, John | The problems you're having may not be the problems you think you're having: results from a latency study of windows NT | This paper is intended to catalyze discussions on two intertwined systems topics. First, it presents early results from a latency study of Windows NT that identifies some specific causes of long thread scheduling latencies, many of which delay the dispatching of runnable threads for tens of millisec... | | 1999-01-01 |
691 |
|
Back, Godmar V. | Processes in KaffeOS: lsolation, resource management, and sharing in Java | Single-language runtime systems, in the form of Java virtual machines, are widely deployed platforms for executing untrusted mobile code. These runtimes provide some of the features that operating systems provide: inter-application memory protection and basic system services. They do not. however, p... | KaffeOS; Single-language; Java virtual machines; Mobile code; Runtimes | 2000 |
692 |
|
Schaelicke, Lambert | Profiling I/O interrupts in modern architectures | As applications grow increasingly communication-oriented, interrupt performance quickly becomes a crucial component of high performance I/O system design. At the same time, accurately measuring interrupt handler performance is difficult with the traditional simulation, instrumentation, or statistica... | | 1999 |
693 |
|
Orr, Douglas B. | Program specialization using the OMOS system | Abstraction 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; Modules | 1995 |
694 |
|
| The programming language jigsaw: mixins, modularity and multiple in heritance | This dissertation provides a framework for modularity in programming languages. In this framework known as Jigsaw, inheritance is understood to be an essential linguistic mechanism for module manipulation. In Jigsaw, the roles of classes in existing languages are "unbundled," by providing a suit... | Jigsaw framework; Mixins | 1992 |
695 |
|
Regehr, John | Proofs as a substrate for tool integration supporting high-confidence embedded software | As the size and complexity of software in safety-critical embedded systems increases, the ability of programmers to deliver these systems in a timely fashion decreases. Specific difficulties are that embedded software must interact with the physical world in real time and that it must make efficient... | | 2005-01-01 |
696 |
|
Hansen, Charles D.; Johnson, Christopher R. | Prototype system for synergistic data display | Multimodal interfaces have been shown to increase user performance for a variety of tasks. We have been investigating the synergistic benefits of haptic scientific visualization using an integrated, semi-immersive virtual environment. The Visual Haptic Workbench provides multimodal interaction; imm... | Visual Haptic Workbench; Haptic interfaces; Scientific visualization | 2001 |
697 |
|
Sobh, Tarek M. | Prototyping a robotic manipulator and controller | Building a robot and its environment (control, software, hardware, simulation, etc) is a complex task that requires the efforts of an experienced engineering team. Once a robot model has been chosen and a design has been agreed upon, it becomes difficult to make design changes without affecting the ... | Robotic manipulator; Robotic controller; Prototyping | 1993 |
698 |
|
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 |
699 |
|
Sobh, Tarek M.; Henderson, Thomas C. | Prototyping environment for robot manipulators | 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. We are proposing a prototyping environment for electro-mechani... | Prototyping; Robot manipulators | 1993 |
700 |
|
Freire, Juliana; Silva, Claudio T. | Provenance for computational tasks: a survey | The problem of systematically capturing and managing provenance for computational tasks has recently received significant attention because of its relevance to a wide range of domains and applications. The authors give an overview of important concepts related to provenance management, so that poten... | Provenance management; Computational tasks | 2008-05 |