Index Catalog // Digital Collections

1. Traits : the Formal Model

Creator:: Nathanael Scharli
Date:: 2003
Document Type:: article

2. Traits : composable units of behavior

Creator:: Nathanael Scharli
Date:: 2002
Document Type:: article

3. Fault detection for salinity sensors in the Columbia Estuary

Creator:: Cynthia Archer
Date:: 2002
Document Type:: article

4. Calculating software generators from solution specifications

Creator:: Richard B. Kieburtz
Date:: 1994
Document Type:: article

5. A practical method for realizing semantics-based concurrency control

Creator:: Roger Barga
Date:: 1994
Document Type:: article

6. Sparse data-flow analysis for DAG parallel programs

Creator:: Eric Stoltz
Date:: 1994
Document Type:: article

7. A reference chain approach for live variables

Creator:: Michael P. Gerlek
Date:: 1994
Document Type:: article

8. Termination issues in automated syntheses

Creator:: F. Bellegarde
Date:: 1994
Document Type:: article

9. ASTRE : towards a fully automated program transformation System

Creator:: Francoise Bellegarde
Date:: 1994
Document Type:: article

10. cse-94-026

Creator:: Richard Staehli
Date:: 1900
Document Type:: article

11. Defunctionalization of typed programs

Creator:: Jeffrey M. Bell
Date:: 1994
Document Type:: article

12. Processor virtualization and migration for PVM

Creator:: Steve W. Otto
Date:: 1994
Document Type:: article

13. Gang scheduling in heterogenous distributed systems

Creator:: Khaled Al-Saqabi
Date:: 1900
Document Type:: article

14. Induction and synthesis for automatic program transformation

Creator:: Francoise Bellegarde
Date:: 1994
Document Type:: article

15. AutoCRAT : an automated tool to support conflict detection in a concurrent engineering environment

Creator:: Donald R. Schwartz
Date:: 1994
Document Type:: article

16. Automating synthesis by completion

Creator:: Francoise Bellegarde
Date:: 1994
Document Type:: article

17. CoMet : a synthetic benchmark for message-passing architectures

Creator:: Nalini Ganapati
Date:: 1994
Document Type:: article

18. A user-Level process package for PVM

Creator:: Ravi Konuru
Date:: 1994
Document Type:: article

19. Partitioning of unstructured meshes for load balancing

Creator:: Olivier C. Martin
Date:: 1994
Document Type:: article

20. Combining simulated annealing with local search heuristics

Creator:: Olivier C. Martin
Date:: 1993
Document Type:: article

21. PVM : experiences, current status and future direction

Creator:: Adam Beguelin
Date:: 1994
Document Type:: article

22. Adaptive load migration systems for PVM

Creator:: Jeremy Casas
Date:: 1994
Document Type:: article

23. MPI : a message passing interface

Creator:: The MPI Forum
Date:: 1994
Document Type:: article

24. Adaptive Execution of Data Parallel Computations on Networks of Heterogeneous Workstations

Creator:: Robert Prouty
Date:: 1994
Document Type:: article

25. Software Design for Reliability and Reuse A ProofofConcept Demonstration

Date:: 1994
Document Type:: article

26. A transformation system combining partial evaluation with term rewriting

Creator:: Francoise Bellegarde
Date:: 1994
Document Type:: article

27. Automatic transformations by rewriting techniques

Creator:: Francoise Bellegarde
Date:: 1994
Document Type:: article

28. Monads, indexes and transformations

Creator:: Francoise Bellegarde
Date:: 1993
Document Type:: article

29. Letter-sequence dialogues

Creator:: David G. Novick
Date:: 1994
Document Type:: article

30. Message Specication Language MSL A domain specific design language for message translation and validation

Creator:: Lisa Walton
Date:: 1994
Document Type:: article

31. Improving programs which recurse over multiple inductive structures

Creator:: Leonidas Fegaras
Date:: 1994
Document Type:: article

32. Optimizing algebraic programs

Creator:: Tim Sheard
Date:: 1994
Document Type:: article

