Search Constraints

Filtering by: Collection Scholars Archive Remove constraint Collection: Scholars Archive
Number of results to display per page

Search Results

  1. Erasure for termination proofs

    Z890rt50d?file=thumbnail
  2. A dependently typed assembly language

    12579s62z?file=thumbnail
  3. MetaML and multi-stage programming with explicit annotations

    2v23vt761?file=thumbnail
  4. Symbolic simulation of microprocessor models using type classes in Haskell

    Hx11xf637?file=thumbnail
  5. Revisiting reference materialization techniques for object query Processing

    Qb98mf72g?file=thumbnail
  6. Adaptive resource management via modular feedback control

    M613mx86t?file=thumbnail
  7. Proceedings of SRS-93

    J6731405g?file=thumbnail
  8. Database query optimization, proceedings of the ODBF workshop

    1v53jx24m?file=thumbnail
  9. Supplemental proceedings of the 13th international conference on theorem proving in higher order logics (TPHOLs 2000)

    3f4625777?file=thumbnail
  10. Signal, noise, and genetic algorithms

    Gh93gz92s?file=thumbnail
  11. Comments on the andquot;Third-Generation Data Base System Manifestoandquot;

    Rr171x51k?file=thumbnail
  12. What is an abstract machine?

    0k225b40j?file=thumbnail
  13. Breitenbush and Santiam : tools for program development in Extended ML

    0r967408h?file=thumbnail
  14. Concurrencry control, version management and transactions in advanced database systems

    Vq27zn68w?file=thumbnail
  15. Towards an object-oriented query algebra

    12579s61p?file=thumbnail
  16. Speaking in tongues : the language of Revelation

    K0698779f?file=thumbnail
  17. Hypercube Vs cube-connected cycles : a topological evaluation

    Tx31qj05f?file=thumbnail
  18. Data structures for optimizing programs with explicit parallelism

    9593tv48g?file=thumbnail
  19. Distribution independent programming and the Saxpy

    Tq57nr334?file=thumbnail
  20. MetaMP : a higher level abstraction for message-passing programming

    6395w752q?file=thumbnail
  21. Encoding and classification in a model of olfactory cortex

    Kw52j8309?file=thumbnail
  22. Controlling interaction with meta-acts

    4j03cz94m?file=thumbnail
  23. Dynamics of learning in recurrent feature-discovery Networks

    7d278t31k?file=thumbnail
  24. The LGDF2 language and preprocessor

    Rx913q112?file=thumbnail
  25. Air traffic control communication at Portland International Airport July 1, 1990

    C247ds47m?file=thumbnail
  26. Air traffic control communication at Detroit Metro Wayne County Airport August 17, 1987

    Cf95jb78m?file=thumbnail
  27. Efficient assembly of complex objects

    Pk02c9970?file=thumbnail
  28. Speech recognition with a cortex model : preliminary results and outlook

    Gf06g3007?file=thumbnail
  29. Program transformation and rewriting

    0g354f523?file=thumbnail
  30. A matching process modulo a theory of categorical products

    X059c759q?file=thumbnail
  31. Recovery with limited replay : fault-tolerant processes in Linda

    5999n377g?file=thumbnail
  32. Communications in a tree architecture

    Sq87bt90w?file=thumbnail
  33. A survey of categorical computation : fixed points, partiality, combinators, ... control?

    Ff365566g?file=thumbnail
  34. Experiences with data dependence and loop restructuring in the tiny research tool

    6h440s80w?file=thumbnail
  35. The Power Test for data dependence

    9880vr333?file=thumbnail
  36. A loop restructuring research tool

    Jw827b983?file=thumbnail
  37. Dynamics of learning in feature discovery networks

    Th83kz70h?file=thumbnail
  38. Key words in context, an example

    B8515n680?file=thumbnail
  39. Genetic algorithms and the vVariance of fitness

    Jq085k22h?file=thumbnail
  40. Scalar vs. parallel optimizations

    5138jf14f?file=thumbnail
  41. Massive parallelism through program restructuring

    3197xm50n?file=thumbnail
  42. Data dependence and program restructuring

    W9505074p?file=thumbnail
  43. Hypertasking : Automatic data parallel domain decomposition on the Intel Parallel Supercomputer

    9593tv476?file=thumbnail
  44. Feature discovery and Hebbian learning

    C534fp174?file=thumbnail
  45. The ISOLET spoken letter database

    Ws859f99w?file=thumbnail
  46. Experiences with Belinda : a synthetic Linda benchmark for parallel computer platforms

    5q47rp084?file=thumbnail
  47. Benchmarking parallel machines via a software architecture

    Nc580n017?file=thumbnail
  48. Features of the TEDM object model

    3t945r115?file=thumbnail
  49. SARA : a Cray Assembly Language speedup tool

    Wm117p320?file=thumbnail
  50. HAS User manual

    9z903021f?file=thumbnail