This directory is created automatically and some papers may be mislabeled. Only document within the CiteSeer database are listed. The directory is intended to provide entry points for browsing the database and is not intended to be authoritative. Papers may not appear in all relevant categories. For example, papers in a sub-category may not appear in higher level categories.
8063.5 Serverless Network File Systems - Dahlin (1995)(Correct)
Serverless Network File Systems
by
Michael Donald Dahlin
Doctor of Philosophy in Computer Science
University of California at Berkeley
Professor David A. Patterson, Chair
This thesis presents the des... / . . . Sensitivity to Hardware br List of Tables - Summary of hardware improvement
8024.0 Databases and Finite-Model Theory - Vianu (1997)(Correct)
Databases provide one of the main concrete scenarios for finitemodel
theory within computer science. This paper presents an informal overview
of database theory aimed at finite-model theorists, emph... / database system is a software and hardware system whose purpose is to store
7611.8 Compiler Support for Machine-Independent Parallelization of Irregular .. - von Hanxleden (1994)(Correct)
The Fortran D group at Rice University aims at providing a machine independent data parallel programming style, in which the applications programmer uses a dialect of sequential Fortran and high level... / system or the underlying hardware. While this thesis has a br The Operating System Virtual or hardware supported single-address space
6923.8 Tossing Algebraic Flowers down the Great Divide - Goguen (1999)(Correct)
Data Types and Algebraic Semantics The history of programming languages, and to a large extent of software engineering as a whole, can be seen as a succession of ever more powerful abstraction mechani... / activities . Computer hardware Hardware engineers have been br . Computer hardware Hardware engineers have been phenomenally
6914.2 Multithreaded Architectures: Principles, Projects and Issues - Dennis, Gao (1994)(Correct)
this paper benefited from discussions about their architectures. Anoop Gupta has helped us in the understanding of the DASH architecture and its memory hierarchy. Finally, the second author would like... / a new domain of computing hardware program models and compiling br division of function between hardware and software. As semiconductor
6822.9 Hardware And Software For Functional And Fine Grain Parallelism - Beckmann (1993)(Correct)
This thesis examines nonloop parallelism at both fine and coarse levels of granularity in
numerical FORTRAN programs. Measurements of the extent of this functional parallelism in a
number of FORTRAN c... / Hardware And Software For Functional And br designed to exploit it. Hardware and software embodiments of the
6314.6 Future Research Directions In Problem Solving Environments For.. - Gallopoulos, Houstis, Rice (1991)(Correct)
this report was partially supported by Grant CCR-90-24549 from the National
Science Foundation. This is a report to the National Science Foundation and other agencies; it is
not a report by or of the ... / of the underlying computer hardware or software system. One might say br rely on backbone developments in hardware and software technologies.
6041.0 Trace-driven Memory Simulation: A Survey - Uhlig, Mudge(Correct)
ion and Trace Collection Methods
Operating System
Compiler
Assembler
Linker
Loader
Emulation
Microcode
Circuits and Gates
Hardware
Software Single-stepping
Code Annotation
Instruction Emulation
Microc... / before they are implemented in hardware are becoming increasingly br can also be measured with hardwarebased counters that keep track of
5877.0 Virtual Shared Memory: A Survey of Techniques and Systems - Raina (1992)(Correct)
Shared memory abstraction on distributed memory hardware has become very popular recently.
The abstraction can be provided at various levels in the architecture e.g. hardware,
software, employing spec... / abstraction on distributed memory hardware has become very popular recently. br levels in the architecture e.g. hardware software employing special
5862.9 Evolutionary Artificial Neural Networks - Yao (1993)(Correct)
Evolutionary Artificial Neural Networks (EANNs) can be considered as a combination of artificial neural networks (ANNs) and evolutionary search procedures, such as genetic algorithms (GAs). This paper... / and architectures as their hardware it is easier to understand the br also facilitates digital hardware implementation of EANNs. One
5587.7 Mechanisms and Interfaces for Software-Extended Coherent Shared Memory - Chaiken (1994)(Correct)
Software-extended systems use a combination of hardware and software to implement
shared memory on large-scale multiprocessors. Hardware mechanisms accelerate
common-case accesses, while software hand... / systems use a combination of hardware and software to implement shared br on large-scale multiprocessors. Hardware mechanisms accelerate
5576.9 A Framework for Control of a Camera Head - Andersen (1996)(Correct)
This dissertation presents an architecture for controlling an agile camera head with multiple degrees of freedom. The purpose of the architecture is to provide control of the different degrees of free... / multiple processes control of hardware is resolved. Using inspiration br system hvorved en konflikt om hardware kontrollen undgas. Den designede
5536.9 Hands for Dexterous Manipulation and Powerful Grasping: A Difficult.. - Bicchi(Correct)
In this paper, an attempt at summarizing the evolution
and the state--of--the--art in the field of robot
hands is made. In such exposition, a critical evaluation
of what in the author's view are the l... / especially important in terms of hardware components of the system as br above. Further reduction of hardware complexity even below the
5259.6 Non-Omniscient Scheduling - Eric Torng (1994)(Correct)
The goal of this research is to derive practically meaningful theoretical results which will aid
the practitioner in the design and implementation of software and hardware systems. This
leads to an im... / and implementation of software and hardware systems. This leads to an
5197.5 KORSO Reference Languages - Concepts and Application Domains - (ed.) (1994)(Correct)
This paper gives an overview of the three Korso reference
languages Spectrum, Troll light, and Special, exposing their motivation
and background, language concepts, and typical application domains.
... / and development of software and hardware systems. In computer science br style which is well understood by hardware designers. Since in Korso we
5068.0 Massively Parallel Computing: Mathematics and communications libraries - Johnsson, Mathur (1993)(Correct)
Massively parallel computing holds the promise of extreme performance. The utility of
these systems will depend heavily upon the availability of libraries until compilation and run--
time system techn... / patterns efficiently through hardware and software. In addition load br of the latency issue. Moreover hardware techniques have been devised to
4937.0 A Survey of Database Support for Process-Centered Software.. - Tombros, Geppert(Correct)
Database management systems (DBMSs) are a basic component of integrated
project support environments (IPSEs). They are used for the modeling, storage and management
of data produced by various softw... / is a collection of software and hardware components which can be br which has to support location and hardware transparency. Efficient
4871.2 Merging Interactive, Modular, And Object-Oriented Programming - Tung(Correct)
Interactive, modular, and object-oriented programming are three important programming
paradigms. Interactive programming encourages experimental programming
and fast prototyping and is most valuable f... / of computer technologies both hardware and software are largely driven br dynamic lookup on stock hardware using assembly code. Hash
4859.2 Visual Object Representation: Interpreting Neurophysiological Data.. - Plaut, Farah (1990)(Correct)
Significant progress has been made in understanding vision by combining computational and neuroscientific
constraints. However, for the most part these integrative approaches have been limited to low-... / one into the other and c hardware implementation the way that the br are physically implemented in hardware. While Marr emphasized that the
4678.0 Specification and Design of Embedded Software/Hardware Systems - Gajski, Vahid (1995)(Correct)
System specification and design consists of describing a system's desired functionality,
and of mapping that functionality for implementation on a set of system
components, such as processors, ASIC's,... / and Design of Embedded Software Hardware Systems Daniel D. Gajski br modeling software and hardware synthesis and cosimulation. We
4627.7 Introducing OBJ - Goguen, Winkler, Meseguer.. (1993)(Correct)
This is an introduction to OBJ, describing its philosophy, its syntax, its history, and aspects of
its semantics, both logical and operational. Many examples are given, using Release 2 of OBJ3,
which ... / and OBJ itself and hardware specification simulation and br is applied to theorem proving and hardware verification in and
4615.2 The Enterprise Executive - Wong (1992)(Correct)
Enterprise is a graphical programming environment for designing, coding, debugging,
testing, monitoring, profiling and executing programs in a distributed hardware environment.
Enterprise code looks l... / programs in a distributed hardware environment. Enterprise code br this evolution. Development in hardware technologies have lowered the
4586.4 System Support for Software Fault Tolerance in Highly Available.. - Sullivan (1992)(Correct)
Today, software errors are the leading cause of outages in fault tolerant systems. System availability can be improved despite software errors by fast error detection and recovery techniques that mini... / work evaluates the use of hardware write protection both to detect br in spite of failures in hardware or software components of the
4583.8 Fine-Grain Dataflow Model And Algorithms For Visualization Systems - Song (1994)(Correct)
attribute grammar to specify attribute dependency and data transformation. Based on the
fine-grain algorithms and the SDTM model, we have built a fine-grain visualization system that
exhibits faster ... / construction pipeline in different hardware environments. br rendering pipeline in different hardware environments.
4455.8 The Comfort Automatic Tuning Project - Weikum, al. (1994)(Correct)
This paper reports on results and experiences from the COMFORT automatic tuning
project. The objective of the project has been to investigate architectural principles of self-tuning
database and trans... / However with the general drop of hardware costs and the ongoing trend of br note that simply buying more hardware as one might suggest as an
4429.2 A Review of Evolutionary Artificial Neural Networks - Yao (1993)(Correct)
Research on potential interactions between connectionist learning systems, i.e., artificial neural networks (ANNs), and evolutionary search procedures, like genetic algorithms (GAs), has attracted a l... / weights and architectures as its hardware it is easier to understand the
4377.9 Incorporating Guarded Execution into Existing Instruction Sets - Pnevmatikatos (1996)(Correct)
i
Acknowledgments iii
List of Tables vii
List of Figures ix
Chapter 1 Introduction 1
1.1 What can we do about branches? : : : : : : : : : : : : : : : : : : : : : : : : : : : : 1
1.2 Guarding Backgrou... / while requiring a modest amount of hardware support. These features make br of full guarding and that hardware mechanisms such as -level
4309.3 Synchronous Programming of Reactive Systems - A Tutorial and.. - Halbwachs (1998)(Correct)
to describe them as sets of concurrent
processes.
Cases (2) and (3) must be distinguished. In the later case, concurrency is
nothing but a description facility; we call it logical concurrency. Genera... / Mealy machines FSM Most hardware description formalisms e.g. br from circuit CAD. However while hardware description languages can be
4294.9 Working Within the FGCS National Project - Tick (1992)(Correct)
The Japanese Fifth Generation Computer Systems (FGCS) extending from
1982--1992 has been enshrouded in hype since its inception. The national project
made bold promises in the fields of artifical inte... / lack of commercially competitive hardware and software as the main br among engineers as was hardware usually resulting in a single
4251.6 From Earwigs to Humans - Brooks (1996)(Correct)
Both direct, and evolved, behavior-based approaches
to mobile robots have yielded a number of interesting
demonstrations of robots that navigate, map, plan and
operate in the real world. The work can ... / between their mechanical hardware their electrical circuitry and br within this framework in both hardware and purely software
4244.9 Behavior-Based Robotics as a Tool for Synthesis of Artificial.. - Mataric (1998)(Correct)
This paper appeared in Trends in Cognitive Science, Vol. 2, No. 3, March 1998, 82-87.) unknown Behavior-Based Robotics as a Tool for Synthesis of
Artificial Behavior and Analysis of Natural Behavior
... / implemented either in software or hardware each can take inputs from the
4182.3 Speculative Execution in Real-Time Systems - Ghosh (1995)(Correct)
ion and Its Implementation : : : : : : : : : : : : : : : : : : : : 96
5.2.1 Abstraction : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 96
5.2.2 Implementation : : : : : : : : : : : : ... / scheduling on KSR- without a hardware floatingpoint unit br scheduling without floating point hardware on KSR- The costs of
4153.2 Asynchronous Parallel Game-Tree Search - Brockington (1998)(Correct)
Tree searching is a fundamental and computationally intensive problem in artificial intelligence.
Parallelization of tree-searching algorithms is one method of improving the
speed of these algorithms.... / . . . The Hardware . br an IBM machine utilizing custom hardware and massive parallelism defeated
4074.2 Operating System Issues for Continuous Media - Schulzrinne (1996)(Correct)
This memory bottleneck was
observed, for example, for a software MPEG decoder [19], where memory bandwidth, not the processing
for the inverse cosine transform limited the achievable frame rate. Disk ... / If currently rather expensive hardware echo cancellation is to be br conversion can be done either in hardware or software. Software generally
4073.6 Compiling Object-Oriented Queries - Leung (1993)(Correct)
The effectiveness of database query optimization is dependent on the optimizer's ability to
make efficient use of physical resources in a computer system. The optimizer decides how to use
those resour... / that actually manipulates the hardware devices where the desired data is
4055.3 An Agent-Based Approach to the Design of Rapidly Deployable Fault.. - Paredis (1996)(Correct)
There exists a need for manipulators that are more flexible and reliable than the current fixed
configuration manipulators. Indeed, robot manipulators can be easily reprogrammed to perform
different t... / The reconfigurability of the hardware is made transparent to the user br . Self-Contained Hardware
4037.9 Performance, Safety and Idioms in Parallel Programming Systems - Lu (1995)(Correct)
ions are too low level. Many PPSs are designed around specific mechanisms,
instead of around problem-solving techniques. The programmer is responsible for
correctness and performance tuning.
The need ... / some basic concepts of parallel hardware. The features of the hardware br hardware. The features of the hardware not surprisingly determine the
4011.6 An Exploration of Nonprehensile Two-Palm Manipulation: Planning and.. - Erdmann (1995)(Correct)
This paper describes our current research into nonprehensile
palm manipulation. The term "palm" refers
to the use of the entire device surface during manipulation,
as opposed to use of the fingertips ... / . System Specifics For hardware we are using two Zebra Zero br have suffered from the frozen hardware problem. Too much of the
3974.0 Evolution of Homing Navigation in a Real Mobile Robot - Floreano, Mondada (1996)(Correct)
In this paper we describe the evolution of a discrete-time recurrent neural network to control a real mobile robot. In all our experiments the evolutionary procedure is carried out entirely on the phy... / be easily added thanks to the hardware and software modularity of the br charger rather than using the hardware available is time. Considering
3973.4 Rule-Based Program Restructuring For High Performance Parallel.. - Tenny (1992)(Correct)
Writing good programs for high performance parallel computers is difficult. The
programmer must have a deep understanding of the underlying machine architecture.
Issues such as memory hierarchy, commu... / From Algorithms to Languages to Hardware . . br match between the program and the hardware. Chapter . Preliminaries
3942.5 Simulation of PRAM Models on Meshes - Leppänen, Penttonen (1994)(Correct)
We analyze the complexity of simulating a PRAM (parallel random access machine)
on a mesh structured distributed memory machine. By utilizing suitable algorithms for
randomized hashing, routing in a m... / project that aims at the hardware implementation of PRAM-style br order. This requires additional hardware and is not necessary since we
3920.1 Shared Virtual Memory: A Survey - Shi, Hu, Tang (1998)(Correct)
1. Introduction ...SVM is an alias of softDSM. In the rest of this technical report, we will use them interchangely. Although the hardware approach to implement DSM has been shown to perform quite wel... / them interchangely. Although the hardware approach to implement DSM has br since it requires no special hardware support and is easy to
3890.4 Exokernel: An Operating System Architecture for Application-Level.. - Engler, Kaashoek, O'Toole, Jr. (1995)(Correct)
Traditional operating systems limit the performance, flexibility, and
functionality of applications by fixing the interface and implementation
of operating system abstractions such as interprocess com... / small kernel securely exports all hardware resources through a lowlevel br multiplexes available hardware resources. Library operating
3808.4 Computational Morphology of Implicit Curves - de Figueiredo (1992)(Correct)
We divide the computation of polygonal approximations of implicit objects into two phases:
sampling and structuring. Unlike classical treatments, we study each phase separately.
Classical sampling met... / many graphics systems have special hardware for handling polygons. The
3784.3 Computable Quantifiers and Logics over Finite Structures - Makowsky, Pnueli (1995)(Correct)
We explore the notion of computable quantifiers over finite structures
and use them to give a unified treatment of the theory of computable
queries in databases and logics capturing complexity classes... / a polynomial-bounded amount of hardware in polylog time. bfNC k
3740.4 The Design and Performance of an I/O Subsystem for Real-time ORB.. - Schmidt, Kuhns, Bector, Levine(Correct)
There is increasing demand to extend Object Request Broker
(ORB) middleware to support applications with stringent
quality of service (QoS) requirements. However, conventional
ORBs do not define stand... / running on off-the-shelf hardware and software. Second it br real-time QoS requirements. . Hardware Configuration Our experiments
3699.0 Data Prefetch Mechanisms For Accelerating Symbolic And Numeric.. - Mehrotra (1996)(Correct)
hing. The behavior of the IRB on a suite of programs drawn from
the Spec92, Spec95, and public domain codes, is measured under a variety of abstract
models.
Next, a detailed hardware design for the IR... / models. Next a detailed hardware design for the IRB that can be br . . Main components of IRB hardware
3606.9 Multiplier-free Feedforward Networks - Khan(Correct)
A novel feedforward network is proposed which lends itself to cost-effective implementations in digital
hardware and has a fast forward-pass capability. It differs from the conventional model in restr... / implementations in digital hardware and has a fast forward-pass br Feedforward Networks in Hardware Ease of hardware
3602.0 Experience with a Clustered Parallel Reduction Machine - Beemster, Hartel, Hertzberger.. (1993)(Correct)
A clustered architecture has been designed to exploit divide and conquer parallelism in
functional programs. The programming methodology developed for the machine is based
on explicit annotations and ... / has been constructed with stock hardware. This paper describes the br application onto the available hardware. Compilers for imperative
3518.8 Cluster-Based Scalable Network Services - Fox, Gribble, Chawathe, Brewer.. (1997)(Correct)
This paper has benefited from the detailed and perceptive comments of our reviewers, especially our shepherd Hank Levy. We thank Randy Katz and Eric Anderson for their detailed readings of early draft... / and linear increase in hardware can maintain the same per-user br x despite transient partial hardware or software failures. By
3515.0 Challenging the Computational Metaphor: Implications for How We Think - Stein (1999)(Correct)
This paper explores the role of the traditional computational metaphor in our thinking
as computer scientists, its influence on epistemological styles, and its implications
for our understanding of co... / transitions within the hardware. This way of thinking about br By hiding the details of hardware's actual behavior behind
3515.0 Behavior-Based Control for Time-Delayed Teleoperation - Stein (1994)(Correct)
Behavior-Based Control for Time-Delayed
Teleoperation Matthew R. Stein
Richard P. Paul
Remote control of robotic manipulation has applications in undersea, shallow space
and low bandwidth communicati... / . . Hardware Architecture br Site Architecture B. Hardware Architecture
3506.8 Runtime Mechanisms for Efficient Dynamic Multithreading - Karamcheti, Plevyak, Chien (1996)(Correct)
High performance on distributed memory machines for programming models with dynamic thread
creation and multithreading requires efficient thread management and communication. Traditional multithreadin... / that assume minimal compiler and hardware support are suitable for br pull messaging exploits hardware support to implement a
3500.8 Hierarchical Algorithms For Illumination - Aupperle (1993)(Correct)
This dissertation is a discussion and development of hierarchical algorithms for illumination.
These algorithms operate through recursive, adaptive refinement of the environment into
hierarchical mesh... / realized both through advances in hardware technology producing more br using current workstation graphics hardware. Algorithms based on ray tracing
3483.9 Feature extraction through LOCOCODE - Hochreiter, Schmidhuber (1998)(Correct)
Low-complexity coding and decoding" (Lococode) is a novel approach to sensory coding and unsupervised learning. Unlike previous methods it explicitly takes into account the information-theoretic comp... / be implemented given some limited hardware. Lococodes. For such reasons
3458.5 Classification And Detection Of Computer Intrusions - Kumar (1995)(Correct)
Some computer security breaches cannot be prevented using access and information flow control techniques. These breaches may be a consequence of system software bugs, hardware or software failures, in... / to the department by keeping the hardware and software well tuned well br of system software bugs hardware or software failures incorrect
3440.4 Parallel Rendering - Crockett (1995)(Correct)
In computer graphics, rendering is the process by which an abstract description of a scene is converted to
an image. When the scene is complex, or when high-quality images or high frame rates are requ... / this situation. Today parallel hardware is routinely used in graphics br rendering encompassing both hardware and software systems. The focus
3414.7 Cryptographic Hash Functions: A Survey - Bakhtiari, Safavi-Naini, Pieprzyk (1995)(Correct)
This paper gives a survey on cryptographic hash functions. It gives an overview of all types of hash functions and reviews design principals and possible methods of attacks. It also focuses on keyed h... / the improvements of the hardware and softwares. In other words br function from scratch. Also when hardware implementation of a block cipher
3406.7 Filesystems for Network-Attached Secure Disks - Gibson, al. (1997)(Correct)
Network-attached storage enables network-striped data transfers directly between client and storage to provide clients with scalable bandwidth on large transfers. Network-attached storage also decoupl... / encouraging the inclusion of hardware support for message digest to br for IPv Deering With hardware support for cryptography in a
3336.7 High-Performance Local Area Communication With Fast Sockets - Rodrigues, Anderson, Culler (1997)(Correct)
Modern switched networks such as ATM and Myrinet
enable low-latency, high-bandwidth communication.
This performance has not been realized by current
applications, because of the high processing overhe... / to the ability of modern network hardware however. While TCP is capable br are similar to the underlying hardware. All of these systems realize
3303.8 A General Theory for Deadlock Avoidance in Wormhole-Routed Networks - Fraigniaud (1998)(Correct)
Most machines of the last generation of distributed memory parallel computers
possess specific routers which are used to exchange messages between non-neighboring
nodes in the network. Among the sever... / routing algorithms using few hardware facilities is a major problem br routing algorithms using few hardware facilities is a major problem for
3289.0 Reverse-Engineering Distributed Applications to Understand their.. - Kunz (1994)(Correct)
Understanding the behaviour of distributed applications is a very challenging task, due
to their complexity. To manage this complexity, the top-down use of suitable abstraction
hierarchies is frequent... / elements interconnection hardware independent failure of
3271.1 Monitoring of Distributed Memory Multicomputer Programs - van Riek, Tourancheau, Vigouroux (1993)(Correct)
ion (EBBA). Some
of these methods will be briefly introduced here.
The simplest way of analyzing runtime information consists of collecting statistics from the individual
event-records. ParaGraph [HE9... / representations software hybrid hardware monitoring transporting and br realization requires very complex hardware. Moreover several technics will
3262.4 A Software Architecture for the Construction and Management of.. - Pratt (1993)(Correct)
Continue on reverse if necessary and identify by block number)
20. DISTRIBUTION/AVAILABILITY OF ABSTRACT
Doctoral Dissertation 01/90 06/93 June 1993 158
Computer Graphics, Simulator, Simulation, Net... / Incorporated SGI workstations hardware was used exclusively in NPSNET to br Incorporated SGI workstations hardware was used exclusively in NPSNET
3262.4 Dyad: A System for Using Physically Secure Coprocessors - Tygar, Yee (1991)(Correct)
The Dyad project at Carnegie Mellon University is using physically secure
coprocessors to achieve new protocols and systems addressing a number of
perplexing security problems. These coprocessors can ... / we've also made the system hardware accessible to casual interlopers. br embodies a physically secure hardware module it achieves this security
3218.6 Alleviating Priority Inversion and Non-determinism in Real-time CORBA .. - Schmidt, Mungee, Gokhale (1998)(Correct)
There is increasing demand to extend CORBA to support applications with stringent real-time requirements. However, conventional CORBA Object Request Brokers (ORBs) exhibit substantial priority inversi... / objects are written in what OS hardware platform they run on or what br is depicted in Figure . The hardware and software components in the
3215.7 Predicting the Performance of Software Systems - Rolia (1992)(Correct)
With the advent of distributed and multi-processor computing, systems of cooperating
processes have become an attractive alternative to monolithic programs. In
such software systems it is often possib... / will incur delays for both hardware and software resources. The br delays due to contention for both hardware and software resources. The
3208.3 Constructive Neural Network Learning Algorithms for Pattern.. - Parekh, Yang, Honavar (1998)(Correct)
Constructive learning algorithms offer an attractive approach for the incremental construction of near-minimal neural network architectures for pattern classification. They help overcome the need for ... / potential for more efficient hardware implementation and greater br potentially easier to implement in hardware. Secondly the perceptron
3205.8 Pi: A New Approach to Operating System Structuring for Flexibility - Kulkarni (1993)(Correct)
Continuing innovations in hardware technology and changing demands of a wide range of
applications are the two main challenges faced by operating systems. To exploit the available hardware
capabilitie... / Continuing innovations in hardware technology and changing demands br systems. To exploit the available hardware capabilities and to meet the
3204.3 Implementing lazy functional languages on stock hardware: the.. - Jones (1992)(Correct)
The Spineless Tagless G-machine is an abstract machine designed to support nonstrict higher-order functional languages. This presentation of the machine falls into three parts. Firstly, we give a gene... / lazy functional languages on stock hardware the Spineless Tagless G-machine br of the STG language onto stock hardware. The success of an abstract
3203.3 Number-Theoretic Constructions of Efficient Pseudo-Random Functions - Naor, Reingold (1997)(Correct)
We describe efficient constructions for various cryptographic primitives (both in privatekey
and in public-key cryptography). We show these constructions to be at least as secure as
the decisional ver... / the functions in parallel and in hardware implementations. . Has br functions will be implemented in hardware as is the case for DES In
3197.3 Reducing Cache Invalidation Overheads in Wormhole Routed DSMs Using.. - Dai, Panda (1996)(Correct)
Directory-based distributed shared memory (DSM) systems have drawn high interests
in parallel computing research and industry in recent years. Current generation systems
are limited to using point-t... / on top of message-passing hardware In recent years most br are very comparable with the hardware measurement results reported on
3187.5 The Software Information Base: A Server for Reuse - Constantopoulos, Jarke, Mylopoulos.. (1995)(Correct)
We present an experimental software repository system which provides organization,
storage, management, and access facilities for reusable software components. The system,
intended as part of an appli... / to design reuse in general as in hardware or architectural design and br all UNIX systems and a variety of hardware settings including PC-based
3158.6 Scout: A Communications-Oriented Operating System - Montz, Mosberger, O'Malley.. (1994)(Correct)
This white paper describes Scout, a new operating system being designed for systems connected to the National Information Infrastructure (NII). Scout provides a communication-oriented software archite... / is to either build specialized hardware which is generally not a br operating systems have changed hardware has changed and compiler
3158.4 The Role of the Software Engineer in Real-Time Software Development.. - Hoover (1995)(Correct)
A noteworthy feature of the computing industry is the
increasing demand for application-specific software. For example,
software to control a factory in real-time involves timing, faulttolerance,
an... / is an essential skill needed by hardware and software engineers who br Add. Ref. Hardware Issues Hardware Software
3157.1 Automatic Detection Of Nondeterminacy, And Scalar Optimizations In.. - Ghosh (1992)(Correct)
llel programs available to us. Detection is practical with a
combination of aggressive compile time analysis and execution time checking.
As an extension of the work on detecting ordering, a technique... / up with the ever-faster changing hardware and software. Paul Petersen in br However most computers have hardware facilities to detect overflow or
3124.2 Flexibility in Object-Oriented Operating Systems: A Review - Cahill (1996)(Correct)
This report presents a review of recent research into flexible operating
systems. In this context, flexible operating systems are taken to be
those whose designs have been motivated to some degree by ... / applications or some particular hardware configuration as required at br physical resources and enforcing hardware protection boundaries between
3107.6 Techniques for Collision Prevention, Impact Stability, and Force.. - Volpe (1994)(Correct)
this paper was supported by the above and the Jet Propulsion
Laboratory, California Institute of Technology, under a contract with the National Aeronautics and
Space Administration.
The views and conc... / will surely require robust robotic hardware the algorithms controlling this br the algorithms controlling this hardware are not likely to be different in
3100.6 Superthreading - Tsai (1998)(Correct)
s. Many existing compiler techniques used in traditional parallelizing compilers for multiprocessors as well as some specific compiler techniques for superthreaded processors are needed for generating... / . Hardware Support for Two-dimensional br rely on the compiler or the hardware to extract instruction-level
3052.9 Architectural Considerations for Deterministic Real-Time ORB.. - Levine, Schmidt, Gill (1997)(Correct)
There is increasing demand to extend object-oriented middleware
to support applications with stringent quality of service
(QoS) requirements. However, conventional object-oriented
middleware does not ... / objects are written in what OS hardware platform they run on or what br Broker ORB and ORB services. Hardware and software are often closely
3046.6 A Debugger for Standard ML - Tolmach, Appel (1993)(Correct)
We have built a portable, instrumentation-based, replay debugger for the Standard ML of
New Jersey compiler. Traditional "source-level" debuggers for compiled languages actually
operate at machine lev... / independent from the underlying hardware and runtime system and from the br formats runtime layout and hardware properties of the target machine.
3041.3 Compiler Architectures for Heterogeneous Systems - McKinley, Singhai, Weaver, Weems (1995)(Correct)
Heterogeneous parallel systems incorporate diverse models of parallelism within a single machine or across machines and are better suited for diverse applications [25, 43, 30]. These systems are alr... / use of heterogeneous hardware to execute a single application br may benefit from using disparate hardware architectures that match the
3013.5 A Methodological View of Constraint Solving - Comon, al. (1997)(Correct)
Constraints are an effective tool to define sets of data by means of logical formulae.
Our goal here is to survey the notion of constraint system and to give examples of constraint systems
operating... / as operations research and hardware verification. But there are
2996.2 A Methodology for Implementing Highly Concurrent Data Objects - Herlihy (1993)(Correct)
A concurrent object is a data structure shared by concurrent processes.
Conventional techniques for implementing concurrent objects typically rely
on critical sections: ensuring that only one process ... / is less efficient than direct hardware support. For example a br can be checked either by hardware or by software. A simple hardware
2995.7 Measuring and Optimizing CORBA Latency and Scalability Over.. - Gokhale, Schmidt (1998)(Correct)
There is increasing demand to extend object-oriented middleware,
such as OMG CORBA, to support applications with
stringent quality of service (QoS) requirements. However,
conventional CORBA Object Req... / backplanes and shared memory. Hardware CORBA shields applications from br stemming from differences in hardware such as storage layout and data
2961.5 Dynamic Access Ordering for Symmetric Shared-Memory Multiprocessors - McKee (1994)(Correct)
Dynamic Access Ordering for Symmetric SharedMemory
Multiprocessors
Sally A. McKee
Department of Computer Science
University of Virginia
Charlottesville, VA 22903
mckee@cs.virginia.edu
Memory bandwidth... / This paper describes the use of hardware-assisted access ordering in br FC is easier to implement in hardware since it requires less
2952.1 The Nexus Approach to Integrating Multithreading and Communication - Foster (1996)(Correct)
Lightweight threads have an important role to play in parallel systems: they can be used to exploit shared-memory parallelism, to mask communication and I/O latencies, to implement remote memory acces... / efficiently on commodity hardware and software systems. br may be performed by specialized hardware e.g.remote memory put get
2946.0 A Quantitative Analysis of Loop Nest Locality - McKinley, Temam (1996)(Correct)
This paper analyzes and quantifies the locality characteristics of numerical loop nests in order to suggest future directions for architecture and software cache optimizations. Since most programs spe... / Smith's bibliographies on hardware aspects of cache memories Smi br nests. For example software and hardware prefetching exploit the spatial
2939.9 A First Step Towards Object-Oriented Architectures for.. - Schaufler(Correct)
ion
of interactions in views is possible, too. Interaction arrows with a surrounding greyed circle
are used to subsume interaction and object classes. The resulting high level interaction
is valid whe... / . History . Hardware . . Input Devices br of computer and interface hardware to achieve the required
2909.6 Multimedia Database Systems - The Notions and the Issues - Rakow, Neuhold, Löhr (1995)(Correct)
In this article, we give an overview of the usage of database systems in the emerging field of multimedia computing systems. We motivate that management of multimedia information requires support of... / to the fact that the necessary hardware became available only recently br operating systems networks and hardware. Media Type Format Volume
2905.1 Intelligent Diagnosis Systems - Balakrishnan, Honavar (1998)(Correct)
This paper examines and compares several different approaches to the design
of intelligent systems for diagnosis and advising applications. These include expert
systems or knowledge-based systems, cas... / diagnosis of software and hardware problems diagnosis of integrated br Alternatively dedicated parallel hardware e.g.neural network associative
2903.0 Optimizing a CORBA IIOP Protocol Engine for Minimal Footprint.. - Gokhale, Schmidt (1998)(Correct)
Communication software for hand-held devices must be flexible
and efficient to deliver the necessary Quality of Service
(QoS) to multimedia applications such as real-time audio and
video, video on-dem... / imposed by handheld device hardware necessitates a minimal footprint br details related to the OS hardware platform they run on and the
2901.3 The MIT Alewife Machine: A Large-Scale Distributed-Memory.. - Agarwal, Chaiken, Johnson, Kranz.. (1991)(Correct)
The Alewife multiprocessor project focuses on the architecture and design of a large-scale parallel machine. The machine uses a low dimension direct interconnection network to provide scalable communi... / and concentrates on the novel hardware features of the machine including br The compiler runtime system and hardware cooperate to enhance
2875.9 Application Performance and Flexibility on Exokernel Systems - Kaashoek, Engler, Ganger.. (1997)(Correct)
The exokernel operating system architecture safely gives untrusted
software efficient control over hardware and software resources by
separating management from protection. This paper describes an
exo... / software efficient control over hardware and software resources by br UNIX systems running on the same hardware using large real-world
2866.9 ASPEN: High-Performance Hardware Support for Distributed Shared-Memory - Maxham (1994)(Correct)
ASPEN: High-Performance Hardware Support
for Distributed Shared-Memory
Kenneth Mark Maxham
This thesis describes and evaluates an integrated memory and network subsystem
designed to provide the abstr... / ASPEN High-Performance Hardware Support for Distributed br Abstract ASPEN High-Performance Hardware Support for Distributed
2863.5 Scalability in Distributed Multimedia Systems - Korkea-Aho (1995)(Correct)
this document . . . . . . . . . . . . . . . . . . . . 6 unknown Scalability in Distributed Multimedia Systems
Mari Korkea-aho
Helsinki University of Technology
Laboratory of Information Processing Sci... / scalability through server hardware or software improvements or br of a computer with special hardware such as a microphone
2859.9 Sather 2: A Language Design for Safe, High-Performance Computing - Gomes, Löwe, Quittek, Weissman (1997)(Correct)
Consistency of objects in a concurrent computing environment is usually ensured by serializing all incoming
method calls. However, for high performance parallel computing intra-object parallelism, i.e... / networks Myrinet ATM parallel hardware platforms are now more widely br to realize the promise of parallel hardware on problems of significant size
2857.6 Secure Coprocessors in Electronic Commerce Applications - Yee, Tygar (1995)(Correct)
Many researchers believe electronic wallets (secure storage devices that maintain account balances) are the solution to electronic commerce challenges. This paper argues for a more powerful model --- ... / Model A secure coprocessor is a hardware module containing a CPU br secure non-volatile memory. This hardware module is physically shielded
2824.2 Issues in Autonomous Mobile Robot Navigation - Singhal (1997)(Correct)
Three main problems facing outdoor autonomous mobile robot navigation are unstructured
environments, moving obstacles, and multiple sensors. Each of these leads
to uncertainties that usually cannot be... / Beacons for Localization B Hardware for Proposed Experimentation br reached its limits and any new hardware design paradigm possibly DNA
2805.0 Falcon: On-line Monitoring and Steering of Large-Scale Parallel.. - Gu (1995)(Correct)
Falcon is a system for on-line monitoring and steering of large-scale parallel programs. The purpose of such interactive steering is to improve its performance or to affect its execution behavior. The... / basis. Falcon runs on several hardware platforms including the Kendall br library available on several hardware platforms including the Kendall
2803.5 Exploring the Performance Impact of QoS Support in TCP/IP Protocol.. - Engel, Kandlur, Mehra, Saha(Correct)
Significant efforts are being made by the Internet Engineering Task Force (IETF) to enhance the
service model of the Internet to support integrated services for voice, video, and data transport. This ... / queueing structure or utilize hardware support if available. Using the br do not perform these functions in hardware a category that covers an
2802.6 A Survey on Parallel Logic Simulation - Meister (1993)(Correct)
Simulation of logic designs is a very important part of the VLSI-design
process. The increasing size of the designs requires more efficient simulation
strategies to accelerate the simulation process. ... / of design of microelectronics and hardware units. A particular problem br this topic ranging from dedicated hardware which was especially built to
2799.8 Parallelism and the Bird-Meertens Formalism - Skillicorn (1992)(Correct)
One of the major reasons for the lack of practical use of parallel computers
has been the absence of a suitable model of parallel computation. A useful
general model must be architecture independent, ... / of parallelism. It is clear that hardware is not the problem. New parallel br Matching languages and hardware for parallel computation in the
2793.4 A Proposal for Research on the Testability of Asynchronous Circuits - Liebelt (1998)(Correct)
This report is intended to identify prospects for research on the testing and testability
characteristics of asynchronous circuits and to propose a research project on this topic.
It is a revised and ... / . . . Communicating Hardware Processes . br others . . Communicating Hardware Processes Outline Martin
2761.1 The Lazy Sweep Ray Casting Algorithm for Rendering Irregular Grids - Silva, Mitchell (1997)(Correct)
Lazy Sweep Ray Casting is a fast algorithm for rendering general irregular grids. It is based on the
sweep-plane paradigm, and it is able to accelerate ray casting for rendering irregular grids, inclu... / and portability e.g.no hardware dependencies We establish the br is the ability to use graphics hardware to compute the volumetric
2755.3 MORPH: A System Architecture for Robust High Performance Using.. - Chien, Gupta (1996)(Correct)
Achieving 100 TeraOps performance within a tenyear
horizon will require massively-parallel architectures
that exploit both commodity software and hardware
technology for cost efficiency. Increasing cl... / both commodity software and hardware technology for cost efficiency. br Reconfigurable Parallel Hardware MORPH uses reconfigurable logic
2732.6 Indigo: User-level Support for Building Distributed Shared.. - Prince Kohli (1995)(Correct)
ions
Prince Kohli
Mustaque Ahamad
y
Karsten Schwan
College of Computing
Georgia Institute of Technology
June 12, 1996
Abstract
Distributed systems that consist of workstations connected by high p... / the programmability of such hardware by presenting to application br implemented across distributed hardware platforms. Sample shared
2713.8 Turning SOS Rules into Equations - Aceto, Bloom, Vaandrager (1994)(Correct)
Many process algebras are defined by structural operational semantics (SOS). Indeed,
most such definitions are nicely structured and fit the GSOS format of [19]. We
give a procedure for converting any... / compilation techniques hardware implementations and logics br Amsterdam . G. Berry. A hardware implementation of Pure Esterel.
2700.8 Trap-driven simulation with Tapeworm II - Uhlig, Nagle, Mudge, Sechrest (1994)(Correct)
Tapeworm II is a software-based simulation tool that
evaluates the cache and TLB performance of multiple-task and
operating system intensive workloads. Tapeworm resides in an OS
kernel and causes a ... / kernel and causes a host machine's hardware to drive simulations with kernel br tend to rely on expensive hardware monitoring equipment and are
2681.3 Quantifying Loop Nest Locality Using SPEC'95 and the Perfect.. - McKinley, Temam (1999)(Correct)
This paper analyzes and quantifies the locality characteristics of numerical loop nests in order to
suggest future directions for architecture and software cache optimizations. Since most programs
spe... / example Smith's bibliographies on hardware aspects of cache mem- br nests. For example software and hardware prefetching exploit the spatial
2672.1 Tuning Compiler Optimizations for Simultaneous Multithreading - Lo, Eggers, Levy, Parekh, Tullsen (1997)(Correct)
Compiler optimizations are often driven by specific
assumptions about the underlying architecture and implementation
of the target machine. For example, when targeting
shared-memory multiprocessors, p... / out-of-order processor with hardware contexts for eight threads. Every br this list is special per-thread hardware for scheduling instructions onto
2666.5 Gamma And The Chemical Reaction Model: Ten Years After - Banâtre, Métayer (1996)(Correct)
This paper reviews most of the work done by various groups along these lines and the current perspectives of our own research on Gamma. For the sake of clarity we separate the contributions in three c... / and the dramatic progress in the hardware technology. Let us examine these br and the decreasing cost of hardware we have seen a tremendous
2659.7 Adding Instruction Cache Effect to Schedulability Analysis of.. - Busquets-Mataix, Wellings (1996)(Correct)
Cache memories are commonly avoided in real-time systems because of their unpredictable behavior. Recently, some research has been done to obtain tighter bounds on the worst case execution time (WCET)... / for each method for a variety of hardware and workload configurations. The br and implemented by ad-hoc hardware and software. Nowadays the
2657.3 Use of Computational Kernels in Full and Sparse Linear Solvers.. - Daydé, Duff (1996)(Correct)
We believe that the availability of portable and efficient serial and parallel
numerical libraries that can be used as building blocks is extremely important
for both simplifying application software ... / as efficiently as possible the hardware of high-performance computers br are either supported in the hardware for example the floating-point
2646.5 An Object-Oriented Heterogeneous Database Architecture - Hansen (1995)(Correct)
xv
1 Introduction 1
1.1 Overview : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 1
1.2 What is a Heterogeneous Data Base? : : : : : : : : : : : : : : : : : : : : : : 1
1.3 W... / . Hardware and Network Configuration br database management system or hardware platform. Distributing a
2633.6 Extensible Security Architectures for Java - Wallach (1997)(Correct)
Mobile code technologies such as Java, JavaScript, and ActiveX generally limit all programs to a single security policy. However, software-based protection can allow for more flexible security models,... / improvements over traditional hardware-based solutions. We describe and br levels have been implemented in hardware memory protection via base
2627.5 Locality-Based Scheduling for Shared-Memory Multiprocessors - Markatos, LeBlanc (1993)(Correct)
The last decade has produced enormous improvements in microprocessor performance without a corresponding improvement in memory or interconnection network performance. As a result, the relative cost of... / cache coherence is maintained in hardware. In distributed shared-memory br To maximize the utilization of the hardware and hopefully improve execution
2620.6 The Influence of Caches on the Performance of Heaps - LaMarca, Ladner (1997)(Correct)
As memory access times grow larger relative to processor cycle times, the cache performance of algorithms
has an increasingly large impact on overall performance. Unfortunately, most commonly used
alg... / analysis is currently done with hardware monitoring or with
2610.6 Comparison of Wavelet Image Coders Using the Picture Quality Scale.. - Jian Lu (1995)(Correct)
Image coding is one of the most visible applications of wavelets. There has been increasing number of reports
each year since the late 1980's on the design of new wavelet coders and variations to exis... / burden and is not economical in a hardware implementation of the coder. For
2609.9 Application Scheduling and Processor Allocation in Multiprogrammed.. - Sevcik (1993)(Correct)
When large-scale multiprocessors for parallel processing are subjected to heavy diverse workloads of applications,
it will be necessary to schedule them in a multiprogrammed fashion in order to use th... / can be provided in hardware since all memory requests use the br of processors in the system the hardware bound When A p speedup
2607.5 A Kernel Implementation of Distributed Shared Memory on a Network of.. - Brett Fleisch (1994)(Correct)
We describe the evolution of a distributed shared memory (DSM) system, Mirage,
and the difficulties encountered when moving the system from a Unix-based
1
kernel on
the VAX to a UNIX-based kernel on... / improved on conventional hardware by applying three well-known br configurations using commodity hardware. In the past operating system
2593.9 Message Dispatch on Pipelined Processors - Driesen, Hölzle, Vitek (1995)(Correct)
Object-oriented systems must implement message dispatch
efficiently in order not to penalize the object-oriented programming style. We
characterize the performance of most previously published dispa... / single and multiple inheritance. Hardware organization in particular br that are dependent on the hardware and software environment of the
2589.8 The Zebra Striped Network File System - Hartman, Ousterhout (1993)(Correct)
Zebra is a network file system that increases throughput by striping file data across multiple servers. Rather than striping each file separately, Zebra forms all the new data from each client into a ... / Sprite file system on the same hardware. For small files the Zebra br operation in the event of a hardware failure. Zebra borrows its log
2579.5 Fast Messages (FM): Efficient, Portable Communication for Workstation .. - Pakin, Karamcheti, Chien (1997)(Correct)
Illinois Fast Messages (FM) is a low-level software messaging layer designed to meet the
demands of high performance network hardware. It delivers much of the hardware's raw performance
to both applic... / of high performance network hardware. It delivers much of the br hardware. It delivers much of the hardware's raw performance to both
2555.3 Supporting Fault-Tolerant Parallel Programming in Linda - David Bakken (1994)(Correct)
Linda is a language for programming parallel applications whose most notable feature is a distributed
shared memory called tuple space. While suitable for a wide variety of programs, one shortcoming
o... / of the future particularly as hardware prices have fallen rapidly in br pace at which new and better hardware becomes available. To help
2548.1 Multi-Way Partitioning Via Geometric Embeddings, Orderings, and.. - Alpert, Kahng (1995)(Correct)
This paper presents effective algorithms for multi-way partitioning. Confirming ideas originally due to
Hall [27], we demonstrate that geometric embeddings of the circuit netlist can lead to high-qual... / necessarily understanding the hardware resource implications of the HDL br partitioning for testability and hardware simulation and emulation.
2545.0 Personal Distributed Computing: The Alto and Ethernet Software - Lampson (1988)(Correct)
html.
Personal Distributed Computing: The Alto and Ethernet Software 2
display that looks something like an ordinary sheet of paper. He demonstrated this system at the
1968 Fall Joint Computer Con... / between and . The hardware base for this system is simple br to call the whole complex of hardware and software the Alto
2532.3 Fine-Grained Object Based Load Distribution - Jensen (1995)(Correct)
Load distribution is commonly recognized as a useful technique to improve the performance
of a distributed system. Much of the previous work on load distribution is
performed in the context of process... / . . . Hardware Load Indicators . br . . . Hardware Configuration .
2524.7 Standard ML of New Jersey - Appel, MacQueen (1991)(Correct)
The Standard ML of New Jersey compiler has been under development for five years now. We have developed a robust and complete environment for Standard ML that supports the implementation of large soft... / runtime data format and hardware and some things were much br ML programs on a variety of hardware for which we do not yet have
2501.3 Digital Systems for Neural Networks - Ienne, al. (1995)(Correct)
Neural networks are non-linear static or dynamical systems that learn to solve
problems from examples. Those learning algorithms that require a lot of computing
power could benefit from fast dedicated... / could benefit from fast dedicated hardware. This paper presents an overview br ANN users require powerful hardware. In x we describe the
2496.8 Two Constructive Methods for Designing Compact Feedforward Networks.. - Amaldi, Guenin (1997)(Correct)
We propose two algorithms for constructing and training compact feedforward networks
of linear threshold units. The Shift procedure constructs networks with a single hidden layer
while the PTI constru... / This makes them attractive from a hardware implementation point of view. br are reasonable candidates for hardware implementation. Constructive
2484.3 Evolutionary Robotics: the Sussex Approach - Harvey, Husbands, Cliff, Thompson.. (1996)(Correct)
this paper is primarily an overview of our work at Sussex. We discuss what artificial evolutionary techniques are appropriate, followed by discussion of which classes unknown Evolutionary Robotics: th... / a controller directly evolved in hardware. Why Evolutionary Robotics br and is implemented by mechanisms hardware or software linking sensors to
2475.2 Model Checking Complete Requirements Specifications Using Abstraction - Bharadwaj, Heitmeyer (1997)(Correct)
ion
Memorandum Report NRL/MR/5540--97--7999,
Naval Research Laboratory, Washington, DC 20375. Nov. 10, 1997
Ramesh Bharadwaj and Constance Heitmeyer
Center for High Assurance Computer Systems (Cod... / effective in detecting errors in hardware designs its success in the br Model checking algorithms for hardware verification commonly use Binary
2471.6 Scope Consistency : A Bridge between Release Consistency and Entry.. - Liviu Iftode (1996)(Correct)
Systems that maintain coherence at large granularity such as
shared virtual memory systems, suffer from false sharing and
extra communication. Relaxed memory consistency models
have been used to allev... / two ScC protocols one that uses hardware support for fine-grained remote br network interfaces that provide hardware support for word-level automatic
2468.0 Design and implementation of 8 1/2 , a declarative data-parallel.. - Michel (1996)(Correct)
In this article we advocate a declarative approach to data-parallelism to provide both parallelism
expressiveness and efficient execution of data intensive applications. 81/2, an experimental
language... / extraction by an interpreter or a hardware architecture has to build a
2467.1 Communication overlap in multi-tier parallel algorithms - Baden, Fink (1998)(Correct)
Hierarchically organized multicomputers such as
SMP clusters offer new opportunities and new challenges
for high-performance computation, but realizing
their full potential remains a formidable task.
... / calculations realizing the hardware's potential remains a formidable br communication structure of the hardware and ascribes communication to
2465.5 Loop and Data Transformations: A Tutorial - Kulkarni, Stumm (1993)(Correct)
In this tutorial, we address the problem of restructuring a (possibly sequential) program
to improve execution efficiency on parallel machines. This restructuring involves the
transformation and parti... / characteristics of parallel hardware become more complex trade offs br and data automatically taking the hardware characteristics into account.
2461.2 Trends In Evolutionary Robotics - Meeden, Kumar (1998)(Correct)
A review is given on the use of evolutionary techniques for the automatic design of
adaptive robots. The focus is on methods which use neural networks and have been tested
on actual physical robots. T... / and actuators might lessen as our hardware technology improves thus br that one must actually deal with hardware and the intrinsic limitations
2455.7 Pattern Recognition via Neural Networks - Ripley(Correct)
s one of these classes.
Such tasks are called classification or supervised pattern recognition
1
. Clearly
1
The conference proceedings [14] provides a good view of pattern recognition applications... / were within the reach of the hardware and software available. A few of
2443.6 The Beehive Cluster System - Aman Singla(Correct)
Introduction
In this writeup, we present the system architecture of Beehive, a cluster system we are developing at Georgia Tech
for supporting interactive applications and compute-intensive servers. ... / principle is to use only commodity hardware and software components as the br to make full use of the available hardware resources. The Beehive API
2436.4 Multimedia Databases: Integrated Storage and Retrieval of Text.. - Meyer-Wegener(Correct)
New hardware offered at reasonable prices allows to develop improved user interfaces for computer systems: I/O devices can capture and present not only text and graphics, but also photos, sound, and v... / W- Erlangen Abstract New hardware offered at reasonable prices br in the development of computer hardware has made it possible to do that.
2426.5 The VEOS Project - Bricken, Coco (1993)(Correct)
Introduction
Computer technology has only recently become advanced enough to solve the problems it creates
with its own interface. One solution, virtual reality (VR), immediately raises fundamental
is... / must develop an infrastructure of hardware and software to support tricking br Behavior Transducers hardware interface devices Inclusive
2418.7 The Nachos Instructional Operating System - Christopher, Procter, Anderson (1993)(Correct)
In teaching operating systems at an undergraduate level, we believe that it is important
to provide a project that is realistic enough to show how real operating systems work, yet is
simple enough tha... / decades but recent advances in hardware and software design along with br and remote procedure calls recent hardware advances such as RISC's and the
2415.5 Fine-grain Access Control for Distributed Shared Memory - Schoinas (1994)(Correct)
This paper discusses implementations of fine-grain memory
access control, which selectively restricts reads and
writes to cache-block-sized memory regions. Fine-grain
access control forms the basis of... / require little or no additional hardware. These techniques permit br that require no additional hardware into Blizzard a system that
2406.5 Compiler Techniques For Matlab Programs - De Rose (1996)(Correct)
as the corresponding hand-written
Fortran 90 programs. When compared with the performance of C-MEX files generated by
the MathWorks MATLAB compiler, we observed that, for our tests, the Fortran 90 pr... / Bob Wayne and Gabriel for their hardware and software support. Thanks to
2399.0 Orchestration Services For Continuous Media Communications - Blair, Campbell, Coulson, Garcia.. (1992)(Correct)
1. Introduction
The development of communications systems to support distributed multimedia application
which exploit continuous media (e.g. audio and video) introduces new synchronisation
requirement... / where it is possible to interface hardware such as frame grabbers etc. br workstations and provides the hardware support for the entire software
2398.8 LYCOS: the Lyngby Co-Synthesis System - Madsen, Grode, Knudsen, Petersen.. (1997)(Correct)
This paper describes the LYCOS system, an experimental co-synthesis environment.
We present the motivation and philosophy of LYCOS and after an overview of the entire system,
the individual parts ar... / use to estimate metrics concerning hardware software and communication in br Keywords codesign co-synthesis hardware software partitioning analysis
2393.8 Combining Compile-Time and Run-Time Support for Efficient Software.. - Sandhya Dwarkadas (1999)(Correct)
We describe an integrated compile-time and run-time
system for efficient shared memory parallel computing
on distributed memory machines. The combined system
presents the user with a shared memory pro... / capabilities of the underlying hardware. To do so the compiler analyzes br is capable of exploiting the hardware's message passing capabilities.
2391.2 Efficient Software-Based Fault Isolation - Wahbe, Lucco, Anderson, Graham (1993)(Correct)
One way to provide fault isolation among cooperating software modules is to place each in its own address space. However, for tightly-coupled modules, this solution incurs prohibitive context switch o... / poses a tradeoff relative to hardware fault isolation substantially br isolation in software rather than hardware can substantially improve
2389.4 The Power of Reconfiguration - Ben-Asher, Peleg, Ramaswami, Schuster (1998)(Correct)
This paper concerns the computational aspects of the reconfigurable network model. The computational
power of the model is investigated under several network topologies and assuming several variants o... / into the same pair are viewed as hardware connected and the processor br namely the required amount of hardware regardless of the underlying
2373.9 Unifying Data and Control Transformations for Distributed Shared.. - Cierniak (1994)(Correct)
We present a unified approach to locality optimization that employs both data and control transformations. Data transformations include changing the array layout in memory. Control transformations inv... / Most shared-memory machines both hardware and software based rely on data br These protocols vary from hardware-only implementations to
2357.7 Multithreaded Decoupled Access/Execute Processors - Parcerisa, González (1997)(Correct)
This work presents and evaluates a novel processor microarchitecture which combines two paradigms:
access/execute decoupling and simultaneous multithreading.
We investigate how both techniques complem... / have been also developed both hardware and software Some br i.e. scaling at a lower hardware cost or conversely scaling at a
2355.7 Distributed Shared Memory for New Generation Networks - Kontothanassis, Scott (1995)(Correct)
Shared memory is widely believed to provide an easier programming model than message passing for
expressing parallel algorithms. Distributed Shared Memory (DSM) systems provide the illusion of shared
... / on top of standard message passing hardware at very low implementation cost br approach the performance of full hardware coherence. Specifically we claim
2355.4 An Interprocedural Parallelizing Compiler and Its Support for Memory.. - Trung Nguyen (1995)(Correct)
We present several new compiler techniques employed by
our interprocedural parallelizing research compiler, Panorama, to improve
array privatization, loop parallelization and the efficiency of memor... / can be implemented in a hardware or software mechanism. Hardware br a hardware or software mechanism. Hardware solutions include the bus-based
2353.5 Integrating Theory and Practice in Parallel File Systems - Thomas Cormen(Correct)
Several algorithms for parallel disk systems have appeared in the literature recently, and
they are asymptotically optimal in terms of the number of disk accesses. Scalable systems
with parallel disks... / of parallel-I O software and hardware should be influenced by these br independent I O. There is no hardware parity maintained across the
2348.4 Design and Analysis of a Scalable Cache Coherence Scheme based on.. - Min, Baer (1992)(Correct)
this paper, we restrict ourselves to a study of
caching of shared variables.
The presence of multiple private caches introduces the well-known cache coherence problem
[7]. Hardware based protocols to ... / process. It is automatic in hardware-based caching mechanisms and can br cache coherence problem Hardware based protocols to solve the
2347.4 A Survey of Parallelism in Communication Subsystems - Heddes, Rütsche (1994)(Correct)
This paper surveys parallelism in communication subsystems. Amodel that describes parallelism
in terms of its form and its level, or granularity, is presented. The model describes high--level parallel... / parallelism in dedicated hardware. Major projects in the br for example by using special hardware devices or by exploiting
2342.3 Fault-Tolerance by Replication in Distributed Systems - Guerraoui, Schiper (1996)(Correct)
The paper is a tutorial on fault-tolerance by replication in
distributed systems. We start by defining linearizability as the correctness
criterion for replicated services (or objects), and present ... / top of faulttolerant replicated hardware. This may indeed be a viable
2338.3 Residency Check Elimination for Object-Oriented Persistent Languages - Antony Hosking (1997)(Correct)
We explore the ramifications of object residency assumptions and their impact on residency
checking for several subroutine dispatch scenarios: procedural, static object-oriented, and dynamic
(virtual)... / or performed implicitly in hardware and giving rise to some kind of br and giving rise to some kind of hardware trap for non-resident objects. A
2331.8 Formulations and Formalisms in Software Architecture - Shaw (1995)(Correct)
Software architecture is the level of software design that addresses the overall structure and properties of software systems. It provides a focus for certain aspects of design and development that ... / precision and accuracy minimum hardware configuration security need to br need to access specialized hardware For example this product
2325.5 Training Mixture Density HMMs with SOM and LVQ - Kurimo (1997)(Correct)
The objective of this paper is to present experiments and discussions of how some neural network algorithms can help the phoneme recognition with mixture density hidden Markov models (MDHMMs). In MD... / system to exploit the improving hardware facilities. This test is also br equipped with special neural hardware. Although the best result is
2325.0 A Network Interface Unit To Support Continuous Media - Blair, Campbell, Coulson, García.. (1992)(Correct)
The combination of high speed multi-service networks and multimedia
workstations offers considerable potential for the development of distributed
multimedia applications. However, many challenges rema... / been used. Early efforts used DMA hardware with incoming data notified to br is the specialised nature of the hardware and systems support required by
2323.0 Improving the Performance of DSM Systems via Compiler Involvement - Mirchandaney (1994)(Correct)
Distributed shared memory (DSM) systems provide an illusion of shared memory on distributed
memory systems such as workstation networks and some parallel computers such as the Cray T3D and
Convex SPP-... / provided either by enhancements to hardware software or a combination br and TreadMarks or in hardware such as the Cray T D or a
2316.5 LCM: Memory System Support for Parallel Language Implementation - James Larus (1994)(Correct)
Higher-level parallel programming languages can be
difficult to implement efficiently on parallel machines.
This paper shows how a flexible, compiler-controlled
memory system can help achieve good per... / language C The hardware base for RSM is a parallel br those without shared-memory hardware Tempest offers a program
2316.2 HPF on Fine-Grain Distributed Shared Memory: Early Experience - Chandra, Larus (1996)(Correct)
This paper examines the performance of a suite of HPF applications on a network of workstations
using two different compilation approaches: generating explicit message-passing code, and
generating c... / limit our choice of platforms to hardware implemented shared memory such br software or a combination of hardware and software. Recently
2305.2 Constructing Computationally Efficient Bayesian Models via.. - Myllymäki, Tirri (1995)(Correct)
Given a set of samples of an unknown probability distribution, we study the problem of
constructing a good approximative Bayesian network model of the probability distribution in
question. This task c... / efficiently on massively parallel hardware as there is a direct mapping br especially if massively parallel hardware is available. Secondly the
2304.3 Parallel Algorithms For Placement And Routing In VLSI Design - Brouwer (1991)(Correct)
INTRODUCTION
1.1. Parallel Processing for CAD
In view of the increasing complexity of very large scale integrated circuits (VLSI),
there is a growing need for sophisticated computer-aided design (CAD)... / multiprocessors Special purpose hardware accelerators have been developed br suitable for a special purpose hardware routing machine made up of a
2300.5 Concurrency and Backtracking in Vienna Parallel Logic - Kühn, Pohlai, Puntigam (1993)(Correct)
Vienna Parallel Logic ( VPL ) is a persistent language and programming system that
supports the concurrent execution of communicating processes and the computation
of several alternative solutions by ... / in networking and parallel hardware are moving software development br program flow befitting the hardware. Function replication. In a
2292.7 Isatis: A Customizable Distributed Object-Based Runtime System - Michel Banatre(Correct)
This paper discusses the design and implementation of a
customizable distributed object-based runtime system. Our main goal
in the system's design was to provide a distributed object-based system
su... / embedding the least amount of hardware-dependent code. . The Isatis
2283.4 Computational Genetics, Physiology, Metabolism, Neural Systems.. - Yeager(Correct)
This paper discusses a computer model of living organisms and the ecology they exist in called
PolyWorld. PolyWorld attempts to bring together all the principle components of real living systems
into ... / systems in computers and robotic hardware. The potential benefits of an br Iris to take advantage of its hardware renderer for all the vision
2281.2 Issues in the Design of Distributed Shared Memory Systems - Mohindra (1993)(Correct)
This thesis examines the various system issues that arises in the design of distributed shared memory systems. ion : : : : : : : : : : : : : : : 2 2 Memnet Architecture : : : : : : : : : : : : : : : :... / . Hardware Technology br . Hardware assisted distributed shared
2272.8 Making Paths Explicit in the Scout Operating System - Mosberger, Peterson (1996)(Correct)
This paper makes a case for paths as an explicit abstraction
in operating system design. Paths provide a unifying
infrastructure for several OS mechanisms that have
been introduced in the last several... / domains systems often impose hardware-enforced protection at layer br separate fault domain. Similarly hardware-enforced protection could be
2269.1 Reflectance Based Object Recognition - Nayar, Bolle (1996)(Correct)
Neighboring points on a smoothly curved surface have similar surface normals and
illumination conditions. Therefore, their brightness values can be used to compute the ratio
of their reflectance coeff... / proposed a one-dimensional hardware implementation for computing br method. Fairly straightforward hardware implementations can be
2256.6 Stack-Based Typed Assembly Language - Morrisett, Crary, Walker, Glew (1998)(Correct)
In previous work, we presented Typed Assembly Language (TAL). TAL is sufficiently expressive to serve as a target language for compilers of high-level languages such as ML. That work assumed such a co... / many machine architectures have hardware mechanisms that expect programs
2254.2 Continual Queries for Internet Scale Event-Driven Information Delivery - Liu (1999)(Correct)
In this paper we introduce the concept of continual queries, describe the design of a distributed event-driven continual query system \Gamma OpenCQ, and outline the initial implementation of OpenCQ on... / object model. An object can be a hardware or a software component e.g.a br from a diagnostic routine on a hardware component Furthermore the
2249.5 The ParcTab Ubiquitous Computing Experiment - Want, Schilit, Adams, Gold..(Correct)
This paper describes
the UbiquitousComputing philosophy, the PARCTAB system, user-interface issues for small
devices, and our experience developing and testing a variety of mobile applications.
1 INTR... / in designing the PARCTAB hardware nevertheless the system as br were ffl To design a mobile hardware device the PARCTAB that