33. A specification for an MTV generator

Creator:: Jeffrey R. Lewis
Date:: 1994
Document Type:: article

34. Algebraic design language (preliminary definition)

Creator:: Richard B. Kieburtz
Date:: 1994
Document Type:: article

35. Acknowledgment acts in task-oriented dialogue

Creator:: David G. Novick
Date:: 1994
Document Type:: article

36. Momentum and optimal stochastic search

Creator:: Genevieve B. Orr
Date:: 1993
Document Type:: article

37. Predicting the U.S. index of industrial production (extended abstract)

Creator:: John Moody
Date:: 1993
Document Type:: article

38. Fast pruning using principal components

Creator:: Asriel U. Levin
Date:: 1993
Document Type:: article

39. Optimal stochastic search and adaptive momentum

Creator:: Todd K. Leen
Date:: 1993
Document Type:: article

40. A coordinate independent center manifold reduction

Creator:: Todd K. Leen
Date:: 1993
Document Type:: article

41. On the application of partial evaluation to database optimization

Creator:: Scott Daniels
Date:: 1993
Document Type:: article

42. Demand-driven constant propagation

Creator:: Eric Stoltz
Date:: 1993
Document Type:: article

43. Script-based QOS specifications for multimedia presentations

Creator:: Richard Staehli
Date:: 1993
Document Type:: article

44. Software design for reliability and reuse preliminary method definition

Creator:: R. B. Kieburtz
Date:: 1993
Document Type:: article

45. A semantics of compile-time Reflection

Creator:: James Hook
Date:: 1993
Document Type:: article

46. Type parametric programming

Creator:: Tim Sheard
Date:: 1993
Document Type:: article

47. Combining simulated annealing with local search heuristics

Creator:: Olivier C. Martin
Date:: 1993
Document Type:: article

48. A user-level process package for concurrent computing

Creator:: Ravi Konuru
Date:: 1993
Document Type:: article

49. Contribution graphs in multiparty discourse

Creator:: David G. Novick
Date:: 1993
Document Type:: article

50. Detecting induction variables using SSA form

Creator:: Michael P. Gerlek
Date:: 1993
Document Type:: article

51. Extended SSA with factored use-def chains to support optimization and parallelism

Creator:: Eric Stoltz
Date:: 1993
Document Type:: article

52. Automatic array alignment for distributed memory multicomputers

Creator:: Mitsuru Ikei
Date:: 1993
Document Type:: article

53. A class specific optimizing compiler

Creator:: Michael D. Sharp
Date:: 1993
Document Type:: article

54. Parallel array classes and lightweight sharing mechanisms

Creator:: Steve W. Otto
Date:: 1993
Document Type:: article

55. A brief tutorial on epsilon serializability and a survey of recent work

Creator:: Calton Pu
Date:: 1993
Document Type:: article

56. A study of dynamic optimization techniques : lessons and directions in kernel design

Creator:: Calton Pu
Date:: 1993
Document Type:: article

57. Separate polyvariant binding-time analysis

Creator:: Charles Consel
Date:: 1993
Document Type:: article

58. Accessing imprecise data : an approach based on intervals

Creator:: Roger S. Barga
Date:: 1993
Document Type:: article

59. Asynchronous consistency restoration under epsilon serializability

Creator:: Pamela Drew
Date:: 1900
Document Type:: article

60. Efficient computation of sparse elements of the inverse of a sparse near-tridiagonal matrix with application to the nerve equation

Creator:: Anthony M. Zador
Date:: 1993
Document Type:: article

61. Fast exact multiplication by the Hessian

Creator:: Barak A. Pearlmutter
Date:: 1993
Document Type:: article

62. Inductive programming

Creator:: Richard B. Kieburtz
Date:: 1993
Document Type:: article

63. Feature selection for improved classification

Creator:: Fred E. Shaudys
Date:: 1992
Document Type:: article

64. Weight space probability densities in stochastic learning : II. transients and basin hopping times

Creator:: Genevieve B. Orr
Date:: 1992
Document Type:: article

