Index Catalog // Digital Collections

Start Over

Filtering by: Date 1999 Collection Scholars Archive Rights http://rightsstatements.org/vocab/InC/1.0/

« Previous | 1 - 20 of 96 | Next »

List Gallery Masonry Slideshow

Gh93gz932?file=thumbnail

A sound reduction semantics for untyped CBN multi-stage computation. Or, the theory of...

Tq57nr34d?file=thumbnail

Algebraic unnesting for nested queries

P8418n56z?file=thumbnail

QoS Scalability for Streamed Media Delivery

K930bx24d?file=thumbnail

Interfac-directed partial evaluation

Z890rt50d?file=thumbnail

Erasure for termination proofs

12579s62z?file=thumbnail

A dependently typed assembly language

2v23vt761?file=thumbnail

MetaML and multi-stage programming with explicit annotations

Hx11xf637?file=thumbnail

Symbolic simulation of microprocessor models using type classes in Haskell

Qb98mf72g?file=thumbnail

Revisiting reference materialization techniques for object query Processing

M613mx86t?file=thumbnail

Adaptive resource management via modular feedback control

Sn009z07c?file=thumbnail

Elementary microarchitecture algebra : top-level proof of pipelined microarchitecture ...

2n49t190j?file=thumbnail

The Efficiency of multimodal interaction for a map-based task

2b88qc50s?file=thumbnail

The Adaptive agent architecture: achieving fault- tolerance using persistent broker t...

Tq57nr31k?file=thumbnail

Towards a fault-tolerant multi-agent system architecture

Vx021f413?file=thumbnail

Fine-grain period adaptation in soft real-time environments

Q237hs27w?file=thumbnail

GuardHouse: locking the stable door ahead of the Trojan Horse

Qf85nb48n?file=thumbnail

The sensitivity and specificity of forecasting high-cost users of medical care

6108vb410?file=thumbnail

Evaluating reliability and validity of the Chinese version of the St. Georges Respirat...

8623hx93g?file=thumbnail

Post-transcriptional regulation of Xwnt-8 expression is required for normal myogenesis...

6h440s637?file=thumbnail

Glutamate receptors in the olfactory system