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.
CMAPS: A Cosynthesis Methodology for Application-Oriented Parallel.. - Hsiung (2000)(Correct)
ing with credit is permitted. To copy otherwise, to republish,
to post on servers, to redistribute to lists, or to use any component
of this work in other works, requires prior specific permission and... / specifications. Working in the hardware-software codesign perspective a br graph of elementary problems a hardware-software solution is derived such
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
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
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
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.
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
Load-Reuse Analysis: Design and Evaluation - Bodik, Gupta, Soffa (1999)(Correct)
Load-reuse analysis finds instructions that repeatedly access the
same memory location. This location can be promoted to a register,
eliminating redundant loads by reusing the results of prior memory
... / comparison caches are the best hardware defense against the von Neumann br can improve the suboptimal hardware cache replacement strategy. This
Compile/Run-time Support for Threaded MPI Execution on.. - Tang, Shen, Yang (1999)(Correct)
MPI is a message-passing standard widely used for developing high-performance parallel applications. Because of the restriction in the MPI computation model, conventional implementations on shared mem... / low-level functions and hardware support specific to the SGI br advantages of more low-level OS hardware support for which we do not have
The Jalapeño Dynamic Optimizing Compiler for Java - Burke, Choi, Fink, Grove, Hind.. (1999)(Correct)
The Jalape~no Dynamic Optimizing Compiler is a key component of the Jalape~no Virtual Machine, a new Java 1 Virtual Machine (JVM) designed to support efficient and scalable execution of Java applicati... / Compiler to a variety of hardware platforms. Building a dynamic br combined with a collection of hardware performance monitor information
Parallel RAMs with Owned Global Memory and Deterministic Context-Free .. - Dymond, Ruzzo (1999)(Correct)
We identify and study a natural and frequently occurring subclass
of Concurrent Read, Exclusive Write Parallel Random Access
Machines (CREW-PRAMs). Called Concurrent Read, Owner Write,
or CROW-PRAMs, ... / model implemented using physical hardware in which every memory cell is br between the amounts of hardware used on the two machines.Our
Efficient Support for P-HTTP in Cluster-Based Web Servers - Aron, Druschel, Zwaenepoel (1999)(Correct)
This paper studies mechanisms and policies
for supporting HTTP/1.1 persistent connections
in cluster-based Web servers that employ contentbased
request distribution. We present two mechanisms
for the ... / becoming an increasingly popular hardware platform for cost-effective high br uses substantially more powerful hardware than the back-ends. It is
Forced Simulation: A Formal Approach to Component-Based Synthesis - Roop, Sowmya, Ramesh (1999)(Correct)
Embedded systems are application-specific digital systems which are normally
designed using a microprocessor along with a set of programmable
hardware and software components. Component-based synthesi... / along with a set of programmable hardware and software components. br to the reuse of a vast library of hardware and software components and also
Practical Application of Model Checking in Software Verification - Havelund, Skakkebaek (1999)(Correct)
This paper presents our experiences in applying the Java
PathFinder (Jpf), a recently developed Java to Spin translator, in the
finding of synchronization bugs in a Chinese Chess game server applica... / Current trends in software and hardware development indicate that br gained acceptance within hardware and protocol
A methodology for proving control systems with Lustre and PVS - Bensalem, Caspi, Parent-Vigouroux.. (1999)(Correct)
In this paper, we intend to show how to use the synchronous dataflow
language Lustre, combined with the PVS proof system in deriving
provably-correct (distributed) control programs. We hopefully illus... / devoted to ensuring and improving hardware and software reliability. br of control systems are shared with hardware systems and protocols and a
Model Checking TLA+ Specifications - Yu, Manolios, Lamport (1999)(Correct)
TLA
+
is a specification language for concurrent and reactive
systems that combines the temporal logic TLA with full first-order logic
and ZF set theory. TLC is a new model checker for debugging a... / generally described in either a hardware-description language or a br from TLA into a hardware-description language seemed like
A Comparison of Software Code Reordering and Victim Buffers - Iris Bahar (1999)(Correct)
Instruction cache performance is critical to instruction fetch
efficiency and overall processor performance. The layout of
an executable has a substantial effect on the cache miss rate
during executio... / conflicts. Alternatively the hardware configuration of the instruction br code-placement algorithms to hardwarebased schemes using a full
Processes in Electronic Commerce - Alonso, Hagen, Lazcano (1999)(Correct)
Trading communities, virtual business processes and virtual
enterprises are key elements in today's Electronic Commerce.
In this paper, we argue that supporting these notions
is similar to supporting ... / Today the investment in hardware and communication necessary to
Drawing the Red Line in Java - Back, Hsieh (1999)(Correct)
Software-based protection has become a viable alternative
to hardware-based protection in systems based on languages
such as Java, but the absence of hardware mechanisms
for protection has been couple... / become a viable alternative to hardware-based protection in systems based br such as Java but the absence of hardware mechanisms for protection has
Comprehensive Hardware and Software Support for Operating Systems to.. - Chun Xia (1999)(Correct)
High-performance multiprocessor workstations are becoming increasingly popular. Since
many of the workloads running on these machines are operating-system intensive, we are interested
in what sort of ... / Comprehensive Hardware and Software Support for br evaluate a comprehensive set of hardware and software supports. These
Formal Verification of Word-Level Specifications - Höreth, Drechsler (1999)(Correct)
Formal verification has become one of the most important
steps in circuit design. In this context the verification
of high-level Hardware Description Languages (HDLs), like
VHDL, gets increasingly imp... / the verification of high-level Hardware Description Languages HDLs br verification of high-level Hardware Description Languages HDLs
Formal System Design Based on the Synchrony Hypothesis, Functional.. - Sander, Jantsch (1999)(Correct)
Formal approaches to HW and system design have not
been generally adopted, because designers often view the
modelling concepts in these approaches as unsuitable for
their problems. Moreover, they are ... / allows to associate a direct hardware interpretation. In particular we br which cannot be implemented in hardware directly. The modelling
Application Steering For Large Clusters Of Workstations In High.. - Gutleber (1999)(Correct)
This paper presents an approach for managing applications
in a computing cluster. The problem is that
several requirements such as flexibility, scalability
and inclusion of diverse software have to be... / level is implemented entirely in hardware. The second stage is done in a
Modeling Resources for Activity Coordination and Scheduling - Podorozhny, Lerner, Osterweil (1999)(Correct)
This paper describes experience in applying a resource management
system to problems in two areas of agent and activity coordination.
In the paper we argue that precise specification of resources is... / operating systems reason about hardware resources such as storage br in a particular language while hardware devices would not have this
Partitioning and Pipelining for Performance-Constrained.. - Bakshi, Gajski (1999)(Correct)
In order to satisfy cost and performance requirements, digital signal processing and telecommunication
systems, are generally implemented with a combination of different components,
from custom-design... / for Performance-Constrained Hardware Software Systems Smita Bakshi br Category System-Level Synthesis Hardware Software Co-design Keywords
Dynamic 3D Graphics Workload Characterization and the Architectural.. - Mitra, Chiueh (1999)(Correct)
Although PC-class 3D graphics hardware has made significant strides in the last several
years, the underlying architectural design principles are still generally considered
as a black art. The quantit... / Although PC-class D graphics hardware has made significant strides in br the design focus of the underlying hardware architecture is gradually driven
Tracking Control of a Pendulum using a Numerically Efficient State.. - Madhavan (1999)(Correct)
This paper reports on the tracking control of a pendulum. The particular contributions of this paper lie
in the development of a numerically efficient approach for the state estimation of a class of n... / and does not demand any additional hardware configurations. Estimation error br and does not demand any additional hardware configurations Madhavan
Software Trace Cache - Alex Ram'irez (1999)(Correct)
In this paper we address the important problem of instruction
fetch for future wide issue superscalar processors. Our
approach focuses on understanding the interaction between
software and hardware te... / interaction between software and hardware techniques targeting an increase br objective for instance of the Hardware Trace Cache HTC We design a
The Case for Application-Specific Benchmarking - Seltzer, Krinsky, Smith, Zhang (1999)(Correct)
this paper, we argue for an
application-directed approach to benchmarking, using
performance metrics that reflect the expected behavior of
a particular application across a range of hardware or
softwa... / application across a range of hardware or software platforms. We br of a system whether it be hardware or software. Although such
A Fast Bit-Vector Algorithm for Approximate String Matching Based on.. - Gene Myers (1999)(Correct)
The approximate string matching problem is to find all locations at which a query of length
m matches a substring of a text of length n with k-or-fewer differences. Simple and practical bitvector
alg... / results exploited the hardware parallelism of bit-vector br in the instruction pipeline hardware. Figure depicts the values of
Hazard Analysis in Formal Specification - Sere, Troubitsyna (1999)(Correct)
Action systems have proven their worth in the design of safety-critical systems.
The approach is based on a firm mathematical foundation within which
the reasoning about the correctness and behaviour ... / safe and robust systems both hardware and software. Hansen et al.
New Directions in Debugging Hardware Designs - Wotawa (1999)(Correct)
This paper introduces a new approach in the debugging of hardware designs. The design
is given as a VHDL program and converted in a component connection model. The conversion is
similar to the synthe... / New Directions in Debugging Hardware Designs DBAI-TR- - Franz br New Directions in Debugging Hardware Designs Franz Wotawa
Spontaneous, Short-term Interaction with Mobile Robots - Schulte, Rosenberg, Thrun (1999)(Correct)
Human-robot interaction has been identified as
one of the major open research directions in mobile
robotics. This paper considers a specific type of interaction:
short-term and spontaneous interaction... / was realized with a specific hardware interface consisting of a br It first describes a specific hardware interface consisting or a
Group Rendezvous in a Synchronous, Collaborative Environment - Roth, Unger (1999)(Correct)
Before a session in a synchronous, collaborative environment can
really start, various actions have to be performed: users have to be informed
about planned sessions, network access paths between se... / be highly reliable with regard to hardware as well as software. A stopped br abnormally e.g. because of hardware problems is no longer able to
Myths and Methods: Is There a Scientific Basis for Y2K Inspections? - Parnas (1999)(Correct)
Although it is possible to use scientifically based mathematical models in the analysis
of software, most programmers rely on their intuitive understanding instead. With
complex programs, our intuitio... / is a software problem. If the hardware is not programmable there is no br turn of a century. All digital hardware that may store dates must be
Experimental ATM Network Interface Performance Evaluation - Dollas, Papadimitriou, Mathioudakis (1999)(Correct)
Traditional methods of measuring network interface performance have been based on throughputsensitive
benchmarks. However, the performance of an ever-increasing number of applications depends on
the l... / based on a combined software-hardware cooperation. Our methods address br the exact same configuration of a hardware platform performs substantially
High Efficient Parallel Computation of Resonant Frequencies of.. - Weisong Shi (1999)(Correct)
A new approach of parallel implementation of FDTD method on a novel software DSM (Distributed
Shared Memory) system is proposed and implemented in this paper. Computation of the resonant
frequency o... / NOW becomes an ideal hardware platform for high performance br Users can use it without any hardware investment and high performance
SCI-PVM: Parallel Distributed Computing on SCI Workstation Clusters - Zoraja, al. (1999)(Correct)
Workstation and PC clusters interconnected by SCI (Scalable Coherent Interface)
are very promising technologies for high performance cluster computing.
Using commercial SBus to SCI interface cards and... / with first generation SCI hardware beta device drivers and br environments are based upon hardware consisting of a collection of
Finite-State Self-Stabilizing Protocols in Message-Passing Systems - Rodney Howell (1999)(Correct)
We define a finite-state message-passing model using
guarded commands. This model is particularly appropriate
for defining and reasoning about self-stabilizing protocols,
due to the well-known result ... / abstractions. The underlying hardware includes not only the br actually being transmitted in a hardware wire. When the number of
Exploiting Positive Equality in a Logic of Equality with.. - Bryant, German, Velev (1999)(Correct)
In using the logic of equality with unininterpreted functions to verify
hardware systems, specific characteristics of the formula describing the correctness
condition can be exploited when deciding ... / functions to verify hardware systems specific characteristics br suitable abstractions to the hardware model we can express the
Real-Time Maximum Intensity Projection - Mroz, König, Gröller (1999)(Correct)
Maximum Intensity Projection (MIP) is a volume rendering technique which is used to
extract high-intensity structures from volumetric data. At each pixel the highest data
value encountered along the c... / direction. For use on low-end hardware a preview-mode is included which br empty spaces. Use graphics hardware Heidrich at al. use
The CMUnited-98 Champion Small-Robot Team - Veloso, Bowling, Achim, Han, Stone (1999)(Correct)
In this chapter, we present the main research contributions
of our champion CMUnited-98 small robot team. The team is a multiagent
robotic system with global perception, and distributed cognition
an... / describe the main features of the hardware design of the physical robots br Section briefly overviews the hardware design of the robots. Section
SOBER: A Stream Cipher based on Linear Feedback over GF(2 g ) - Rose (1999)(Correct)
This paper introduces a mechanism for creating a family of stream ciphers
based on Linear Feedback Shift Registers over the Galois Finite Field of order
2 unknown
1
SOBER: A Stream Cipher based on L... / Multiple Access standard or hardware generated stream ciphers such as br GSM digital phone standard. Hardware based stream ciphers have the
Enhancing OpenMP With Features for Locality Control - Chapman, Mehrotra, Zima (1999)(Correct)
OpenMP is a set of directives extending Fortran and C which provide a shared
memory programming interface for shared-address space machines. However,
there are no directives for controlling the locali... / equidistant i.e.the underlying hardware does not exhibit any memory br memory locality. However due to hardware scaling issues a large number
Evolving an Optimal De/Convolution Function for the Neural Net.. - de Garis, Nawa, Hough, Korkin (1999)(Correct)
This paper reports on efforts to evolve an optimum de/convolution
function to be used to convert analog to binary signals (spike
trains) and vice versa for the binary input/output signals of the neu... / The CBM is an FPGA based piece of hardware which will be used to evolve br an FPGA based piece of specialist hardware which grows and evolves cellular
Fast Synthetic Vision, Memory, and Learning Models for Virtual Humans - Kuffner, Jr., Latombe (1999)(Correct)
This paper presents a simple and efficient method of
modeling synthetic vision, memory, and learning for autonomous
animated characters in real-time virtual environments.
The model is efficient in ter... / animation. Graphics rendering hardware is used to simulate the visual br a behavior script. The rendering hardware is used to simulate the visual
MINERVA: A Second-Generation Museum Tour-Guide Robot - Thrun, Bennewitz, Burgard, Cremers.. (1999)(Correct)
This paper describes an interactive tour-guide robot, which
was successfully exhibited in a Smithsonian museum. During
its two weeks of operation, the robot interacted with
thousands of people, traver... / map learning path planning hardware interface modules motors br Greg Armstrong for his excellent hardware support. Special thanks also to
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Parallel Evolutionary Algorithms: A Review - Adamidis (1998)(Correct)
During recent years the area of Evolutionary Algorithms (EAs) in general and the field of Parallel
Evolutionary Algorithms (PEA) in particular has matured up to a point, where the application to a
com... / techniques for EAs on parallel hardware. . Introduction Evolutionary
Enabling Large-scale Simulations: Selective Abstraction Approach to.. - Huang, Estrin, Heidemann (1998)(Correct)
ion Approach to The Study of Multicast Protocols
Polly Huang, Deborah Estrin, John Heidemann
USC/Information Science Institute
University of Southern California
4676 Admiralty Way, Suite 1001
Marina d... / but it can require expensive hardware and have high overhead. In this br simulation can also require hardware which is not widely available or
On Periodic Resource Scheduling for Continuous Media Databases - Garofalakis, Özden (1998)(Correct)
The Enhanced Pay-Per-View (EPPV) service model provides an
effective way of delivering continuous media (CM) data clips to a
large number of different clients. The aim is to share CM streams
among var... / we should note that with current hardware pricing and stream parameters br and arbitrary lengths. Given a hardware configuration and a collection
Accelerating OBDD-Minimization by Means of Structural and Semantical.. - Meinel, Slobodová (1998)(Correct)
In many different applications in computer science, the representation of Boolean functions
is done in terms of Ordered Binary Decision Diagrams (OBDD). This is particulary true in the
field of comput... / run on the same software and hardware basis and on the same set of br within the same software and hardware environment. All heuristics were
A case for merging the ILP and DLP paradigms - Quintana, Espasa, Valero (1998)(Correct)
The goal of this paper is to show that instruction
level parallelism (ILP) and data-level parallelism
(DLP) can be merged in a single architecture to execute
regular vectorizable code at a performance... / is very costly in terms of hardware and at some point may even br access memory is conveyed to the hardware through the stride information.
An Overview of the CORBA Portable Object Adapter - Pyarali, Schmidt (1998)(Correct)
An Object Adapter is an integral part of the Common Object
Request Broker Architecture (CORBA). An Object Adapter assists
an Object Request Broker (ORB) in delivering client requests
to server object ... / backplanes and shared memory. Hardware CORBA shields applications from br stemming from differences in hardware such as storage layout and data
Lightweight Transactions on Networks of Workstations - Athanasios Papathanasiou (1998)(Correct)
Although transactions have been a valuable abstraction
of atomicity, persistency, and recoverability, they
have not been widely used in programming environments
today, mostly because of their high ove... / involve a power outage b hardware error and c software error. br concurrently. Software and hardware errors in different PCs
Cascaded Execution: Speeding Up Unparallelized Execution on.. - Anderson, Nguyen, Zahorjan (1998)(Correct)
Both inherently sequential code and limitations of analysis techniques prevent full parallelization
of many applications by parallelizing compilers. Amdahl's Law tells us that as parallelization
beco... / present results for two different hardware platforms a PC with Pentium br are independent of a particular hardware configuration. Our results show
Network Performance Assessment under the BSP Model - Gerbessiotis, Petrini (1998)(Correct)
The BSP model by L.G. Valiant has been proposed as a unifying and bridging
model for the design, analysis and programming of general purpose parallel computing
systems. A number of libraries have been... / the BSP model on a particular hardware platform and predict its br performance of three parallel hardware platforms a Cray T D an IBM
Retargetable Code Generation based on Structural Processor.. - Leupers, Marwedel (1998)(Correct)
Design automation for embedded systems comprising both hardware and software
components demands for code generators integrated into electronic CAD systems. These code
generators provide the necessar... / embedded systems comprising both hardware and software components demands br structural models incorporate more hardware details than purely behavioral
Improving Wireless LAN Performance via Adaptive Local Error Control - Eckhardt, Steenkiste (1998)(Correct)
Wireless links can exhibit high error rates due to attenuation,
fading, or interfering active radiation sources. To
make matters worse, error rates can be highly variable due
to changes in the wireles... / The lowest level solution is hardware error control techniques such as br with a transparent low-level hardware approach. An alternative is
RENEW: A Tool for Fast and Efficient Implementation of Checkpoint.. - Nuno Neves (1998)(Correct)
This paper describes the design, implementation, and
evaluation of a run-time system for clusters of workstations
that allows the rapid testing of checkpoint protocols
with standard benchmarks. To ach... / done in specialized kernels or hardware systems making the accurate br the two studies e.g.hardware and applications we reached the
The Effect of Instruction Fetch Bandwidth on Value Prediction - Gabbay, Mendelson (1998)(Correct)
Value prediction attempts to eliminate true-data
dependencies by dynamically predicting the outcome
values of instructions and executing true-data dependent
instructions based on that prediction. In t... / of value prediction and its hardware organization. . Introduction br execution model where the hardware is expected to extract the
User Customization of Virtual Network Interfaces with U-Net/SLE - Oppenheimer, Welsh (1998)(Correct)
We describe U-Net/SLE (Safe Language Extensions), a user-level network interface architecture which enables
per-application customization of communication semantics through downloading of user extensi... / the spectrum of network adapter hardware upon which these systems are br intervention to multiplex the hardware to advanced NICs
Quantum Computing - Shor (1998)(Correct)
The Church-Turing thesis says that a digital computer is a universal computational device; that is, it is able to simulate any physically realizable computational device. It has generally been belie... / reliable quantum computing hardware. Mathematics Subject br obtainable by current computer hardware. On the other hand it can be
Principles for Optimizing CORBA Internet Inter-ORB Protocol.. - Aniruddha Gokhale (1998)(Correct)
The Internet Inter-ORB Protocol (IIOP) enables heterogeneous
CORBA-compliant Object Request Brokers (ORBs) to
interoperate over TCP/IP networks. IIOP uses the Common
Data Representation (CDR) transfer... / system backplanes. ffl Hardware CORBA shields applications from br applications from differences in hardware such as RISC vs. CISC instruction
Home-based SVM protocols for SMP clusters: Design and Performance - Samanta (1998)(Correct)
As small-scale shared memory multiprocessors proliferate in the market, it is very attractive to construct largescale systems by connecting smaller multiprocessors together in software using efficient... / advantage of the intra-node hardware cache coherence and br task. In this environment the hardware coherence protocol operates at
Performance Analysis of Communication Systems Formally Specified in.. - Steppler (1998)(Correct)
This paper first presents the SDL--oriented method of
software design and then points out how to handle the
non--functional, quantitative design of an SDL--system using
performance analysis. Finally, ... / model SDL System design model hardware Adaptation to Partitioning br be humans other systems or hardware. The meaning of all concepts
Decoupling Local Variable Accesses in a Wide-Issue Superscalar.. - Sangyeun Cho (1998)(Correct)
Providing adequate data bandwidth is extremely important for a wide-issue superscalar processor
to achieve its full performance potential. Adding a large number of ports to a data cache, however,
beco... / inefficient and can add to the hardware complexity significantly. This br with support from the compiler and hardware partitions the memory stream
Online Self-Calibration For Mobile Robots - Roy, Thrun (1998)(Correct)
This paper proposes a statistical method for calibrating
the odometry of mobile robots. In contrast to previous approaches,
which require explicit measurements of actual
motion when calibrating a robo... / do not require any specialized hardware such as in the approach of br instead of changing the robot's hardware the approach in Bor
Predicting Indirect Branches via Data Compression - Kalamatianos, al. (1998)(Correct)
Branch prediction is a key mechanism used to achieve high performance on multiple
issue, deeply pipelined processors. By predicting the branch outcome at the instruction
fetch stage of the pipeline, s... / that for approximately the same hardware budget the PPM predictor can br to effectively utilize available hardware resources. Control-flow changes
The Remote Enqueue Operation on Networks of Workstations - Evangelos Markatos (1998)(Correct)
Modern networks of workstations connected by Gigabit networks
have the ability to run high-performance computing applications
at a reasonable performance, but at a significantly lower cost. The perf... / Compared to other software and hardware queueing alternatives br in software we propose a hardware remote enqueue operation that
On Using Network RAM as a non-volatile Buffer - Pnevmatikatos, Markatos, Maglis.. (1998)(Correct)
File systems and databases usually make several synchronous disk write accesses in order
to make sure that the disk always has a consistent view of their data, so that it can be
recovered in the case ... / does not require specialized hardware. To provide a non-volatile br replication to survive both hardware and software failures there are
Performance Enhancement of Desktop Multimedia with Multithreaded.. - Pontius (1998)(Correct)
OF THE THESIS ................................................................VIII
1. INTRODUCTION....................................................................................... 1
1.1. THE PR... / . . . br lightweight threads entirely in hardware with instructions for managing
Parallelization Strategies for Ant Colony Optimization - Thomas Stützle (1998)(Correct)
Ant Colony Optimization (ACO) is a new population oriented search
metaphor that has been successfully applied to NP-hard combinatorial optimization
problems. In this paper we discuss parallelization... / they are applied to and on the hardware available. In this article we br has to solve and the available hardware. Of special appeal to randomized
Combining Symbolic Model Checking with Uninterpreted Functions for.. - Sergey Berezin (1998)(Correct)
We present a new approach to the verification of hardware systems with data dependencies using
temporal logic symbolic model checking. As a benchmark we take Tomasulo's algorithm [HP96]
for out-of-ord... / approach to the verification of hardware systems with data dependencies br are written back. In the actual hardware implementations of Tomasulo's
Virtual Reality for Visualisation - Knight (1998)(Correct)
Virtual reality is an effective way (in many situations) for creating 3D visualisations, although the
visualisations need to be designed with both 3D and virtual reality in mind to be most useful. Man... / does not require this level of hardware. Churchill and Snowdon Chur br sophisticated as the available hardware improves. Instead of just head
Eliminating Conflict Misses for High Performance Architectures - Rivera, Tseng (1998)(Correct)
Many cache misses in scientific programs are due to conflicts
caused by limited set associativity. Two data-layout transformations,
inter- and intra-variable padding, can eliminate
many conflict misse... / on modern microprocessors. Due to hardware constraints caches have limited br Conflicts may be eliminated with hardware or operating systems
Improving Efficiency of Symbolic Model Checking for State-Based.. - Chan, Anderson, Beame, Notkin (1998)(Correct)
We present various techniques for improving the time and space efficiency
of symbolic model checking for system requirements specified
as synchronous finite state machines. We used these techniques
in... / falsifying many industry-scale hardware systems. Its application to br effort on formal verification of hardware has been fo- This work was
A High-Level Dataflow System - Verdoscia, Vaccaro (1998)(Correct)
A High Level Dataflow System. This paper presents a new dataflow graph model,
where only data tokens are allowed to flow. First we introduce a High-Level Dataflow
System (HLDS) to describe a formal da... / is that it maps directly to hardware through a one-to-one br and the rapid decrease in hardware costs have raised interest in
The Design Of A Multithreaded Programming Course And Its Accompanying .. - Shene, Carr (1998)(Correct)
With the continuing emergence of multithreaded computation as a powerful
vehicle for science and engineering, the need for an introduction to
multithreaded programming for scientists and engineers is ... / gain from multiprocessing hardware increased application br for Portal which uses a special hardware making it unportable. Hartley's
Fast Thread Communication and Synchronization Mechanisms for a.. - Keckler (1998)(Correct)
Much of the improvement in computer performance over the last twenty years has come from
faster transistors and architectural advances that increase parallelism. Smaller feature sizes have
decreased t... / writes and synchronize using a hardware barrier instruction. These br be completely satisfied in hardware by a remote memory module.
Rapid Prototyping of Specification Language Implementations - Leucker, Noll (1998)(Correct)
Specification languages such as LOTOS
and SDL play an important role in the design and
implementation of distributed systems. Their formal
syntax and semantics supports the development
of compilers an... / specifying and verifying complex hardware and software systems. The formal br an important role in modeling hardware systems the improvement is
Multicast for RSVP Switching - An Extended Multicast Model with QoS.. - Fourmaux, Fdida (1998)(Correct)
this paper.
The "RSVP Multicast" model provides a multipoint-to-multipoint communication
model with QoS. It enables flows to request several types of reservations
with aggregation of resources and fil... / environment over an ATM switching hardware. Keywords Multicast QoS IP br environment over an ATM switching hardware and introduce our test-bed. .
n-RTL Implementation - April Universitat (1998)(Correct)
NthLib is the concrete n-RTL implementation done in the context of the NANOS project to
support multi-level and fine-grain parallelism in a multiprogrammed environment. This deliverable
presents the d... / of applications on current hardware. The NANOS run-time execution br accurately know the state of the hardware and software resources
Costing parallel programs as a function of shapes - Jay (1998)(Correct)
Efficient, portable parallel programming requires cost models to compare
different possible implementations. In turn, these require knowledge of the
shapes of the data structures being used, as well a... / used as well as knowledge of the hardware parameters. This paper shows how br research has focused on capturing hardware characteristics in a form that
Evolving and Breeding Robots - Lund, Miglino (1998)(Correct)
Our experiences with a range of evolutionary robotic experiments
have resulted in major changes to our set-up of artificial life experiments
and our interpretation of observed phenomena. Initially, we... / an alternative form of evolvable hardware. By combining all these br detour behaviour c evolving the hardware body structure. Thanks to a LEGO
On the Role of Inter-Component Dependence in Supporting Automatic.. - Kon, Campbell (1998)(Correct)
Recent developments in Component technology enable the construction of complex software
systems by assembling together o -the-shelf components. However, it is still diÆcult to develop
eÆcient, reliabl... / as dependencies on persistent hardware and software components while br Prerequisites usually refer to hardware resources QoS requirements and
FPGA Based Custom Computing Machines for Irregular Problems - Abramson, Logothetis, Postula.. (1998)(Correct)
Over the past few years there has been increased interest
in building custom computing machines (CCMs) as a way
of achieving very high performance on specific problems.
The advent of high density fiel... / machines without building specific hardware. In many cases the performance br use of flexible address generation hardware the use of gather-scatter array
Rate Adaptation Schemes in Networks with Mobile Hosts - Talukdar, Badrinath (1998)(Correct)
This paper considers the problem of handoff management
in an Integrated Services Packet Network supporting mobile
hosts. In such a network, links may become overloaded
due to a high concentration of m... / environment recently developed hardware for video coding can adaptively
Implementing Protocols in Java: The Price of Portability - Bobby Krupczak (1998)(Correct)
As the number and variety of Web- and network-based applications continues to increase, so does the
need for flexible communication protocols and services to support them. Traditionally, a major imped... / equivalent to four years of hardware performance gains i.e. br protocol performance on current hardware is roughly equivalent to the
Protecting the Itinerary of Mobile Agents - Wilhelm, Staamann (1998)(Correct)
Systems that support mobile agents are increasingly being used on the global Internet. An important application that is considered for these agents is electronic commerce, where agents roam the World ... / a trusted and tamper-proof hardware that can be used to enforce a br will introduce a piece of trusted hardware the TPE and a protocol the
Data compression of multiresolution surfaces - Klein, Gumhold (1998)(Correct)
In this paper we introduce a new compressed representation
for multiresolution models (MRM) of triangulated surfaces of 3D-objects.
Associated with the representation we present compression and deco... / triangles is widely supported by hardware and therefore fast. On the br even on high performance graphics hardware. Various techniques were
Rapid Prototyping of Dataflow Programs on Hardware/Software.. - Eisenring, Teich, Thiele (1998)(Correct)
In this paper, the problem of automatically mapping
large-grain dataflow programs onto heterogeneous hardware
/software architectures is treated. Starting with
a given hardware/software partition, int... / of Dataflow Programs on Hardware Software Architectures br programs onto heterogeneous hardware software architectures is
You Assume, We Guarantee: Methodology and Case Studies - Henzinger, Qadeer, Rajamani (1998)(Correct)
Assume-guarantee reasoning has long been advertised as the method for decomposing
proof obligations in system verification. Refinement mappings (homomorphisms)
have long been advertised as the metho... / decision diagrams Bry for hardware designs and partial-order br communication protocol and a hardware circuit implementing the Tomasulo
Hierarchical Visibility Culling with Occlusion Trees - Bittner, Havran, Slavík (1998)(Correct)
In the scope of rendering complex models with high depth complexity, it is of great importance to design outputsensitive algorithms, i.e., algorithms with the time complexity proportional to the numbe... / This is simple to implement in hardware thus commonly used in today's br this can be carried out using a hardware z-buffer. Teller and Sequin
Thread Migration in Distributed Memory Multicomputers - Milton (1998)(Correct)
While the paradigm offered by SMP designs is relatively clean one, programming paradigms offered on distributed memory platforms rarely offer the same simplicity of comprehension, and ease of use. The... / because it is implemented in hardware. Data is typically divided into br system or in the future by a hardware mechanism. Some CPUs such as
From Early to Late Formal Requirements: a Process-Control Case Study - Dubois, Yu, Petit (1998)(Correct)
In this paper, we consider three distinct and connected
modelling activities at the Requirements Engineering (RE)
level. Within the context of reactive systems, we suggest
how these three activities c... / made up of humans devices hardware and software components. We br the devices software humans and hardware components that interact to make
Integer Linear Programming vs. Graph-Based Methods in Code Generation - Kästner, Langenbach (1998)(Correct)
A common characteristic of many embedded applications is that they are aimed at the
high-volume consumer market, which is extremely cost-sensitive. However many of them
impose stringent performance de... / optimizations so that special hardware features of typical DSP's as br usually provide several hardware resources that can be used in
Parts Orienting with Partial Sensor Information - Akella, Mason (1998)(Correct)
Parts orienting, the process of bringing parts in initially
unknown orientations to a goal orientation, is an important
aspect of automated assembly. Bowl feeders used in industry
rely on a sequence o... / orienting strategies with simple hardware elements. The actions bring the
Fault-Tolerant Clock Synchronization in CAN - Rodrigues, Guimarães, Rufino (1998)(Correct)
This paper presents a new fault-tolerant clock synchronization algorithm
designed for the Controller Area Network (CAN). The algorithm
provides all correct processes of the system with a global timeba... / consists in using the node hardware clock to create a virtual clock br be viewed as implementing in hardware an increasing continuous
Vulnerability Testing of Software System Using Fault Injection - Du, Mathur (1998)(Correct)
We describe an approach for testing a software system for possible security flaws. Traditionally, security testing is done using penetration analysis and formal methods. Based on the observation that ... / Software errors arising from hardware faults for instance are often
A Recovery Mechanism for Shells - Pehlivan, Holyer (1998)(Correct)
An undo facility is an essential component of most interactive
applications. In current operating system shells,
whether textual or graphical, such facilities are typically
very poor. Algorithms are p... / concerned with data loss through hardware failure for example nor with
Competing Technologies, International Diffusion and the Rate of.. - Bassanini, Dosi (1998)(Correct)
This paper is motivated by two 'stylized facts' concerning the dynamics of di#usion of
di#erent technologies competing for the same market niche. a) A stable pattern of market
sharing with no overwhel... / to a user of a particular hardware system depend on the availability br computer keyboards pc-hardwares automobiles etc.
Accelerating Multi-Media Processing by Implementing Memoing in.. - Daniel Citron (1998)(Correct)
This paper proposes a technique that enables performing
multi-cycle (multiplication, division, square-root ...) computations
in a single cycle. The technique is based on the
notion of memoing: saving ... / functions are computed in hardware using iterative algorithms br only in tandem with computation hardware but as CUs themselves. Instead
Towards Fault-Tolerant Mobile Agents - Kassab, Voas (1998)(Correct)
The absence of a trusted computing base for mobile agents poses serious security issues for
both the host system and the survivability of the agent. Once a mobile agent is dispatched,
asserting anythi... / assumed about the host system's hardware or software. This paper presents br suffer from faulty software or hardware and we cannot anticipate what
The Rthreads Distributed Shared Memory System - Dreier, Zahn, Ungerer (1998)(Correct)
Rthreads (Remote threads) is a software distributed shared memory system that supports sharing of global variables on clusters of computers with physically distributed memory. Rthreads uses explicit f... / the operating system and processor hardware. In consequence even
SCI for Local Area Networks - Ryan, Bryhni (1998)(Correct)
We show how the traditional protocol stack, such as TCP/IP, can be eliminated for socket based high
speed communication within a cluster. The SCI shared memory interconnect is used as an example,
and ... / can not be consistently cached by hardware since the IO bus does not br programmer can take advantage of hardware-specific transfer mechanisms. For
Detailed Design of Avionics Control Software - Nilsson, Streiffert, Törne (1998)(Correct)
Avionics control systems are typical real-time systems --
automatic control algorithms are realized as periodic
computations where strict requirements on the timing can
be derived by a control analysi... / development process -neither hardware nor prototypes of the software br of development and the cost of hardware to meet customer requirements.
A General Framework for Mesh Decimation - Kobbelt, Campagna, Seidel (1998)(Correct)
The decimation of highly detailed meshes has emerged
as an important issue in many computer graphics related
fields. A whole library of different algorithms has
been proposed in the literature. By car... / through-put of today's graphics hardware. Hence in order to be able to
HERA: Heterogeneous Extension of RAID - Zimmermann, Ghandeharizadeh (1998)(Correct)
A number of recent technological trends have made data intensive applications such as continuous
media (audio and video) servers a reality. These servers store and retrieve a large volume of data usin... / multiple ways of configuring the hardware and organizing data. These br of issues concerning software hardware mechanics and electronics and
Sparse Representations for Fast, One-Shot Learning - Yip, Sussman (1998)(Correct)
Humans rapidly and reliably learn many kinds of regularities and generalizations.
We propose a novel model of fast learning that exploits the properties
of sparse representations and the constraints i... / constraints imposed by a plausible hardware mechanism. To demonstrate our br model is described as a hardware mechanism that incrementally
Integrating Path and Timing Analysis using Instruction-Level.. - Lundqvist, Stenström (1998)(Correct)
Previously published methods for estimation of the worstcase
execution time on contemporary processors with complex pipelines
and multi-level memory hierarchies result in overestimations owing to in... / detailed timing analysis of hardware platforms. Second by extending br on the actual WCET for a given hardware platform. There are two
Efficient Viscous Design Of Realistic Aircraft Configurations - Campbell (1998)(Correct)
This paper addresses the use of the Constrained
Direct Iterative Surface Curvature (CDISC) design
method in the aircraft design process. A discussion of
some of the requirements for practical use of C... / improvements to computer hardware and flow solver algorithms have br leading-edge radius and internal hardware would have to be included. It
Compiler and Hardware Support for Automatic Instruction Prefetching.. - Todd Mowry (1998)(Correct)
Instruction cache miss latency is becoming an increasingly important performance bottleneck, especially
for commercial applications. Although instruction prefetching is an attractive technique for
tol... / Compiler and Hardware Support for Automatic br prefetching technique whereby the hardware and software cooperate to hide
Safety Analysis of Requirements for a Product Family - Robyn Lutz (1998)(Correct)
A safety analysis was performed on the software requirements
for a family of flight instrumentation displays
of commercial aircraft. First, an existing Safety
Checklist was extended to apply to four-v... / to develop reusable software and hardware components. For the software br the safety aspects of both hardware and software
Interaction Nets and Term Rewriting Systems - Fernandez, Mackie (1998)(Correct)
Maribel Fern'andez and Ian Mackie
DMI - LIENS (CNRS URA 1327)
' Ecole Normale Sup'erieure
45 Rue d'Ulm, 75005 Paris, France
maribel@dmi.ens.fr
LIX (CNRS URA 1439)
' Ecole Polytechnique
91128 Palais... / trivially implemented on parallel hardware. The two formalisms in rewriting
A Comparison of the Memory Management sub-systems in FreeBSD and Linux - Dube (1998)(Correct)
In this article we seek to compare the memory management sub-systems of two popular
and freely available operating systems - FreeBSD and Linux. First a framework is
developed, spelling out the compone... / article.The discussion is kept hardware independent where ever possible br where it is important to discuss hardware dependent concepts an Intel x
A Labelled Sequent System for Tense Logic K t - Bonnette, Goré (1998)(Correct)
The method of labelled tableaux for proof search in modal
logics is extended and modified to give a labelled sequent system for
the tense logic K t . Soundness and completeness proofs are sketched,... / for Concurrency Sti and Hardware Verification NFKT In these
Analyzing the Latency of the Totem Multicast Protocols - Thomopoulos Moser (1998)(Correct)
Multicast group communication protocols provide a foundation
on which distributed systems can be built. The
performance of these protocols is, however, not easy to
characterize or to analyze. This res... / providing unreliable besteffort hardware broadcasts or multicasts. The
Cooperative Prefetching: Compiler and Hardware Support for Effective.. - Luk, Mowry (1998)(Correct)
Instruction cache miss latency is becoming an increasingly
importantperformance bottleneck, especially for commercial
applications. Although instruction prefetching is
an attractive technique for tole... / Prefetching Compiler and Hardware Support for Effective br prefetching technique whereby the hardware and software cooperate to
Distributed Atomic Actions in Ada 95 - Mitchell, Wellings, Romanovsky (1998)(Correct)
This paper discusses the development of a distributed asynchronous atomic
action scheme for Ada 95. The scheme makes use of many unique Ada 95 features
including protected objects, asynchronous tran... / issues concerned with tolerating hardware failures. We assume that all
Performance Advantages Of Merging Instruction- And Datalevel.. - Quintana, Espasa, Valero (1998)(Correct)
This report presents a new architecture based on addding a vector pipeline to a superscalar microprocessor. The
goal of this paper is to show that instruction-level parallelism (ILP) and data-level pa... / achieved with very modest control hardware thus ensuring that clock cycle br machine requires large amounts of hardware to control the execution of the
Locating Objects in Wide-Area Systems - van Steen, Hauck, Homburg, Tanenbaum (1998)(Correct)
Locating mobile objects in a worldwide system requires a scalable location service. An object can be a telephone or a notebook computer, but also a software or data object, such as a file or an electr... / may be implemented in software hardware or a combination thereof are br systems we assume that all hardware and software objects have
Quality Planning for Distributed Collaborative Multimedia Applications - Claypool, Riedl (1998)(Correct)
The tremendous power and low price of today's computer systems have created the opportunity for
exciting applications rich with graphics, audio and video. Despite this potential, planning computer sys... / with different system designs and hardware. Our model uses a quality metric br Apps U Req S Req Architecture Hardware Quality Jitter Perform
How Powerful is Retiming? - Hai Zhou (1998)(Correct)
This paper is about exploring the power of retiming and resynthesis. We show that there
exists a pair of "sequentially equivalent" designs so that one cannot be obtained from another
by a sequence of ... / be able to formally reason about hardware we need to develop mathematical
Cooperative Multiagent Robotic Systems - Arkin, Balch (1998)(Correct)
Introduction
Teams of robotic systems at first glance might appear to be more trouble than they are worth. Why
not simply build one robot that is capable of doing everything we need? There are severa... / .she demonstrated in hardware group behaviors such as flocking
Learning to Predict Rare Events in Event Sequences - Weiss, Hirsh (1998)(Correct)
Learning to predict rare events from sequences of events
with categorical features is an important, real-world,
problem that existing statistical and machine learning
methods are not well suited to so... / is to predict the failure of ESS hardware components from diagnostic alarm
The CMUnited-97 Small Robot Team - Veloso, Stone, Han, Achim (1998)(Correct)
Robotic soccer is a challenging research domain which involves
multiple agents that need to collaborate in an adversarial environment
to achieve specific objectives. In this paper, we describe CMUni... / system. The combination of robust hardware real-time vision and br navigation and communication hardware. Reliable perception
Primitives of Sequential and Parallel Computation - Forsell, Leppänen, Penttonen (1998)(Correct)
This paper addresses the question: 'Are there some primitive concepts that can be
used to explain various aspects of computers and computations?'. We claim that many
concepts and design principles can... / . Algorithm Architecture Hardware Problem inventing the br manner. Parallelism on hardware The computer hardware consists
A Dynamic Protocol Architecture for Multimedia Communications - Crane, Pryce, Magee (1998)(Correct)
The growing use of networks for transmission
of mixed-media data has of late focussed much
attention on the design and implementation of
bespoke communication protocols. Not only do
traditional commun... / the network adaptor to a local hardware device such as a soundcard or br sink gets ahead' of the audio hardware buoeers start to pile up in the
Coarse-Grained Parallel Algorithms for Multi-Dimensional Wavelet.. - Yang, Misra (1998)(Correct)
This paper presents parallel algorithms for computing multi-dimensional wavelet
transforms on both shared memory and distributed memory machines. Traditional data partitioning
methods for n-dimensio... / parallel wavelet transforms in hardware Kita Hoyt Weschsler br the cost of the extra specialized hardware that is needed by them. The
Smartcard Integration with Kerberos V5 - Itoi, Honeyman (1998)(Correct)
We describe our design and implementation of smartcard integration
with Kerberos V5. Authentication is among the most important
applications for smartcards and is one of the critical requirements for
... / Kerberos V with tamper-resistant hardware we enhance the security of br without employing special-purpose hardware no matter what the design of
Protecting File Systems: A Survey of Backup Techniques - Chervenak, Vellanki, Kurmas (1998)(Correct)
This paper presents a survey of backup techniques for protecting file systems.
These include such choices as device-based or file-based backup schemes, full vs.
incremental backups, and optional data ... / from user errors disk or other hardware failures software errors that br or file server using compression hardware or software. IBM's ADSM Section
The CMUnited-97 Robotic Soccer Team: Perception and Multiagent Control - Manuela Veloso (1998)(Correct)
Robotic soccer is a challenging research domain which involves multiple
agents that need to collaborate in an adversarial environment to achieve
specific objectives. In this paper, we describe CMUnite... / The combination of robust hardware real-time vision and br of our robotic agents. For the hardware description of our robots see
User Interfaces - Jacob (1998)(Correct)
trategies with claims of "user friendliness" are yielding to a more scientific
- 2 -
approach. Measurement of learning time, performance, errors, and subjective satisfaction is
now a part of the des... / are the most common interface hardware. The user interface is becoming a br rather than the computer hardware or software. Because the design