65. Weight space probability densities in stochastic learning : I. dynamics and equilibria

Creator:: Todd K. Leen
Date:: 1992
Document Type:: article

66. Prediction and control of the glucose metabolism of a diabetic

Creator:: Volker Tresp
Date:: 1900
Document Type:: article

67. Participatory behavior in participatory design

Creator:: David Novick
Date:: 1992
Document Type:: article

68. Three monads for continuations

Creator:: Richard B. Kieburtz
Date:: 1992
Document Type:: article

69. Monads, indexes and transformations

Creator:: Francoise Bellegarde
Date:: 1992
Document Type:: article

70. MetaMP approach to parallel programming

Creator:: Steve W. Otto
Date:: 1992
Document Type:: article

71. Generating programs by Reflection

Creator:: James Hook
Date:: 1992
Document Type:: article

72. Workshop on spoken language understanding

Creator:: Ron Cole
Date:: 1992
Document Type:: article

73. Triangular Banerjees Inequalities with directions

Creator:: Michael Wolfe
Date:: 1992
Document Type:: article

74. Flow graph anomalies : whats in a loop?

Creator:: Michael Wolfe
Date:: 1991
Document Type:: article

75. Specification and generation of displays for complex database objects

Creator:: Belinda B. Flynn
Date:: 1992
Document Type:: article

76. The effects of virtually addressed caches on virtual memory design and performance

Creator:: Jon Inouye
Date:: 1992
Document Type:: article

77. A review of research in automatic language identification

Creator:: Yeshwant K. Muthusamy
Date:: 1992
Document Type:: article

78. Porting Chorus to the PA-RISC : Overall Evaluation

Creator:: Jonathan Walpole
Date:: 1992
Document Type:: article

79. Trading with committees : a comparative study

Creator:: Steve Rehfuss
Date:: 1995
Document Type:: article

80. Price behavior and Hurst Exponents of tick-by-tick interbank foreign exchange rates INTERBANK FOREIGN EXCHANGE RATES

Creator:: John Moody
Date:: 1995
Document Type:: article

81. Economic forecasting : challenges and neural network solutions

Creator:: John Moody
Date:: 1995
Document Type:: article

82. IMPROVED ESTIMATES FOR The rescaled range and Hurst exponents

Creator:: John Moody
Date:: 1995
Document Type:: article

83. Using compact data representations for languages based on catamorphisms

Creator:: Leonidas Fegaras
Date:: 1995
Document Type:: article

84. Customizable operating systems

Creator:: Jonathan Walpole
Date:: 1995
Document Type:: article

85. Reflection on a legacy transaction processing monitor

Creator:: Roger Barga
Date:: 1996
Document Type:: article

86. Notes for pipelines of transformations for ML

Creator:: F. Bellegarde
Date:: 1995
Document Type:: article

87. Device and data independence for multimedia presentations

Creator:: Richard Staehli
Date:: 1995
Document Type:: article

88. Fast concurrent dynamic linking for an adaptive operating system

Creator:: Crispin Cowan
Date:: 1995
Document Type:: article

89. A multimodal browser for the World-Wide Web

Creator:: David G. Novick
Date:: 1995
Document Type:: article

90. Coding for mutuality strategies in dialogue

Creator:: Brian Hansen
Date:: 1900
Document Type:: article

91. Vertical information management : a framework to support high-level information requests

Creator:: Gregory A. Washburn
Date:: 1994
Document Type:: article

92. Flexible mapping for retrieval from federated schemas with modelling variations

Creator:: Radhika Reddy
Date:: 1995
Document Type:: article

93. Revisiting catamorphisms over datatypes with embedded functions

Creator:: Leonidas Fegaras
Date:: 1995
Document Type:: article

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

Creator:: Walid Taha
Date:: 1999
Document Type:: article

95. Algebraic unnesting for nested queries

Creator:: Quan Wang
Date:: 1999
Document Type:: article

96. QoS Scalability for Streamed Media Delivery

Creator:: Charles Krasic
Date:: 1999
Document Type:: article

