CSETech

Search

within results

new search

within results

Advanced Search

Find results with:

Add another field

Search by date

to

Searching collections:

CSETech

Add or remove collections

Browsing items in:

CSETech

(346 results)

Sort by: Title

Title

Subject.Keyword

Display Options

1

2

...

Next

Display: 100

- .. Interfac-directed partial evaluation
- CSETech
- A bibliography of the intersection of genetic search and artificial neural networks
- CSETech
- A brief tutorial on epsilon serializability and a survey of recent work
- CSETech
- A categorical analysis of multi-level languages (extended abstract)
- Categorical models; Semantics; Type systems (mult-level typed calculi); Combination of logics (modal and temporal)
- CSETech
- A class specific optimizing compiler
- CSETech
- A Comparison of speech recognizers created using manually-aligned and automatically-aligned training data
- CSETech
- A connectionist/neural network bibliography
- CSETech
- A connectionist/neural network bibliography, volume II
- CSETech
- A connectivity analysis of a class of simple associative neural networks
- CSETech
- A coordinate independent center manifold reduction
- CSETech
- A coordinate-independent center manifold reduction
- CSETech
- A dependently typed assembly language
- CSETech
- A design methodology for high-performance, general-purpose VLSI
- CSETech
- A diagrammatic approach to gradient derivations for neural networks
- CSETech
- A fast algorithm for near-optimal static scheduling of acyclic graphs to Multiprocessor Systems
- CSETech
- A feedback-driven proportion allocator for real-rate scheduling
- CSETech
- A feedback-driven proportion allocator for real-rate scheduling
- CSETech
- A formal model of parallel computation for LGDF2
- Large-Grain Data Flow 2; parallel programming; graphical programming; virtual machine; F-Nets; non-determinism; architecture Independence, Parallel Program Design, High-level Parallel Programming
- CSETech
- A Generic approach for representing model-based superimposed information
- CSETech
- A generic specification of prettyprinters
- CSETech
- A loop restructuring research tool
- CSETech
- A matching process modulo a theory of categorical products
- CSETech
- A model for execution of PARLOG on a distributed porcessor network
- CSETech
- A multimodal browser for the World-Wide Web
- CSETech
- A neural network approach to futures trading
- CSETech
- A neural network approach to futures trading
- CSETech
- A neural-net training program based on conjugate-radient optimization
- CSETech
- A practical and modular implementation of extended transaction models
- CSETech
- A practical method for realizing semantics-based concurrency control
- CSETech
- A program for mapping CNNs to physical architectures
- CSETech
- A recursive do for Haskell : Design and Implementation
- Haskell, monads, recursion, mfix, do-notation
- CSETech
- A recursive do for Haskell : design and implementation
- Haskell; Monads; Recursion; Mfix; Do-notation.
- CSETech
- A reference chain approach for live variables
- Dataflow analysis; Static single assignment; Sparse evaluation graph; Slotwise analysis; Live variables; Interference graph; Dead code elimination
- CSETech
- A review of research in automatic language identification
- CSETech
- A RlSC architecture for symbolic computation
- CSETech
- A semantics of compile-time Reflection
- CSETech
- A simple method for estimating the weight decay parameter
- CSETech
- A smoothing regularizer for feedforward and recurrent neural networks
- CSETech
- A sound reduction semantics for untyped CBN multi-stage computation. Or, the theory of MetaML is non-trivial (preliminary Report)
- CSETech
- A specification for an MTV generator
- CSETech
- A study of dynamic optimization techniques : lessons and directions in kernel design
- CSETech
- A survey of categorical computation : fixed points, partiality, combinators, ... control?
- CSETech
- A syntax-analyzer constructor
- CSETech
- A toolkit for specializing production operating system code
- CSETech
- A transformation system combining partial evaluation with term rewriting
- CSETech
- A type-directed, on-line partial evaluator for a polymorphic language
- CSETech
- A user-level process package for concurrent computing
- CSETech
- A user-Level process package for PVM
- CSETech
- A VLSI interconnect structure for neural networks
- CSETech
- Abstract object in an object-oriented data model
- CSETech
- Abstract syntax in theory and practice
- languages; frmal definitions; compilers; abstract syntax trees; initial algebras; polymorphism
- CSETech
- Accessing imprecise data : an approach based on intervals
- CSETech
- Acknowledgment acts in task-oriented dialogue
- CSETech
- Adaptation Space: Surviving non-maskable failures
- CSETech
- Adaptive Execution of Data Parallel Computations on Networks of Heterogeneous Workstations
- CSETech
- Adaptive load migration systems for PVM
- CSETech
- Adaptive prefetching for device-independent file I/O
- CSETech
- Adaptive principal component analysis
- CSETech
- Adaptive resource management via modular feedback control
- CSETech
- Air traffic control communication at Detroit Metro Wayne County Airport August 17, 1987
- CSETech
- Air traffic control communication at Portland International Airport July 1, 1990
- CSETech
- Algebraic design language (preliminary definition)
- CSETech
- Algebraic unnesting for nested queries
- CSETech
- An efficient garbage collector for graph machines
- CSETech
- An efficient garbage collector for graph machines
- CSETech
- An experimental multicomputer with a real-time event monitor
- CSETech
- An idealized MetaML : simpler, and more expressive. (includes proofs)
- CSETech
- Analyzing programs with explicit parallelism
- CSETech
- ANNE : Another Neural Network Emulator
- CSETech
- ANNE user manual
- CSETech
- Applying task classification to natural meetings
- CSETech
- ASTRE : towards a fully automated program transformation System
- CSETech
- ASTRE: a transformation system using completion
- CSETech
- Asynchronous consistency restoration under epsilon serializability
- Epsilon-serializability; Divergence control; Serializability; Crash recovery; Consistency restoration; Asynchronous transaction processing University of
- CSETech
- AutoCRAT : an automated tool to support conflict detection in a concurrent engineering environment
- CSETech
- Automatic array alignment for distributed memory multicomputers
- CSETech
- Automatic transformations by rewriting techniques
- CSETech
- Automating synthesis by completion
- CSETech
- Benchmarking parallel machines via a software architecture
- CSETech
- Breitenbush and Santiam : tools for program development in Extended ML
- CSETech
- Bundles in captivity : an application of superimposed information
- CSETech
- Calculating software generators from solution specifications
- CSETech
- Canonization for disjoint unions of theories
- CSETech
- CAPsim tutorial
- CSETech
- Capturing more meaning in databases
- CSETech
- Classifying with Gaussian mixtures and clusters
- CSETech
- Coding for mutuality strategies in dialogue
- CSETech
- Combining simulated annealing with local search heuristics
- CSETech
- Combining simulated annealing with local search heuristics
- CSETech
- CoMet : a synthetic benchmark for message-passing architectures
- CSETech
- Comments on the "Third-Generation Data Base System Manifesto"
- CSETech
- Communications in a tree architecture
- CSETech
- Computational chemistry database prototype: Objectstore
- CSETech
- Concurrencry control, version management and transactions in advanced database systems
- CSETech
- Confirmation in multimodal systems
- Multimodal; Confirmation; Uncertainty; Disambiguation
- CSETech
- Constrained-Latency Storage Access : a survey of application requirements and storage system design approaches
- Real-time storage systems; Multimedia; Operating Systems
- CSETech
- Constructive negation in Horn-clause programs
- CSETech
- Constructive semantics for negation
- CSETech
- Contention and the star graph as a network topology
- CSETech
- Contribution graphs in multiparty discourse
- CSETech

1

2

...

Next

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

OK

Cancel

Powered by CONTENTdm®