Reports generated by faculty, staff and students of the OGI Department of Computer Science and Engineering (now referred to as the Biomedical Computer Science Division of the Department of Science & Engineering, OHSU School of Medicine), from 1982 - 2005.

Follow

Submissions from 2003

PDF

Traits : the Formal Model, Nathanael Scharli, Stéphane Ducasse, Roel Wuyts, and Andrew Black

Submissions from 2002

PDF

Fault detection for salinity sensors in the Columbia Estuary, Cynthia Archer, Antonio Baptista, and Todd K. Leen

PDF

Adaptive principal component analysis, Cynthia Archer and Todd K. Leen

PDF

Timber : a programming language for real-time embedded systems, Andrew P. Black, Magnus Carlsson, Mark P. Jones, Richard Kieburtz, and Johan Nordlander

PDF

Infopipes: an abstraction for multimedia streaming, Andrew P. Black, Jie Huang, Rainer Koster, Jonathan Walpole, and Calton Pu

PDF

NetVCR: a high-performance packet replay engine, Wu-chang Feng, Abdelmajid Bezzaz, Wu-chi Feng, and Jonathan Walpole

PDF

Provisioning on-line games : a traffic analysis of a busy counter-strike server, Wu-chang Feng, Francis Chang, Wu-chi Feng, and Jonathan Walpole

PDF

Supporting time-sensitive applications on general-purpose operating systems, Ashvin Goel, Luca Abeni, Jim Snow, Charles Krasic, and Jonathan Walpole

PDF

Supporting low latency TCP-based media streams, Ashvin Goel, Charles Krasic, Kang Li, and Jonathan Walpole

PDF

A Comparison of speech recognizers created using manually-aligned and automatically-aligned training data, John-Paul Hosom

PDF

Proving program termination in higher order logic, Sava Krstic and John Matthews

PDF

Traits : composable units of behavior, Nathanael Scharli, Stéphane Ducasse, Oscar Nierstrasz, and Andrew Black

PDF

Using dynamic optimization for control of real rate CPU resource management applications, Varin Vahia, Ashvin Goel, David Steere, Jonathan Walpole, and Molly H. Shor

Submissions from 2001

PDF

Reifying communication at the application level, Andrew P. Black, Jie Huang, and Jonathan Walpole

PDF

Infopipesan abstraction for information flow, Jie Huang, Andrew P. Black, Jonathan Walpole, and Calton Pu

PDF

Support for groups within a formal semantics for proxy communicative acts, Marcus J. Huber, Sanjeev Kumar, Philip R. Cohen, and David R. McGee

PDF

Infopipes for composing distributed information flows, Rainer Koster, Andrew P. Black, Jie Huang, and Jonathan Walpole

PDF

The Minimal buffering requirements of congestion controlled interactive multimedia applications, Kang Li, Charles Krasic, Jonathan Walpole, Molly H. Shor, and Calton Pu

PDF

Modeling the transient rate behavior of bandwidth sharing as a hybrid control system, Kang Li, Molly H. Shor, Jonathan Walpole, and Calton Pu

Submissions from 2000

PDF

Supplemental proceedings of the 13th international conference on theorem proving in higher order logics (TPHOLs 2000), Mark Aagaard, John Harrison, and Tom Schubert

PDF

A Generic approach for representing model-based superimposed information, Shawn Bowers

PDF

Taking the hol out of HOL, Nancy Day, Michael R. Donat, and Jeffrey J. Joyce

PDF

Bundles in captivity : an application of superimposed information, Delcambre. Lois, David Maier, Shawn Bowers, Longxing Deng, Matthew Weaver, Paul Gorman, Joan Ash, Mary Lavvelle, and Jason A. Lyman

PDF

A recursive do for Haskell : Design and Implementation, Levent Erkak and John Launchbury

PDF

A recursive do for Haskell : design and implementation, Levent Erkok and John Launchbury

PDF

Recursive monadic bindings: technical development and details, Levent Erkok and John Launchbury

PDF

Canonization for disjoint unions of theories, Sava Krstic and Sylvain Conchon

PDF

DALI: an untyped CBV operational semantics and equational theory for datatypes with binders (Technical Development), Emir Paalic, Tim Sheard, and Walid Taha

Submissions from 1999

PDF

GuardHouse: locking the stable door ahead of the Trojan Horse, Steven M. Beattie, Andrew P. Black, Crispin Cowan, Calton Pu, and Lateef P. Yang

PDF

Interfac-directed partial evaluation, Zino Benaissa and Andrew Tolmach

