Oregon Health & Science University

You've searched:

All Collections
  • All fields: so
(536 results)



Display: 100




Letter-sequence dialogues

Letter-sequence dialogues
Functional analysis of programs

Functional analysis of programs
Constructive negation in Horn-clause programs

Constructive negation in Horn-clause programs
Large-step Markov chains for the Traveling Salesman Problem

Large-step Markov chains for the Traveling Salesman Problem
Adaptive Execution of Data Parallel Computations on Networks of Heterogeneous Workstations

Adaptive Execution of Data Parallel Computations on Networks of Heterogeneous Workstations
Window functions

Window functions
Workshop on spoken language understanding

Workshop on spoken language understanding
Timber : a programming language for real-time embedded systems

Timber : a programming language for real-time embedded systems
Demand-driven interprocedural constant propagation : implementation and evaluation

Demand-driven interprocedural constant propagation : implementation and evaluation
Specifying a database system to itself

Specifying a database system to itself
Acknowledgment acts in task-oriented dialogue

Acknowledgment acts in task-oriented dialogue
Combining simulated annealing with local search heuristics

Combining simulated annealing with local search heuristics
Combining simulated annealing with local search heuristics

Combining simulated annealing with local search heuristics
Pattern recognition in FP programs

Pattern recognition in FP programs
Partitioning of unstructured meshes for load balancing

Partitioning of unstructured meshes for load balancing
How to make a billion connections

How to make a billion connections
A VLSI interconnect structure for neural networks

A VLSI interconnect structure for neural networks
Type-driven defunctionalization

Type-driven defunctionalization
Fltsim detailed description and operation

Fltsim detailed description and operation
Towards an object-oriented query algebra

Towards an object-oriented query algebra
Database query optimization, proceedings of the ODBF workshop

Database query optimization, proceedings of the ODBF workshop
On the application of partial evaluation to database optimization

On the application of partial evaluation to database optimization
Scalar vs. parallel optimizations

Scalar vs. parallel optimizations
Canonization for disjoint unions of theories

Canonization for disjoint unions of theories
Physical Broadcast Structure

Physical Broadcast Structure
A program for mapping CNNs to physical architectures

A program for mapping CNNs to physical architectures
The Power Test for data dependence

The Power Test for data dependence
Fast concurrent dynamic linking for an adaptive operating system

Fast concurrent dynamic linking for an adaptive operating system
Traits : composable units of behavior

Traits : composable units of behavior
Release testing for probable correctness

Release testing for probable correctness
A fast algorithm for near-optimal static scheduling of acyclic graphs to Multiprocessor Systems

A fast algorithm for near-optimal static scheduling of acyclic graphs to Multiprocessor Systems
More iteration space tiling

More iteration space tiling
Software templates

Software templates
Massive parallelism through program restructuring

Massive parallelism through program restructuring
A survey of categorical computation : fixed points, partiality, combinators, ... control?

A survey of categorical computation : fixed points, partiality, combinators, ... control?
What is an abstract machine?

What is an abstract machine?
DALI: an untyped CBV operational semantics and equational theory for datatypes with binders...

DALI: an untyped CBV operational semantics and equational theory for datatypes with binders...
A connectivity analysis of a class of simple associative neural networks

A connectivity analysis of a class of simple associative neural networks
A model for execution of PARLOG on a distributed porcessor network

A model for execution of PARLOG on a distributed porcessor network
Loop rotation

Loop rotation
The one-to-one match operator of the Volcano query Processing System

The one-to-one match operator of the Volcano query Processing System
Feature discovery and Hebbian learning

Feature discovery and Hebbian learning
Customizable operating systems

Customizable operating systems
Porting the Chorus Supervisor and related low-level functions to the PA-RISC

Porting the Chorus Supervisor and related low-level functions to the PA-RISC
Constrained-Latency Storage Access : a survey of application requirements and storage system...

Constrained-Latency Storage Access : a survey of application requirements and storage system...
From object-oriented database management systems to high productivity software Development...

From object-oriented database management systems to high productivity software Development...
Dream and reality : incremental specialization in a commercial operating system

Dream and reality : incremental specialization in a commercial operating system
Tools for large-scale software engineering

Tools for large-scale software engineering
Olanzapine complete Drug Approval Package (all reviews)

Olanzapine complete Drug Approval Package (all reviews)
Mx a package for rapid mathematical prototyping and algorithm development with application to...

Mx a package for rapid mathematical prototyping and algorithm development with application to...
Development of an object-oriented DBMS

Development of an object-oriented DBMS
A connectionist/neural network bibliography

A connectionist/neural network bibliography
ANNE : Another Neural Network Emulator