97. Interfac-directed partial evaluation

Creator:: Zino Benaissa
Date:: 1999
Document Type:: article

98. Erasure for termination proofs

Creator:: Hongwei Xi
Date:: 1999
Document Type:: article

99. A dependently typed assembly language

Creator:: Hongwei Xi
Date:: 1999
Document Type:: article

100. MetaML and multi-stage programming with explicit annotations

Creator:: Walid Taha
Date:: 1999
Document Type:: article

Limit your search

Date

School

Resource type

Creator

Collection

Rights

Search Constraints

Search Results

1. Traits : the Formal Model

2. Traits : composable units of behavior

3. Fault detection for salinity sensors in the Columbia Estuary

4. Calculating software generators from solution specifications

5. A practical method for realizing semantics-based concurrency control

6. Sparse data-flow analysis for DAG parallel programs

7. A reference chain approach for live variables

8. Termination issues in automated syntheses

9. ASTRE : towards a fully automated program transformation System

10. cse-94-026

11. Defunctionalization of typed programs

12. Processor virtualization and migration for PVM

13. Gang scheduling in heterogenous distributed systems

14. Induction and synthesis for automatic program transformation

15. AutoCRAT : an automated tool to support conflict detection in a concurrent engineering environment

16. Automating synthesis by completion

17. CoMet : a synthetic benchmark for message-passing architectures

18. A user-Level process package for PVM

19. Partitioning of unstructured meshes for load balancing

20. Combining simulated annealing with local search heuristics

21. PVM : experiences, current status and future direction

22. Adaptive load migration systems for PVM

23. MPI : a message passing interface

24. Adaptive Execution of Data Parallel Computations on Networks of Heterogeneous Workstations

25. Software Design for Reliability and Reuse A ProofofConcept Demonstration

26. A transformation system combining partial evaluation with term rewriting

27. Automatic transformations by rewriting techniques

28. Monads, indexes and transformations

29. Letter-sequence dialogues

30. Message Specication Language MSL A domain specific design language for message translation and validation

31. Improving programs which recurse over multiple inductive structures

32. Optimizing algebraic programs

33. A specification for an MTV generator

34. Algebraic design language (preliminary definition)

35. Acknowledgment acts in task-oriented dialogue

36. Momentum and optimal stochastic search

37. Predicting the U.S. index of industrial production (extended abstract)

38. Fast pruning using principal components

39. Optimal stochastic search and adaptive momentum

40. A coordinate independent center manifold reduction

41. On the application of partial evaluation to database optimization

42. Demand-driven constant propagation

43. Script-based QOS specifications for multimedia presentations

44. Software design for reliability and reuse preliminary method definition

45. A semantics of compile-time Reflection

46. Type parametric programming

47. Combining simulated annealing with local search heuristics

48. A user-level process package for concurrent computing

49. Contribution graphs in multiparty discourse

50. Detecting induction variables using SSA form

51. Extended SSA with factored use-def chains to support optimization and parallelism

52. Automatic array alignment for distributed memory multicomputers

53. A class specific optimizing compiler

54. Parallel array classes and lightweight sharing mechanisms

55. A brief tutorial on epsilon serializability and a survey of recent work

56. A study of dynamic optimization techniques : lessons and directions in kernel design

57. Separate polyvariant binding-time analysis

58. Accessing imprecise data : an approach based on intervals

59. Asynchronous consistency restoration under epsilon serializability

60. Efficient computation of sparse elements of the inverse of a sparse near-tridiagonal matrix with application to the nerve equation

61. Fast exact multiplication by the Hessian

62. Inductive programming

63. Feature selection for improved classification

64. Weight space probability densities in stochastic learning : II. transients and basin hopping times

65. Weight space probability densities in stochastic learning : I. dynamics and equilibria

66. Prediction and control of the glucose metabolism of a diabetic

67. Participatory behavior in participatory design

68. Three monads for continuations

69. Monads, indexes and transformations

70. MetaMP approach to parallel programming

71. Generating programs by Reflection