Oregon Health & Science University

You've searched:

All Collections
  • All fields: C
(772 results)



Display: 100




Parallel processing on the DENECLOR HEP with large grain data flow techniques

Parallel processing on the DENECLOR HEP with large grain data flow techniques
Program monitoring tools for parallel processing with large-grain data flow techniques

Program monitoring tools for parallel processing with large-grain data flow techniques
Improving programs which recurse over multiple inductive structures

Improving programs which recurse over multiple inductive structures
What is an abstract machine?

What is an abstract machine?
Algebraic design language (preliminary definition)

Algebraic design language (preliminary definition)
ASTRE: a transformation system using completion

ASTRE: a transformation system using completion
Traits : the Formal Model

Traits : the Formal Model
PIQUE : a relational query language without relations

PIQUE : a relational query language without relations
Generating programs by Reflection

Generating programs by Reflection
Window functions

Window functions
Timber : a programming language for real-time embedded systems

Timber : a programming language for real-time embedded systems
A categorical analysis of multi-level languages (extended abstract)

A categorical analysis of multi-level languages (extended abstract)
A survey of categorical computation : fixed points, partiality, combinators, ... control?

A survey of categorical computation : fixed points, partiality, combinators, ... control?
Paliperidone medical review

Paliperidone medical review
Thread transparency in information flow middleware

Thread transparency in information flow middleware
Infopipes: an abstraction for multimedia streaming

Infopipes: an abstraction for multimedia streaming
Type-driven defunctionalization

Type-driven defunctionalization
Database query optimization, proceedings of the ODBF workshop

Database query optimization, proceedings of the ODBF workshop
Fluoxetine

Fluoxetine
Supporting low latency TCP-based media streams

Supporting low latency TCP-based media streams
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 program for mapping CNNs to physical architectures

A program for mapping CNNs to physical architectures
Support for groups within a formal semantics for proxy communicative acts

Support for groups within a formal semantics for proxy communicative acts
Partitioning of unstructured meshes for load balancing

Partitioning of unstructured meshes for load balancing
Bupropion SR

Bupropion SR
Dynamics of learning in feature discovery networks

Dynamics of learning in feature discovery networks
Separate polyvariant binding-time analysis

Separate polyvariant binding-time analysis
Computational chemistry database prototype: Objectstore

Computational chemistry database prototype: Objectstore
Physical Broadcast Structure

Physical Broadcast Structure
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...
Automatic array alignment for distributed memory multicomputers

Automatic array alignment for distributed memory multicomputers
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
Adaptive principal component analysis

Adaptive principal component analysis
General Efficacy Page 10

General Efficacy Page 10
Microarchitecture specification

Microarchitecture specification
A VLSI interconnect structure for neural networks

A VLSI interconnect structure for neural networks
Quality of service specification for multimedia presentations

Quality of service specification for multimedia presentations
MetaMP : a higher level abstraction for message-passing programming

MetaMP : a higher level abstraction for message-passing programming
Ziprasidone statistical review

Ziprasidone statistical review
Type checking In Exp : an algebraic approach

Type checking In Exp : an algebraic approach
Program transformation and rewriting

Program transformation and rewriting
Recursive monadic bindings : technical development and details

Recursive monadic bindings : technical development and details
Termination issues in automated syntheses

Termination issues in automated syntheses
Recursive monadic bindings: technical development and details

Recursive monadic bindings: technical development and details
A connectivity analysis of a class of simple associative neural networks

A connectivity analysis of a class of simple associative neural networks
Sertraline

Sertraline
The LGDF2 language and preprocessor

The LGDF2 language and preprocessor
Revisiting reference materialization techniques for object query Processing

Revisiting reference materialization techniques for object query Processing
Pattern recognition in FP programs

Pattern recognition in FP programs
Calculating software generators from solution specifications

Calculating software generators from solution specifications
Infopipes for composing distributed information flows

Infopipes for composing distributed information flows
Letter-sequence dialogues