ANNE : Another Neural Network Emulator
Why isn't there an object-oriented data model?

Why isn't there an object-oriented data model?
Comments on the "Third-Generation Data Base System Manifesto"

Comments on the "Third-Generation Data Base System Manifesto"
Specification and generation of displays for complex database objects

Specification and generation of displays for complex database objects
Parallel array classes and lightweight sharing mechanisms

Parallel array classes and lightweight sharing mechanisms
Automating synthesis by completion

Automating synthesis by completion
Termination issues in automated syntheses

Termination issues in automated syntheses
A practical method for realizing semantics-based concurrency control

A practical method for realizing semantics-based concurrency control
QUID : a quick user-interface design method using prototyping tools

QUID : a quick user-interface design method using prototyping tools
Spoken-Language Access to Multimedia (SLAM) : a multimodal interface to the World-Wide Web

Spoken-Language Access to Multimedia (SLAM) : a multimodal interface to the World-Wide Web
Exploiting non-determinism in set iterators to reduce I/O latency

Exploiting non-determinism in set iterators to reduce I/O latency
A toolkit for specializing production operating system code

A toolkit for specializing production operating system code
Incremental collection of dynamic, list-structure memories

Incremental collection of dynamic, list-structure memories
Parallel processing on the DENECLOR HEP with large grain data flow techniques

Parallel processing on the DENECLOR HEP with large grain data flow techniques
QUICKTALK : a Smalltalk-80 dialect for defining primitive methods

QUICKTALK : a Smalltalk-80 dialect for defining primitive methods
A RlSC architecture for symbolic computation

A RlSC architecture for symbolic computation
Hypercube Vs cube-connected cycles : a topological evaluation

Hypercube Vs cube-connected cycles : a topological evaluation
A dependently typed assembly language

A dependently typed assembly language
Generating programs by Reflection

Generating programs by Reflection
Traits : the Formal Model

Traits : the Formal Model
A generic specification of prettyprinters

A generic specification of prettyprinters
MPVM : a migration transparent version of PVM

MPVM : a migration transparent version of PVM
Adaptation Space: Surviving non-maskable failures

Adaptation Space: Surviving non-maskable failures
Design of a language for modular programs

Design of a language for modular programs
An experimental multicomputer with a real-time event monitor

An experimental multicomputer with a real-time event monitor
Software design revision control or, how to keep too many cooks from spoiling the broth

Software design revision control or, how to keep too many cooks from spoiling the broth
Fault simulation of a wafer-scale integrated neural network

Fault simulation of a wafer-scale integrated neural network
Data dependence and program restructuring

Data dependence and program restructuring
Experiences with data dependence and loop restructuring in the tiny research tool

Experiences with data dependence and loop restructuring in the tiny research tool
Air traffic control communication at Detroit Metro Wayne County Airport August 17, 1987

Air traffic control communication at Detroit Metro Wayne County Airport August 17, 1987
Air traffic control communication at Portland International Airport July 1, 1990

Air traffic control communication at Portland International Airport July 1, 1990
The LGDF2 language and preprocessor

The LGDF2 language and preprocessor
Speaking in tongues : the language of Revelation

Speaking in tongues : the language of Revelation
MetaML and multi-stage programming with explicit annotations

MetaML and multi-stage programming with explicit annotations
Notes for pipelines of transformations for ML

Notes for pipelines of transformations for ML
Script-based QOS specifications for multimedia presentations

Script-based QOS specifications for multimedia presentations
MPI : a message passing interface

MPI : a message passing interface
GuardHouse: locking the stable door ahead of the Trojan Horse

GuardHouse: locking the stable door ahead of the Trojan Horse
Ziprasidone statistical review

Ziprasidone statistical review
Model matching and SFMD computation

Model matching and SFMD computation
Location independent names for nomadic computers

Location independent names for nomadic computers
Type checking In Exp : an algebraic approach

Type checking In Exp : an algebraic approach
Functional Semantics of Modules

Functional Semantics of Modules
The filter - A paradigm for interfaces

The filter - A paradigm for interfaces
A connectionist/neural network bibliography, volume II

A connectionist/neural network bibliography, volume II
Microarchitecture specification for the Analog Processor Node, APN

Microarchitecture specification for the Analog Processor Node, APN
Pitch detection with a neural-net classifier

Pitch detection with a neural-net classifier
A loop restructuring research tool

A loop restructuring research tool

QuickView

Display a larger image and more item information when the pointer pauses over a thumbnail
on off
 

Layout options:

Thumbnail with title
Grid with smaller thumbnails and more detail
Select the collections to add or remove from your search
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
 
OK