Search Constraints
Filtering by:
Collection
Default Admin Set
Remove constraint Collection: Default Admin Set
Collection
Scholars Archive
Remove constraint Collection: Scholars Archive
Resource type
article
Remove constraint Resource type: article
Search Results
-
Traits : the Formal Model
-
Traits : composable units of behavior
-
Fault detection for salinity sensors in the Columbia Estuary
-
A practical method for realizing semantics-based concurrency control
-
Sparse data-flow analysis for DAG parallel programs
-
A reference chain approach for live variables
-
Termination issues in automated syntheses
-
ASTRE : towards a fully automated program transformation System
-
cse-94-026
-
Defunctionalization of typed programs
-
Processor virtualization and migration for PVM
-
Gang scheduling in heterogenous distributed systems
-
Induction and synthesis for automatic program transformation
-
Automating synthesis by completion
-
A user-Level process package for PVM
-
Partitioning of unstructured meshes for load balancing
-
Combining simulated annealing with local search heuristics
-
PVM : experiences, current status and future direction
-
Adaptive load migration systems for PVM
-
MPI : a message passing interface
-
Adaptive Execution of Data Parallel Computations on Networks of Heterogeneous Workstations
-
Software Design for Reliability and Reuse A ProofofConcept Demonstration
-
A transformation system combining partial evaluation with term rewriting
-
Automatic transformations by rewriting techniques
-
Monads, indexes and transformations
-
Letter-sequence dialogues
-
Message Specication Language MSL A domain specific design language for message translation and validation
-
Improving programs which recurse over multiple inductive structures
-
Optimizing algebraic programs
-
A specification for an MTV generator
-
Algebraic design language (preliminary definition)
-
Acknowledgment acts in task-oriented dialogue
-
Momentum and optimal stochastic search
-
Predicting the U.S. index of industrial production (extended abstract)
-
Fast pruning using principal components
-
Optimal stochastic search and adaptive momentum
-
A coordinate independent center manifold reduction
-
On the application of partial evaluation to database optimization
-
Demand-driven constant propagation
-
Script-based QOS specifications for multimedia presentations
-
Software design for reliability and reuse preliminary method definition
-
A semantics of compile-time Reflection
-
Type parametric programming
-
Combining simulated annealing with local search heuristics
-
A user-level process package for concurrent computing
-
Contribution graphs in multiparty discourse
-
Detecting induction variables using SSA form
-
Extended SSA with factored use-def chains to support optimization and parallelism
-
Automatic array alignment for distributed memory multicomputers
-
A class specific optimizing compiler