Letter-sequence dialogues
Sparse data-flow analysis for DAG parallel programs

Sparse data-flow analysis for DAG parallel programs
Nefazodone

Nefazodone
cse-82-002

cse-82-002
The Power Test for data dependence

The Power Test for data dependence
Dynamics of learning in recurrent feature-discovery Networks

Dynamics of learning in recurrent feature-discovery Networks
A dependently typed assembly language

A dependently typed assembly language
A sound reduction semantics for untyped CBN multi-stage computation. Or, the theory of MetaML is...

A sound reduction semantics for untyped CBN multi-stage computation. Or, the theory of MetaML is...
Functional analysis of programs

Functional analysis of programs
Notes for pipelines of transformations for ML

Notes for pipelines of transformations for ML
ANNE user manual

ANNE user manual
Constructive negation in Horn-clause programs

Constructive negation in Horn-clause programs
Fltsim detailed description and operation

Fltsim detailed description and operation
Three monads for continuations

Three monads for continuations
ASTRE : towards a fully automated program transformation System

ASTRE : towards a fully automated program transformation System
A connectionist/neural network bibliography

A connectionist/neural network bibliography
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
Canonization for disjoint unions of theories

Canonization for disjoint unions of theories
Large-step Markov chains for the Traveling Salesman Problem

Large-step Markov chains for the Traveling Salesman Problem
A toolkit for specializing production operating system code

A toolkit for specializing production operating system code
An efficient garbage collector for graph machines

An efficient garbage collector for graph machines
Volcano : an extensible and parallel query evaluation Systen

Volcano : an extensible and parallel query evaluation Systen
Optimizing algebraic programs

Optimizing algebraic programs
Representing CSG solids using a logic-based object data model

Representing CSG solids using a logic-based object data model
A matching process modulo a theory of categorical products

A matching process modulo a theory of categorical products
Algebraic unnesting for nested queries

Algebraic unnesting for nested queries
CoMet : a synthetic benchmark for message-passing architectures

CoMet : a synthetic benchmark for message-passing architectures
Tools for large-scale software engineering

Tools for large-scale software engineering
Using dynamic optimization for control of real rate CPU resource management applications

Using dynamic optimization for control of real rate CPU resource management applications
Erasure for termination proofs

Erasure for termination proofs
A generic specification of prettyprinters

A generic specification of prettyprinters
The distributed interoperable object model and its application to Largescale Interoperable...

The distributed interoperable object model and its application to Largescale Interoperable...
Fusion for free!

Fusion for free!
An idealized MetaML : simpler, and more expressive. (includes proofs)

An idealized MetaML : simpler, and more expressive. (includes proofs)
Abstract syntax in theory and practice

Abstract syntax in theory and practice
Representing roles in univeral scheme interfaces

Representing roles in univeral scheme interfaces
Monads, indexes and transformations

Monads, indexes and transformations
Software process practicum : lessons in software quality and leadership

Software process practicum : lessons in software quality and leadership
Risperidone Consta complete Drug Approval Package (all reviews)

Risperidone Consta complete Drug Approval Package (all reviews)
Multi-stage programming : axiomatization and type safety

Multi-stage programming : axiomatization and type safety
Parallel array classes and lightweight sharing mechanisms

Parallel array classes and lightweight sharing mechanisms
Demand-driven interprocedural constant propagation : implementation and evaluation

Demand-driven interprocedural constant propagation : implementation and evaluation
Predicate driven model of data flow computation

Predicate driven model of data flow computation
A connectionist/neural network bibliography, volume II

A connectionist/neural network bibliography, volume II
Script-based QOS specifications for multimedia presentations

Script-based QOS specifications for multimedia presentations
Feature discovery and Hebbian learning

Feature discovery and Hebbian learning
Using compact data representations for languages based on catamorphisms

Using compact data representations for languages based on catamorphisms
A class specific optimizing compiler

A class specific optimizing compiler

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