PDF

The Efficiency of multimodal interaction for a map-based task, Philip R. Cohen, McGee. David, and Josh Clow

PDF

Symbolic simulation of microprocessor models using type classes in Haskell, Nancy A. Day, Jeffrey R. Lewis, and Byron Cook

PDF

Adaptive resource management via modular feedback control, Ashvin Goel, David Steere, Calton Pu, and Jonathan Walpole

PDF

QoS Scalability for Streamed Media Delivery, Charles Krasic and Jonathan Walpole

PDF

Towards a fault-tolerant multi-agent system architecture, Sanjeev Kumar and Philip Cohen

PDF

The Adaptive agent architecture: achieving fault- tolerance using persistent broker teams, Sanjeev Kumar, Philip R. Cohen, and Hector J. Levesque

PDF

Elementary microarchitecture algebra : top-level proof of pipelined microarchitecture , John Matthews and John Launchbury

PDF

Fine-grain period adaptation in soft real-time environments, David C. Steere, Joshua Gruenberg, Dylan McNamee, Calton Pu, and Jonathan Walpole

PDF

A sound reduction semantics for untyped CBN multi-stage computation. Or, the theory of MetaML is non-trivial (preliminary Report), Walid Taha

PDF

MetaML and multi-stage programming with explicit annotations, Walid Taha and Tim Sheard

PDF

Algebraic unnesting for nested queries, Quan Wang, David Maier, and Leonard Shapiro

PDF

Revisiting reference materialization techniques for object query Processing, Quan Wang, David Maier, and Leonard Shapiro

PDF

A dependently typed assembly language, Hongwei Xi and Robert Harper

PDF

Erasure for termination proofs, Hongwei Xi and Joachim Steinbach

Submissions from 1998

PDF

A categorical analysis of multi-level languages (extended abstract), Zine El-Abidine Benaissa, Eugenio Moggi, Walid Taha, and Tim Sheard

PDF

Adaptation Space: Surviving non-maskable failures, Crispin Cowan, Lois Delacambre, Anne-Francoise Le Meur, Ling Liu, David Maier, Dylan McNamee, Michael Miller, Calton Pu, Perry Wagle, and Walpole

PDF

The shared model : the key to analysis without paralysis, Lois M. L. Delcambre and Earl F. Jr Ecklund

PDF

View consistency for optimistic replication, Ashvin Goel, Calton Pu, and Gerald J. Popek

PDF

SWiFT : a feedback control and dynamic reconfiguration toolkit, Ashvin Goel, David Steere, Calton Pu, and Jonathan Walpole

PDF

Rapid prototyping of a German TTS system, Michael W. Macon, Alexander Kain, Andrew Cronk, Horst Meyer, Karin Mueller, Bettina Saeuberlich, and Alan W. Black

PDF

Confirmation in multimodal systems, David R. McGee, Philip R. Cohen, and Sharon Oviatt

PDF

Synthetic files : enabling low-latency file I, Dylan McNamee, Dan Revel, Calton Pu, David Steere, and Jonathan Walpole

PDF

An idealized MetaML : simpler, and more expressive. (includes proofs), Eugenio Moggi, Walid Taha, Zine El-Abidine Benaissa, and Tim Sheard

PDF

Feedback-based dynamic proportion allocation for disk I, Dan Revel, Dylan McNamee, Calton Pu, David Steere, and Jonathan Walpole

PDF

A feedback-driven proportion allocator for real-rate scheduling, David C. Steere, Ashvin Goel, Joshua Gruenberg, Dylan McNamee, Calton Pu, and Jonathan Walpole

PDF

A feedback-driven proportion allocator for real-rate scheduling, David C. Steere, Ashvin Goel, Joshua Gruenberg, Dylan McNamee, Calton Pu, and Jonathan Walpole

PDF

Location independent names for nomadic computers, David C. Steere, Mark Morrissey, Peter Geib, Calton Pu, and Jonathan Walpole

PDF

Multi-stage programming : axiomatization and type safety, Walid Taha, Zine-El-Abidine Benaissa, and Tim Sheard

PDF

The anatomy of a component generator, Walid Taha and Jim Hook

PDF

Mx a package for rapid mathematical prototyping and algorithm development with application to speech and speaker recognition, Sarel van Vuuren

PDF

Pitch estimation, Sarel van Vuuren

PDF

Quality of service semantics for multimedia database systems, Jonathan Walpole, Charles Krasic, Ling Liu, David Maier, Calton Pu, Dylan McNamee, and David Steere

Submissions from 1997

PDF

Teaching software quality and leadership : experiences and successes, Judy Bamberger and James Hook

PDF

Flow and congestion control for internet media streaming applications, Shanwei Cen, Calton Pu, and Jonathan Walpole

PDF

A toolkit for specializing production operating system code, Crispin Cowan, Dylan McNamee, Andrew Black, Calton Pu, Jonathan Walpole, Charles Krasic, Perry Wagle, Qian Zhang, and Renauld Marlet

PDF

Structured maps : modeling explicit semantics over a universe of information, Lois M. L. Delcambre, David Maier, Radhika Reddy, and Lougie Anderson

PDF

Physical media independence : system support for dynamically available network interfaces, Jon Inouye, Jonathan Walpole, and Jim Binkley

PDF

Reactive functional programming, Richard B. Kieburtz

PDF

OGIresLPC : Diphone synthesizer using residual-excited linear prediction, Michael Macon, Andrew Cronk, Johan Wouters, and Alex Kain

PDF

Adaptive prefetching for device-independent file I, Dan Revel, Dylan McNamee, David Steere, and Jonathan Walpole

PDF

Exploiting non-determinism in set iterators to reduce I, David C. Steere

PDF

On type-directed partial evaluation, Walid Taha

PDF

Facets of multi-stage computation in software architecture, Walid Taha and Tim Sheard

Submissions from 1996

PDF

CPU management for UNIX-based MPEG video Applications, Veronica Baiceanu

PDF

Reflection on a legacy transaction processing monitor, Roger Barga and Calton Pu

PDF

Type-driven defunctionalization, Jeffrey M. Bell, Francoise Bellegarde, and James Hook

PDF

Fusion for free!, Leonidas Fegaras

PDF

Smoothing regularizers for projective basis function networks, John E. Moody and Thorsteinn S. Ragnvaldson

PDF

Smoothing regularizers for projective basis function networks, John Moody and Thorsteinn S. Ragnvaldson

PDF

A simple method for estimating the weight decay parameter, Thorsteinn S. Ragnvaldson

PDF

A type-directed, on-line partial evaluator for a polymorphic language, Tim Sheard

Submissions from 1995

PDF

Proceedings of SRS 94-95

PDF

Demand-driven interprocedural constant propagation : implementation and evaluation, Tito Autrey

PDF

Software process practicum : lessons in software quality and leadership, Judy Bamberger and James Hook

PDF

Software process practicum : lessons in software quality and leadership, Judy Bamberger and James Hook

PDF

A practical and modular implementation of extended transaction models, Roger Barga and Calton Pu

PDF

Notes for pipelines of transformations for ML, F. Bellegarde

PDF

Dream and reality : incremental specialization in a commercial operating system, Andrew Black, Charles Consel, Calton Pu, Jonathan Walpole, Crispin Cowan, Tito Autrey, Jon Inouye, Lakshmi Kethana, and Ke Zhang

PDF

MPVM : a migration transparent version of PVM, Jeremy Casas, Dan Clark, Ravi Konuru, Steve Otto, Robert Prouty, and Jonathan Walpole

PDF

Fast concurrent dynamic linking for an adaptive operating system, Crispin Cowan, Tito Autrey, Calton Pu, and Jonathan Walpole

PDF

Reusing (shrink wrap) schemas by modifying concept schemas, Lois Delcambre and Jimmy Langston

PDF

Revisiting catamorphisms over datatypes with embedded functions, Leonidas Fegaras and Tim Sheard

PDF

Using compact data representations for languages based on catamorphisms, Leonidas Fegaras and Andrew Tolmach

PDF

Spoken-Language Access to Multimedia (SLAM) : a multimodal interface to the World-Wide Web, David House

PDF

Fast byte copying : a ReEvaluation of the Opportunities for Optimization, Jon Inouye, Jonathan Walpole, and Ke Zhang

PDF

The distributed interoperable object model and its application to Largescale Interoperable Database Systems, Ling Liu and Calton Pu

PDF

Economic forecasting : challenges and neural network solutions, John Moody

PDF

IMPROVED ESTIMATES FOR The rescaled range and Hurst exponents, John Moody and Lizhong Wu

PDF

Price behavior and Hurst Exponents of tick-by-tick interbank foreign exchange rates INTERBANK FOREIGN EXCHANGE RATES, John Moody and Lizhong Wu

PDF

A multimodal browser for the World-Wide Web, David G. Novick, David House, Mark Fanty, and Ronald A. Cole